Demos
Demonstrations provide researchers and practitioners with an exciting and interactive opportunity to present their systems, artifacts and/or research prototypes, either at a regular session or at the technical exhibition. In any case, it is required to avoid a commercial format, even if the demo consists of presenting a business product or service. Instead, the presentation should focus on technical aspects.
Any written support materials may be distributed locally but not published in the proceedings. Authors who already present a paper at the conference may apply for a demonstration, to complement but not to replace their paper presentation. Demonstrations can also be made by sponsor companies or as a mixed initiative involving researchers and industrial partners.
Demonstrations are based on an informal setting that encourages presenters and participants to engage in discussions about the presented work. This is an opportunity for the participants to disseminate practical results of their research and to network with other applied researchers or business partners.
Concerning the format of the demo, we can accommodate it either as a demonstration in a booth (physical area of 4 sq. meter, with a table and 2 chairs) at the exhibition area, as a poster or as a 20 min oral presentation at a session especially set up for demonstrations. It is also possible to organize the presentation of the same demo in more than one format.
Please contact the
event secretariat.
Modeling security with TTool and SysML-Sec
Lecturer
|
Ludovic Apvrille
Telecom Paris
France
|
|
|
|
Brief Bio
Ludovic Apvrille obtained his M.Sc. in Computer Science, Network and Distributed Systems specialization in 1998 from ENSEIRB and ISAE. He then completed a Ph.D. in 2002, in the Department of Applied Mathematics and Computer Science at ISAE, in collaboration with LAAS-CNRS and Alcatel Space Industries (now, Thalès Alenia Space). After a postdoctoral term at Concordia University (Canada), he joined LabSoc in 2003 as an assistant professor at Telecom ParisTech, in the Communication and Electronics department. He obtained his HDR (Habilitation à Diriger les Recherches) in 2012. His research interests focus on tools and methods for the modeling and verification of embedded systems and Systems-on-Chip. Verification techniques target both safety and security properties. He's the inventor and the main contributor of the open-source UML/SysML toolkit named TTool. He's the team leader of the LabSoC.
|
SysML-Sec is a SysML-based environment for the design of embedded systems with safety and security features. SysML-Sec targets both the software and hardware components of these systems, and is fully supported by the free and open-source toolkit: TTool. Many projects and case studies have already been modeled with SysML-Sec ranging from automotive systems, drone systems, information systems (e.g., the analysis of malware targeting banking systems), industrial systems (Analysis of SCADA malware), and more generally, security protocols. The demonstration will present the main features of TTool/SysML-Sec, and will then introduce the capability of TTool to model and validate, from a security point of view, a well-know security protocol (HTTPS).
MetaEdit+: Tool Support for Collaborative and Concurrent Metamodeling and Modeling
Lecturer
|
Juha-Pekka Tolvanen
Independent Researcher
Finland
|
|
|
|
Brief Bio
Juha-Pekka Tolvanen is the CEO of MetaCase and co-founder of the DSM Forum. He has been involved in model-driven development and tools, notably metamodeling and code generators, since 1991. He has acted as a consultant world-wide for modeling language development, authored a book on Domain-Specific Modeling (Wiley, 2008), and written over 70 articles for various software development magazines and conferences. Juha-Pekka holds a Ph.D. in computer science from the University of Jyväskylä, Finland (best national dissertation award 1999). He received his Master's degree (econ.) in 1990 and Licentiate degree in 1994. He is also an adjunct professor (docent on software development methods) at the University of Jyväskylä.
|
Almost all software development activities require collaboration, and model-based software development is no exception. In modern model-based development collaboration comes on two levels. First, developers want to create, edit and check the same shared specifications, with minimal time taken away from the actual work by things like handling conflicts, running diff and merge activities, and fighting with tools. Second, language developers defining modeling languages, generators, notations, checks etc. want to collaborate in a similar way. In this demonstration we show functionality developed into MetaEdit+ tooling that aims to support both levels of collaboration. We start demo with collaborative language creation (metamodeling) part, showing how several persons can define the same modeling language definition at the same time – and how language users may try out the language when it is been defined. The same is then done for collaborative language use (modeling): several developers can edit the same specification and even the same diagram and element there at the same time. We conclude by inspecting how this kind of collaboration enables scalability in terms of multiple engineers, multiple languages, large models, and transformations.