Function Allocation and Bandwidth Reservation for Mixed-critical Adaptive Software Systems

The new AutoSAR adaptive platform makes mixed-critical automotive systems able to adapt themselves in response to hardware and software failures at runtime. However, mapping functions of these automotive systems and reserving bandwidth for them are still major challenges. In this paper, we propose a model-based approach for mapping functions of an automotive system to its hardware nodes and reserving their bandwidth. To do so, an architecture description language for automotive systems (i.e. EAST-ADL) is used to design an embedded system, and to specify its timing requirements. The design model is then used for identifying functions allocation and their bandwidth in different system configurations. To schedule the critical functions of the system, the Earliest Deadline First (EDF) is used, while the Constant Bandwidth Server (CBS) is used for scheduling the non-critical functions. The quality of service for the non-critical functions is determined by their reserved bandwidth. In addition, a Tabu search-based approach is used for mapping the system functions to hardware nodes. Furthermore, there is a temporal isolation between the critical and non-critical functions. Thus, overruns of the non-critical functions do not affect the timing guarantees of the critical functions, and the quality of service for the non-critical functions is maximized.

[1]  Quan Z. Sheng,et al.  Techniques on developing context-aware web services , 2010, Int. J. Web Inf. Syst..

[2]  Petru Eles,et al.  Analysis and optimization of distributed real-time embedded systems , 2004, ACM Trans. Design Autom. Electr. Syst..

[3]  Petru Eles,et al.  Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints , 2008, TECS.

[4]  Jonathan Walpole,et al.  Analysis of a reservation-based feedback scheduler , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[5]  Ansgar Radermacher,et al.  A Model-Driven Approach for Validating Safe Adaptive Behaviors , 2016, 2016 Euromicro Conference on Digital System Design (DSD).

[6]  Giuseppe Lipari,et al.  Constant bandwidth server revisited , 2015, SIGBED.

[7]  Petru Eles,et al.  Timing Analysis of the FlexRay Communication Protocol , 2006, ECRTS.

[8]  Bran Selic,et al.  Papyrus: A UML2 Tool for Domain-Specific Language Modeling , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[9]  Jeff Magee,et al.  A Case Study in Goal-Driven Architectural Adaptation , 2009, Software Engineering for Self-Adaptive Systems.

[10]  David Garlan,et al.  Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004 .

[11]  Raimundo José de Araújo Macêdo,et al.  A non-intrusive component-based approach for deploying unanticipated self-management behaviour , 2009, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems.

[12]  Petru Eles,et al.  Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems With Checkpointing and Replication , 2009, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

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

[14]  Brice Morin,et al.  Taming Dynamically Adaptive Systems using models and aspects , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[15]  Douglas C. Schmidt,et al.  Overview of the CORBA component model , 2001 .

[16]  Frank Eliassen,et al.  MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments , 2009, Software Engineering for Self-Adaptive Systems.

[17]  Tao Gu,et al.  A service-oriented middleware for building context-aware services , 2005, J. Netw. Comput. Appl..

[18]  Paul Pop,et al.  Task Mapping and Bandwidth Reservation for Mixed Hard/Soft Fault-Tolerant Embedded Systems , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[19]  Kristin Decker,et al.  Uml Distilled A Brief Guide To The Standard Object Modeling Language , 2016 .

[20]  Ladan Tahvildari,et al.  Self-adaptive software: Landscape and research challenges , 2009, TAAS.

[21]  Matthew Andrews,et al.  Probabilistic end-to-end delay bounds for earliest deadline first scheduling , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[22]  Sanjoy K. Baruah,et al.  A hierarchical extension to the constant bandwidth server framework , 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.

[23]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[24]  L. Abeni,et al.  Stochastic analysis of a reservation based system , 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

[25]  Paul Pop,et al.  Design Optimization of Mixed-Criticality Real-Time Embedded Systems , 2015, ACM Trans. Embed. Comput. Syst..

[26]  Betty H. C. Cheng,et al.  Model-based development of dynamically adaptive software , 2006, ICSE.

[27]  Oliver Scheickl,et al.  Automotive Real Time Development Using a Timing-augmented AUTOSAR Specification , 2007 .