%0 Conference Proceedings %T A Model-Driven Approach for Validating Safe Adaptive Behaviors %+ Département Ingénierie Logiciels et Systèmes (DILS) %+ Faculty of Computers and Information [Menofia] %A Hussein, M. %A Nouacer, R. %A Radermacher, A. %Z Conference of 19th Euromicro Conference on Digital System Design, DSD 2016 ; Conference Date: 31 August 2016 Through 2 September 2016; Conference Code:124486 %< avec comité de lecture %B 2016 Euromicro Conference on Digital System Design (DSD) %C Limassol, Cyprus %Y Kitsos P. %I Institute of Electrical and Electronics Engineers Inc. %P 75-81 %8 2016-08-31 %D 2016 %R 10.1109/DSD.2016.21 %K Accident prevention %K Adaptive systems %K Computer software %K Embedded software %K Systems analysis %K Adaptive software systems %K Architecture description languages %K Automotive embedded systems %K Embedded software systems %K Model driven approach %K Model driven development %K Monitoring techniques %K Virtual platform %K Embedded systems %Z Computer Science [cs]Conference papers %X Adaptive embedded software systems have the ability to adapt themselves in response to hardware/software failures at runtime. However, ensuring safe adaptive behaviors of these systems is a major challenge. In this paper, we propose an approach to facilitate the validation of such adaptive behaviors. To do so, an architecture description language for automotive embedded systems (EAST-ADL) is used for designing the software. The system design model is then used for generating the embedded software. To ensure that the system behaves correctly at runtime, its adaptive behavior is analyzed using fault injection and monitoring techniques on a virtual platform. This work is part of the European project SafeAdapt, which provides a novel architecture for adaptive systems in the automotive domain. It also describes a particular aspect, virtual validation, in the evolution of the EQUITAS project. %G English %L cea-01836304 %U https://cea.hal.science/cea-01836304 %~ CEA %~ OPENAIRE %~ DRT %~ CEA-UPSAY %~ UNIV-PARIS-SACLAY %~ CEA-UPSAY-SACLAY %~ LIST %~ GS-ENGINEERING %~ GS-COMPUTER-SCIENCE