Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments

More than 20 years of research has created a large body of ideas, concepts, and theories for model-based development of embedded software-intensive systems. These approaches have been implemented by several tools and successfully applied to various development projects. However, the everyday use of model-based approaches in the automotive and avionic industries is still limited. Most of the time, the engineers work with a predefined set of isolated tools, and therefore adapt their engineering methods and process to the available tools. Today, the industry achieves tool integration by demand-driven, pragmatic, and ad-hoc composed chains of a priori existent commercial tools. Nevertheless, these tool chains are not (and cannot be) seamless, since the integration that can be achieved is not deep enough. This hampers the reuse and refinement of models, which subsequently leads to problems like redundancy, inconsistency, and lack of automation. In the end, these deficiencies decrease both the productivity and quality that could be provided by model-based approaches. To overcome these problems, a deep, coherent, and comprehensive integration of models and tools is required. Such an integration can be achieved by the following three ingredients: 1) a comprehensive modeling theory that serves as a semantic domain for the models, 2) an integrated architectural model that holistically describes the product and process, and 3) a manner to build tools that conform to the modeling theory and allow the authoring of the product model. We show that from a scientific point of view, all ingredients are at our hands to do a substantial step into an integrated process and tool world. Further, we illustrate why such a solution has not been achieved so far, and discuss what is to be done to get a step closer to seamless model-based engineering.

[1]  Nicolas Halbwachs,et al.  LUSTRE: a declarative language for real-time programming , 1987, POPL '87.

[2]  Jean Bézivin,et al.  TCS:: a DSL for the specification of textual concrete syntaxes in model engineering , 2006, GPCE '06.

[3]  M. Broy,et al.  2nd UML 2 semantics symposium: formal semantics for UML , 2006, MoDELS'06.

[4]  Erhard Rahm,et al.  An online bibliography on schema evolution , 2006, SGMD.

[5]  W. Marsden I and J , 2012 .

[6]  Andy Evans,et al.  A Metamodel for Package Extension with Renaming , 2002, UML.

[7]  Cláudia Maria Lima Werner,et al.  Odyssey-VCS: a flexible version control system for UML model elements , 2005, SCM '05.

[8]  Joerg Evermann,et al.  Toward formalizing domain modeling semantics in language syntax , 2005, IEEE Transactions on Software Engineering.

[9]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[10]  Jacky Estublier,et al.  Composing domain-specific languages for wide-scope software engineering applications , 2005, MoDELS'05.

[11]  Petru Eles,et al.  Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems , 2002, Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).

[12]  Manfred Broy,et al.  Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones , 2007, Innovations in Systems and Software Engineering.

[13]  E. Clarke,et al.  Symbolic Model Checking : IO * ’ States and Beyond * , 1992 .

[14]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[15]  Gregory Zoughbi,et al.  A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software , 2007, MODELS'07.

[16]  Mark R. Blackburn,et al.  Mars Polar Lander fault identification using model-based testing , 2002, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..

[17]  Wei Tang,et al.  Meta Object Facility , 2009, Encyclopedia of Database Systems.

[18]  James Davis,et al.  GME: the generic modeling environment , 2003, OOPSLA '03.

[19]  Jean Bézivin,et al.  Principles, standards and tools for model engineering , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[20]  Bernhard Westfechtel,et al.  Model-based a-posteriori integration of engineering tools for incremental development processes , 2004, Software & Systems Modeling.

[21]  Gabor Karsai,et al.  Composition and cloning in modeling and meta-modeling , 2004, IEEE Transactions on Control Systems Technology.

[22]  Tevfik Bultan,et al.  Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers , 2007, Automated Software Engineering.

[23]  Ivan Porres,et al.  Creating and reconciling diagrams after executing model transformations , 2007, Sci. Comput. Program..

[24]  Jean Bézivin,et al.  Model-based DSL frameworks , 2006, OOPSLA '06.

[25]  R. Stephenson A and V , 1962, The British journal of ophthalmology.

[26]  Nancy G. Leveson Intent Specifications: An Approach to Building Human-Centered Specifications , 2000, IEEE Trans. Software Eng..

