Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems

Current embedded systems are increasingly more complex and heterogeneous, but they are expected to be more safe, reliable and adaptive. In consideration of all these aspects, their design is always a great challenge. Developing these systems with conventional design approaches and programming methods turns out to be difficult. In this paper, we mainly present the informative background and the general idea of an ongoing yet young research project, including the modelbased design and an architecture-centric approach, to address previous challenges. Our idea adopts a formal-methods-based model integration approach, dedicated to architecture-centric virtual integration for embedded software systems, in an early design phase. We thus expect to improve and enhance Correct By Construction in the design. The considered formal methods consist of timing specification, design by contracts, and semantics interoperability for models to be integrated in the system. The application domains of our approach include automotive and avionic systems.

[1]  Manfred Broy,et al.  Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments , 2010, Proceedings of the IEEE.

[2]  Gabor Karsai,et al.  Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.

[3]  Jean-Marc Jézéquel,et al.  Design by Contract: The Lessons of Ariane , 1997, Computer.

[4]  Paul Le Guernic,et al.  Polychronous modeling, analysis, verification and simulation for timed software architectures , 2013, J. Syst. Archit..

[5]  Klaus D. Müller-Glaser,et al.  Multiparadigm modeling in embedded systems design , 2004, IEEE Transactions on Control Systems Technology.

[6]  John Chilenski,et al.  Virtual Integration for Improved System Design , 2010 .

[7]  Ajitha Rajan,et al.  CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems , 2013 .

[8]  Andrew Hinton,et al.  PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.

[9]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[10]  Axel Legay,et al.  Statistical Model Checking: An Overview , 2010, RV.

[11]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[12]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[13]  Alberto L. Sangiovanni-Vincentelli,et al.  Composing heterogeneous reactive systems , 2008, TECS.

[14]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[15]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[16]  Paul Le Guernic,et al.  Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) , 2014 .

[17]  Axel Jantsch,et al.  Modelling Environment for Heterogeneous Systems based on MoCs , 2005, FDL.

[18]  Jyotirmoy V. Deshmukh,et al.  Challenges of Applying Formal Methods to Automotive Control Systems , 2013 .

[19]  Lui Sha,et al.  Compositional Verification of Architectural Models , 2012, NASA Formal Methods.

[20]  Alain Rossignol.  The Reference Technology Platform , 2013 .

[21]  Paul Le Guernic,et al.  System-level co-simulation of integrated avionics using polychrony , 2011, SAC '11.

[22]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[23]  Jean-Christophe Le Lann,et al.  POLYCHRONY for System Design , 2003, J. Circuits Syst. Comput..

[24]  Jörgen Hansson,et al.  System Architecture Virtual Integration: An Industrial Case Study , 2009 .

[25]  Pieter J. Mosterman,et al.  Computer Automated Multi-Paradigm Modeling : An Introduction , 2000 .

[26]  Jeff A. Estefan,et al.  of Model-Based Systems Engineering ( MBSE ) Methodologies , 2008 .

[27]  Julien Delange,et al.  TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future , 2011, SDL Forum.