Component Behavior Synthesis for Critical Systems

Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important principles. For one component, separation of concerns is realized by defining the overall component functionality by separated protocol behaviors. One of the main challenges of applying separation of concerns is the later automatic composition of the separated, maybe interdependent concerns which is not supported by current component-based approaches. Moreover, the complexity of real-time distributed embedded systems requires to consider safety requirements for the composition of the separated concerns. We present an approach which addresses these problems by a well-defined automatic composition of protocol behaviors with respect to interdependent concerns. The composition is performed by taking a proper refinement relation into account so that the analysis results of the separated concerns are preserved which is essential for safety critical systems.

[1]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993 .

[2]  Holger Giese,et al.  Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models , 2003, Scenarios: Models, Transformations and Tools.

[3]  Amir Pnueli,et al.  Symbolic Controller Synthesis for Discrete and Timed Systems , 1994, Hybrid Systems.

[4]  Marsha Chechik,et al.  Synthesis of Partial Behavior Models from Properties and Scenarios , 2009, IEEE Transactions on Software Engineering.

[5]  Thomas A. Henzinger,et al.  Sooner is Safer Than Later , 1992, Inf. Process. Lett..

[6]  Holger Giese,et al.  Towards the compositional verification of real-time UML designs , 2003, ESEC/FSE-11.

[7]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[8]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[9]  Peter Sommerlad,et al.  Pattern-Oriented Software Architecture , 1996 .

[10]  Stavros Tripakis,et al.  Analysis of Timed Systems Using Time-Abstracting Bisimulations , 2001, Formal Methods Syst. Des..

[11]  Holger Giese,et al.  Nobody's perfect: interactive synthesis from parametrized real-time scenarios , 2006, SCESM '06.

[12]  Johann Schumann,et al.  Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[13]  B. F. Castro.  Buschmann, Frank; Meunier, Regine; Rohnert, Hans; Sommerlad, Peter; Stal, Michael. Pattern-oriented software architecture: a system of patterns, John Wiley & Sons Ltd, 1996 , 1997 .

[14]  Holger Giese,et al.  Real-Time Statechart Semantics , 2003 .

[15]  Stephan Merz,et al.  Model Checking , 2000 .

[16]  Jan Bosch,et al.  Component-Oriented Programming , 2006, ECOOP Workshops.

[17]  Paul Pettersson.  Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice , 1999 .

[18]  P.M.E. Van Gorp.  Fujaba days 2009 : proceedings of the 7th international Fujaba days, Eindhoven University of Technology, the Netherlands, November 16-17, 2009 , 2009 .

[19]  Satoshi Yamane,et al.  The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.

[20]  David Garlan,et al.  Introduction to the Special Issue on Software Architecture , 1995, IEEE Trans. Software Eng..

[21]  Janos Sztipanovits,et al.  Using separation of concerns for embedded systems design , 2005, EMSOFT.

[22]  Jörg Raisch,et al.  Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs , 2008, Discret. Event Dyn. Syst..

[23]  Amir Pnueli,et al.  Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements , 2005, Formal Methods in Software and Systems Modeling.

[24]  Holger Giese,et al.  Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[25]  Wang Yi,et al.  Automatic verification of real-time communicating systems by constraint-solving , 1994, FORTE.

[26]  Leslie Lamport,et al.  Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

[27]  Holger Giese,et al.  Modular design and verification of component-based mechatronic systems with online-reconfiguration , 2004, SIGSOFT '04/FSE-12.

[28]  Bran Selic,et al.  Real-Time Object-Oriented Modeling (ROOM) , 1996, RTAS 1996.

[29]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[30]  Holger Giese,et al.  Separation of non-orthogonal concerns in software architecture and design , 2006, Software & Systems Modeling.

[31]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[32]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[33]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[34]  S. Tripakis,et al.  Tools for Controller Synthesis of Timed Systems , 2002 .