[27]  Jakob Axelsson,et al.  A Case Study of Issues Related to Automotive E/E System Architecture Development , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[28]  Franklin Ramalho,et al.  Metamodel reuse with MOF , 2005, MoDELS'05.

[29]  Juha-Pekka Tolvanen,et al.  MetaEdit+: domain-specific modeling for full code generation demonstrated [GPCE] , 2004, OOPSLA '04.

[30]  R. Lämmel Coupled Software Transformations — Extended , 2022 .

[31]  Kevin Barraclough,et al.  I and i , 2001, BMJ : British Medical Journal.

[32]  Jean-Marie Favre Languages evolve too! Changing the software time scale , 2005, Eighth International Workshop on Principles of Software Evolution (IWPSE'05).

[33]  Xavier Crégut,et al.  The TOPCASED project : a toolkit in open source for critical aeronautic systems design , 2006 .

[34]  Douglas C. Schmidt,et al.  Component-Based System Integration via (Meta)Model Composition , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

[35]  Elmar Jürgens,et al.  Automatability of Coupled Evolution of Metamodels and Models in Practice , 2008, MoDELS.

[36]  Andy Schürr,et al.  MDI: A Rule-based Multi-document and Tool Integration Approach , 2006, Software & Systems Modeling.

[37]  Michelle L. Crane,et al.  UML vs. classical vs. rhapsody statecharts: not all models are created equal , 2005, MoDELS'05.

[38]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[39]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[40]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[41]  Jean-Raymond Abrial,et al.  Formal Methods: Theory Becoming Practice , 2007, J. Univers. Comput. Sci..

[42]  Tiziana Margaria Web services-based tool-integration in the ETI platform , 2004, Software & Systems Modeling.

[43]  Gabor Karsai,et al.  Design patterns for open tool integration , 2005, Software & Systems Modeling.

[44]  Gilles Dowek,et al.  Modeling and verification of an air traffic concept of operations , 2004, ISSTA '04.

[45]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[46]  Steffen Becker,et al.  A Process Model and Classification Scheme for Semi-Automatic Meta-Model Evolution , 2007 .

[47]  Andreas Zeller The Future of Programming Environments: Integration, Synergy, and Assistance , 2007, Future of Software Engineering (FOSE '07).

[48]  Simon L. Peyton Jones,et al.  Roadmap for enhanced languages and methods to aid verification , 2006, GPCE '06.

[49]  Jon Whittle,et al.  From scenarios to code: An air traffic control case study , 2004, Software & Systems Modeling.

[50]  Manfred Broy,et al.  Software Engineering for Automotive Systems: A Roadmap , 2007, Future of Software Engineering (FOSE '07).

[51]  Yunja Choi,et al.  From NuSMV to SPIN: Experiences with model checking flight guidance systems , 2007, Formal Methods Syst. Des..

[52]  Manfred Broy,et al.  Umfassendes Architekturmodell fuer das Engineering eingebetteter Software-intensiver Systeme , 2008 .

[53]  B. Gruschko Towards Synchronizing Models with Evolving Metamodels , 2007 .

[54]  Matthew J. Emerson,et al.  Techniques for Metamodel Composition , 2006 .

[55]  Bernhard Westfechtel,et al.  A graph-based algorithm for consistency maintenance in incremental and interactive integration tools , 2007, Software & Systems Modeling.

[56]  Mark A. Hillebrand,et al.  Towards the formal verification of lower system layers in automotive systems , 2005, 2005 International Conference on Computer Design.

[57]  Jean-Raymond Abrial,et al.  Formal methods in industry: achievements, problems, future , 2006, ICSE.

[58]  Axel van Lamsweerde,et al.  Formal specification: a roadmap , 2000, ICSE '00.

[59]  Guido Wachsmuth,et al.  Metamodel Adaptation and Model Co-adaptation , 2007, ECOOP.

[60]  Gabor Karsai,et al.  A domain-specific visual language for domain model evolution , 2004, Journal of Visual Languages and Computing.