Development of Safe & Reliable Embedded Systems Using Dynamic Adaptation

1. Development of Safe & Reliable Embedded Systems Using Dynamic Adaptation Rasmus Adler rasmus.adler@iese.fhg.deTel.: 0631 - 6800 2172

2. Overview • Adaptation as Requirement of Embedded Systems • Evolution in MBD of Adaptive Systems • Modeling Dynamic Adaptation • Analyzing Dynamic Adaptation • Software Engineering of Adaptive Embedded Systems

3. Zorb ≡ Software System Human in Zorb ≡ User Nature of course ≡ Environmental Cond. Adaptation as Requirement of Embedded Systems Smoothness of rolling ≡ Software Quality Adaptation to environmental conditions is inevitable to meet the demands of Software Quality of Embedded Systems (ES) => Most ES are adaptive Why research topic ?

4. Architecture model (UML) Behavior(e.g. Simulink) Code Evolution in Development of A. Systems Evolution Stage: 1 0 Adaptation is indistinguishable part of functionality adaptation although developers do not know influence of adaptation on quality of provided services not considered Architecure model (UML) Behavior (Simulink) Behavior(Simulink) Code Function Adaptation

5. Adaptation as Requirement of ES vYaw vCar Module vYaw config. measured vYaw config. vCar_stAngle stAngle

6. Evolution in Development of A. Systems Evolution Stage: 2 Complexity becomes visible => How to find adaptation behavior specification - d. a. is explicitly considered in development • dedicated runtime adaptation framework - SOP, SOA Behavior (Simulink) Adaptation Behavior Specification Behavior(e.g. Simulink) Framework Function Adaptation

7. Modeling Dynamic Adaptation Evolution Stage: 3 constructive modeling methodology (basis for MBD) Architecture model (MARS / UML) Adaptation Behavior (Simulink) Adaptation Behavior Specification Behavior(e.g. Simulink) Framework Function Adaptation

8. Modeling Dynamic Adaptation Evolution Stage: 3 - constructive modeling methodology (basis for MBD) Architecture model (MARS / UML) Adaptation Behavior (e.g. Simulink) Adaptation Behavior Specification Behavior(e.g. Simulink) Framework Function Adaptation

9. Analyzing Dynamic Adaptation Evolution Stage: 3 - constructive modeling methodology (basis for MBD) Architecture model (MARS / UML) Adaptation - Analysis and V&V of adaptation behavior Behavior (Simulink) Adaptation Behavior Specification Behavior(e.g. Simulink) Framework Function Adaptation

10. Module executable Model In 38% of all testcases at simulation step 5 Config. On was active Simulation-Step Exchanged Signal-Quality Active Configuration Analyzing Dynamic Adaptation Testing Adaptive Parameter

11. executable Model Model-transformation Simulink hybrid-CFT Quarz Model-Checking Probabilistic Analyses Simulation/ Co-Simulation Analyzing Dynamic Adaptation Testing

12. Software Engineering of Adaptive ES Evolution Stage: 3 - constructive modeling methodology (basis for MBD) Architecture model (MARS / UML) Adaptation - Analysis and V&V of adaptation behavior Quality prediction → control development Behavior (Simulink) Adaptation Behavior Specification Behavior(e.g. Simulink) Framework Function Adaptation

13. Software Engineering of Adaptive ES Analysis model Analysis V&V Optimization Q-Measurem. AnalysisWP-Ident.

14. Questions Rasmus Adler rasmus.adler@iese.fhg.de +49 (0) 631 / 6800 2172 Now or later: