@inproceedings{hussein:cea-01836304, TITLE = {{A Model-Driven Approach for Validating Safe Adaptive Behaviors}}, AUTHOR = {Hussein, M. and Nouacer, R. and Radermacher, A.}, URL = {https://cea.hal.science/cea-01836304}, NOTE = {Conference of 19th Euromicro Conference on Digital System Design, DSD 2016 ; Conference Date: 31 August 2016 Through 2 September 2016; Conference Code:124486}, BOOKTITLE = {{2016 Euromicro Conference on Digital System Design (DSD)}}, ADDRESS = {Limassol, Cyprus}, EDITOR = {Kitsos P.}, PUBLISHER = {{Institute of Electrical and Electronics Engineers Inc.}}, PAGES = {75-81}, YEAR = {2016}, MONTH = Aug, DOI = {10.1109/DSD.2016.21}, KEYWORDS = {Accident prevention ; Adaptive systems ; Computer software ; Embedded software ; Systems analysis ; Adaptive software systems ; Architecture description languages ; Automotive embedded systems ; Embedded software systems ; Model driven approach ; Model driven development ; Monitoring techniques ; Virtual platform ; Embedded systems}, HAL_ID = {cea-01836304}, HAL_VERSION = {v1}, }