Enforcing software engineering tools interoperability: An example with AADL subsets

Model-Based Engineering is now a valuable asset to design complex real-time systems. Toolchains are assembled to cover the various stages of the process: high-level modeling, analysis and code generation. Yet tools put heterogeneous requirements on models: specific modeling patterns must be respected so that a given analysis is performed. This creates an interoperability paradox: models must be tuned not given system requirements, but to abide to tools capabilities. In this paper, we propose a systematic process to define the definition, comparison and enforcement of tools-specific subsets. Thus, we guide the user in selecting the tools that could support its engineering process. Our contribution is illustrated in the context of the AADL Architecture Design Language.

[1]  Peter H. Feiler,et al.  Embedded System Architecture Analysis Using SAE AADL , 2004 .

[2]  Alain Plantec,et al.  An Ada design pattern recognition tool for AADL performance analysis , 2011, SIGAda '11.

[3]  Patrice Chalin,et al.  BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software , 2013, NASA Formal Methods.

[4]  Frank Singhoff,et al.  Stood and Cheddar : AADL as a Pivot Language for Analysing Performances of Real Time Architectures , 2007 .

[5]  Julien Delange,et al.  Validate, simulate, and implement ARINC653 systems using the AADL , 2009, SIGAda '09.

[6]  Steve Vestal,et al.  The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering , 2003 .

[7]  J. Javier Gutiérrez,et al.  MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.

[8]  Laurent Pautet,et al.  Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models , 2012, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.

[9]  Alan Burns,et al.  The Ravenscar tasking profile for high integrity real-time programs , 1998, SIGAda '98.

[10]  S. N. Domenico,et al.  1. Overview and Fundamental Principles , 1987 .

[11]  David Garlan,et al.  Acme: architectural description of component-based systems , 2000 .

[12]  A. Plantec,et al.  PLATYPUS : A STEP-BASED INTEGRATION FRAMEWORK , 2006 .

[13]  Alan Burns,et al.  The Ravenscar tasking profile for high integrity real-time programs , 1998 .

[14]  Jérôme Hugues.  Analytic virtual integration of cyber-physical systems & AADL: challenges, threats and opportunities , 2011 .

[15]  Stefan Bunzel,et al.  AUTOSAR – the Standardized Software Architecture , 2011, Informatik-Spektrum.

[16]  Laurent Pautet,et al.  From the prototype to the final embedded system using the Ocarina AADL tool suite , 2008, TECS.

[17]  Jean Bézivin,et al.  Model Engineering Support for Tool Interoperability , 2005 .

[18]  Henry Muccini,et al.  Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies , 2010, IEEE Transactions on Software Engineering.