On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience

Abstract MegaM@Rt2 is a large European project dedicated to the provisioning of a model-based methodology and supporting tooling for system engineering at a wide scale. It notably targets the continuous development and runtime validation of such complex systems by developing a framework addressing a large set of engineering processes and application domains. This collaborative project involves 27 partners from 6 different countries, 9 industrial case studies as well as over 30 different software tools from project partners (and others). In the context of the MegaM@Rt2 project, we elaborated on a pragmatic model-driven approach to specify the case study requirements, design the high-level architecture of a framework, perform the gap analysis between the industrial needs and current state-of-the-art, and plan a first framework development roadmap accordingly. The present paper describes the generic tool-supported approach that came out as a result. It also details its concrete application in the MegaM@Rt2 project. In particular, we discuss the collaborative modeling process, the requirement definition tooling, the approach for components modeling, as well as the traceability and document generation. In addition, we show how we used the proposed solution to specify the MegaM@Rt2 framework’s conceptual tool components centered around three complementary tool sets: the MegaM@Rt2 System Engineering Tool Set, the MegaM@Rt2 Runtime Analysis Tool Set and the MegaM@Rt2 Model & Traceability Management Tool Set. The paper ends with a discussion on the practical lessons we have learned from this work so far.

[1]  Franck Barbier,et al.  Characterization of Adaptable Interpreted-DSML , 2013, ECMFA.

[2]  Jordi Cabot,et al.  Towards Scalable Model Views on Heterogeneous Model Resources , 2018, MoDELS.

[3]  Klaas-Jan Stol,et al.  Continuous software engineering: A roadmap and agenda , 2017, J. Syst. Softw..

[4]  Jean-Christophe Le Lann,et al.  MoPCoM Methodology: Focus on Models of Computation , 2010, ECMFA.

[5]  Lionel C. Briand,et al.  Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

[6]  Marcin Jamro SysML Modeling of Functional and Non-functional Requirements for IEC 61131-3 Control Systems , 2015, Progress in Automation, Robotics and Measuring Techniques.

[7]  Hugo Bruneliere,et al.  The MegaM@Rt2 Approach and Tool Set , 2017, Ada-Europe 2017.

[8]  Lisane B. de Brisolara,et al.  Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

[9]  Philippe Desfray Model Repositories at the Enterprises and Systems Scale - The Modelio Constellation Solution , 2015, MODELSWARD.

[10]  Gerti Kappel,et al.  A survey on UML-based aspect-oriented design modeling , 2011, CSUR.

[11]  Guy Gogniat,et al.  A co-design approach for embedded system modeling and code generation with UML and MARTE , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[12]  Shuai Li,et al.  Fostering Analysis from Industrial Embedded Systems Modeling , 2014 .

[13]  Sharad Malik,et al.  Complementary use of runtime validation and model checking , 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

[14]  Lionel C. Briand,et al.  Does aspect-oriented modeling help improve the readability of UML state machines? , 2012, Software & Systems Modeling.

[15]  Flemström Daniel,et al.  From Natural Language Requirements to Passive Test Cases Using Guarded Assertions , 2018, 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS).

[16]  Jordi Cabot,et al.  The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime — Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems , 2017, 2017 Euromicro Conference on Digital System Design (DSD).

[17]  Mara Nikolaidou,et al.  Extending SysML to explore non-functional requirements: the case of information system design , 2012, SAC '12.

[18]  Carlo Ghezzi,et al.  Run-time efficient probabilistic model checking , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[19]  Richard F. Paige,et al.  Guest editorial to the special issue on Success Stories in Model Driven Engineering , 2014, Sci. Comput. Program..

[20]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[21]  Wasif Afzal,et al.  A Black-Box Approach to Latency and Throughput Analysis , 2017, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).

[22]  Uwe Zdun,et al.  Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime , 2016, Software & Systems Modeling.

[23]  Andreas W. Liehr,et al.  Generation of MARTE Allocation Models from Activity Threads , 2008, FDL.

[24]  Shigeru Chiba,et al.  Aspect-Oriented Programming Beyond Dependency Injection , 2005, ECOOP.

[25]  Lionel C. Briand,et al.  An industrial application of robustness testing using aspect-oriented modeling, UML/MARTE, and Search algorithms , 2011, MODELS'11.

[26]  Dragos Truscan,et al.  A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project , 2018, SEDA.

[27]  Gordon S. Blair,et al.  Models@ run.time , 2009, Computer.