SAM 2018 Program

Monday October 15, 2018

09:00 – 09-15: Opening [Reinhard Gotzhein and Ferhat Khendek]

09:15 -10:30: Keynote 1 - Azimeh Sefidcon (Ericsson, Sweden)

Title: Industrial Transformation, Cloud, IoT and 5G and the relevance of Formal Methods

Abstract: The industry transformation is the current reality for many industries. This transformation relies on Industrial Cloud, 5G and IoT which in turn are built on distributed computing technologies and have parallel processing at their core. The complexity of these systems and their dynamic expansion, makes the system design, and testing stages pretty challenging. This is accentuated by the criticality of the Industrial applications such as robot arm in manufacturing which run on top of these systems. These applications demand high level of resiliency and robustness and accept no failure in the underlying platform. This talk, will describe the common challenges with relevant technologies for industrial transformation and where the formal methods for system design and verification can potentially become applicable.

Biography: Azimeh Sefidcon hold a PhD in Electrical and Computer engineering on IP mobility, a Master degree in Intelligent Networks and a Master degree in Computer Hardware engineering. She is currently the research director and head of Cloud Systems and Platforms at Ericsson where she puts her efforts in predicting and building the future technologies, such as Industrial Cloud, IoT and 5G. She is currently examining the merge of formal methods within informal designs and developments among other things.

10:30 – 11:00: Coffee break

11:00 – 12:30: Session 1 - Cloud systems (chair: Finn Kristoffersen)

-        Modelling Data Protection Vulnerabilities of Cloud Systems using Risk Patterns, Alexander Palm, Zoltán Ádám Mann and Andreas Metzger

-        Scheduling Architectures for Scientific Workflows in the Cloud (short paper), Johannes Erbel, Fabian Korte and Jens Grabowski

-        The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study, Hessa Alfraihi, Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Mohammadreza Sharbaf and Howard Haughton

12:30 – 14:00: Lunch

14:00 – 15:30 Session 2 - Notations and Semantics (Chair: Edel Sherrat)

-        CREST - A DSL for Reactive Cyber-Physical Systems, Stefan Klikovits, Alban Linard and Didier Buchs

-        On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification, Angela Villota Gomez, Raul Mazo and Camille Salinesi

-        Distributed Computing on Distributed Memory, Andreas Prinz

15:30- 16:00: Coffee break

16:00 – 17:30 SDL Forum Society AGM

 

Tuesday October 16, 2018

09:00 -10:30: Keynote 2 - Juergen Dingel (Queens University, Canada)

Title: Developing Distributed Applications with Open-source MDE Tooling

Abstract: Similar to architectural description languages based on the classical component and connector paradigm (such as Darwin, Wright, or AADL), UML-RT supports a range of different connectors including connectors that allow for components to reside on different, possibly physically separated machines. In other words, UML-RT models can describe concurrent and distributed applications alike. This presents significant opportunities for the use of MDE with UML-RT for the development of applications that exhibit features of both real-time embedded and distributed systems. However, to realize these opportunities, the support for some core aspects of distributed systems must be improved. In this presentation I will summarize our ongoing work on addressing these concerns. In particular, I will cover the extension of UML-RT and Papyrus-RT, an open-source MDE tool for UML-RT based on Eclipse and Papyrus, with respect to different communication mechanisms, model-level observability, integration and interoperability, deployment, and fault-tolerance. The goal of our work is to explore and facilitate the use of MDE techniques for the development of Internet-of-Things applications.

Biography: Juergen joined the Computing faculty of Queen's University in the winter of 2000. He received an M.Sc. in Computer Science from Berlin University of Technology in 1992, an M.Sc. in Pure and Applied Logic in 1994 and a Ph.D. in Computer Science in 1999 from Carnegie Mellon University. Juergen was PC Co-chair of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS'14) and of the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS-FORTE'11). He is on the editorial boards of the Springer journals Software and Systems Modeling (SoSyM), and Software Tools for Technology Transfer (STTT) and currently serves as chair of the MODELS Steering Committee. His research has been supported by various sources including IBM, GM, Ericsson, the Natural Science and Engineering Council of Canada (NSERC), the Ontario Centres of Excellence (OCE), the Ontario Ministry of Research, Innovation, and Science, the Deutsche Forschungsgemeinschaft (DFG), and the German Academic Exchange Service. At Queen's, he has served as the Chair of Undergraduate Studies (2015-2017) in the School of Computing where he also leads the Modeling and Analysis in Software Engineering Group (MASE).

10:30 – 11:00: Coffee break

11:00 – 12:30: Session 3 - MSC, URN, GRL (Chair: Emmanuel Gaudin)

-        An Arithmetic Semantics for GRL Goal Models with Function Generation, Yuxuan Fan, Amal Anda and Daniel Amyot

-        Textual User Requirements Notation, Ruchika Kumar and Gunter Mussbacher

-        A comparative analysis of MSC-based requirements specification approaches used in the automotive industry, Kevin Keller, Jennifer Brings, Marian Daun and Thorsten Weyer

12:30 – 14:00: Lunch

14:00 – 15:30 Session 4 - Performance, Safety and realizability (chair: Daniel Amyot)

-        Pattern libraries guiding the model-based reuse of automotive solutions, Maged Khalil

-        Enabling Performance Modeling for the Masses: Initial Experiences, Abel Gómez, Connie U. Smith, Amy Spellmann and Jordi Cabot

-        Realizability of Service Specifications, Mohammad F. Al-Hammouri and Gregor V. Bochmann

15:30- 16:00: Coffee break

16:00 – 17:00: Session 5 - Collaborative Modeling (Chair: Gunter Mussbacher)

-        Towards Online Collaborative Multi-View Modelling, Nirmal Kanagasabai, Omar Alam and Jörg Kienzle

-        Collaborative Software Design and Modeling in Open Source Systems (short paper), Omar Badreddin, Wahab Hamou-Lhadj, Vahdat Abdelzad, Rahad Khandoker and Maged Elassar

17:00 - Closing [Reinhard Gotzhein and Ferhat Khendek]