Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems

Resilience has been successfully realized in automotive systems to increase system reliability at reasonable costs. Using dynamic adaptation, the system adapts to runtime errors - caused by internal system faults or adverse environmental situations like critical driving situations - in order to provide the best possible functionality and to guarantee system safety in any given system and environmental state. This paper introduces an engineering approach for developing resilient systems using dynamic adaptation. The approach is based on component-oriented modeling and on analyses of component compositions. We describe how component-oriented modeling and compositional analyses enable the usage of dynamic adaptation for achieving a trade-off between availability and cost in safety-critical, resilient systems and how it helps to manage the complexity inherent in component composition.

[1]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1985, JACM.

[2]  Alon Itai,et al.  Symmetry breaking in distributed networks , 1990, Inf. Comput..

[3]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

[4]  Yiannis Papadopoulos,et al.  Evolutionary algorithms for safety-cost trade-offs in control system design , 2006 .

[5]  Jun Pang,et al.  Model Checking Round-Based Distributed Algorithms , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[6]  Holger Giese,et al.  Visual integration of UML 2.0 and block diagrams for flexible reconfiguration in mechatronic UML , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

[7]  Jianhua Zhao,et al.  McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[8]  Dana Angluin,et al.  Local and global properties in networks of processors (Extended Abstract) , 1980, STOC '80.

[9]  J.E. Lumpp,et al.  A Technique for Specifying Dynamically Reconfigurable Embedded Systems , 2005, 2005 IEEE Aerospace Conference.

[10]  Alon Itai,et al.  Symmetry breaking in distributive networks , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[11]  Tatsuhiro Tsuchiya,et al.  Model Checking of Consensus Algorit , 2007, 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007).

[12]  Nancy A. Lynch,et al.  Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[13]  Mario Trapp.  Modeling the adaptation behavior of adaptive embedded systems , 2005 .

[14]  Hubert Dubois,et al.  A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[15]  R. Adler,et al.  Probabilistic analysis of safety-critical adaptive systems with temporal dependences , 2008, 2008 Annual Reliability and Maintainability Symposium.

[16]  Klaus Lochmann,et al.  Engineering Quality Requirements Using Quality Models , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[17]  Wan Fokkink,et al.  Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM , 2006, J. Univers. Comput. Sci..

[18]  Uwe Nestmann,et al.  Distributed Consensus, revisited , 2007, Acta Informatica.

[19]  John C. Knight,et al.  Dependability through Assured Reconfiguration in Embedded System Software , 2006, IEEE Transactions on Dependable and Secure Computing.

[20]  Frank Maurer,et al.  A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[21]  Tatsuhiro Tsuchiya,et al.  Using Bounded Model Checking to Verify Consensus Algorithms , 2008, DISC.

[22]  Jean-Claude Laprie,et al.  Resilience for the Scalability of Dependability , 2005, Fourth IEEE International Symposium on Network Computing and Applications.

[23]  Charles P. Shelton,et al.  A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

[24]  Hannes Schwarz,et al.  Using Expressive Traceability Relationships for Ensuring Consistent Process Model Refinement , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[25]  Sam Toueg,et al.  Asynchronous consensus and broadcast protocols , 1985, JACM.

[26]  Yiannis Papadopoulos,et al.  Evolving car designs using model-based automated safety analysis and optimisation techniques , 2005, J. Syst. Softw..

[27]  Mario Trapp,et al.  Determining Configuration Probabilities of Safety-Critical Adaptive Systems , 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

[28]  Iain Bate,et al.  Maintaining Stable Node Populations in Long-Lifetime Sensornets , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[29]  Matthias Tichy.  Pattern-Based Synthesis of Fault-Tolerant Embedded Systems , 2006 .

[30]  Edward A. Lee,et al.  Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..

[31]  Sam Toueg,et al.  The weakest failure detector for solving consensus , 1992, PODC '92.

[32]  Steffen Becker,et al.  Incremental Updates for Textual Modelling of Large Scale Models , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[33]  Stephan Merz,et al.  A Reduction Theorem for the Verification of Round-Based Distributed Algorithms , 2009, RP.

[34]  Mario Trapp,et al.  Runtime adaptation in safety-critical automotive systems , 2007 .

[35]  Christian Kreiner,et al.  A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[36]  Arnd Poetzsch-Heffter,et al.  Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems , 2011, TECS.

[37]  Yue Lu,et al.  Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[38]  Axel Jantsch,et al.  Modeling embedded systems and SoCs - concurrency and time in models of computation , 2003, The Morgan Kaufmann series in systems on silicon.

[39]  Lars Grunske,et al.  A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models , 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.

[40]  Holger Giese,et al.  Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems , 2004, ICINCO.