Slide 1 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Software Engineering of Safety-Critical Adaptive.

Slides:

Advertisements

Similar presentations

ARCH-05 Application Prophecy UML 101 Peter Varhol Principal Product Manager.

Advertisements

Dagstuhl Intro Mike Whalen. 2 Mike Whalen My main goal is to reduce software verification and validation (V&V) cost and increasing.

ECE 720T5 Fall 2012 Cyber-Physical Systems Rodolfo Pellizzoni.

Software Architectures and Embedded Systems Nenad Medvidovic with Sam Malek and Marija Mikic-Rakic Computer Science Department University of Southern California.

CS 795 – Spring  “Software Systems are increasingly Situated in dynamic, mission critical settings ◦ Operational profile is dynamic, and depends.

> Power Supervison Desired Output level Source Diesel Valve Sink Diesel Valve > Valve Regulator Sink T = 40 ms Air Valve The SaveComp Component Technology.

Reseach in DistriNet (department of computer science, K.U.Leuven) General overview and focus on embedded systems task-force.

1 © Wolfgang Pelz UML3 UML 3 Notations describe how to use reusable software. Package Component Deployment Node.

Integrated Design and Analysis Tools for Software-Based Control Systems Shankar Sastry (PI) Tom Henzinger Edward Lee University of California, Berkeley.

Development Processes UML just is a modeling technique, yet for using it we need to know: »what do we model in an analysis model? »what do we model in.

Ch5: Software Specification. 1 Overview  Use of specifications  Specification qualities  Classification of specification styles  Verification of specifications.

CSC 402, Fall Requirements Analysis for Special Properties Systems Engineering (def?) –why? increasing complexity –ICBM’s (then TMI, Therac, Challenger...)

Dynamic Reconfiguration of Component-based Real-time Software Words February 2005 Sedona, Arizona, USA Andreas Rasche, Andreas Polze and Martin.

HW/SW Co-Synthesis of Dynamically Reconfigurable Embedded Systems HW/SW Partitioning and Scheduling Algorithms.

MOBIES Project Progress Report Engine Throttle Controller Design Using Multiple Models of Computation Edward Lee Haiyang Zheng with thanks to Ptolemy Group.

1 FM Overview of Adaptation. 2 FM RAPIDware: Component-Based Design of Adaptive and Dependable Middleware Project Investigators: Philip McKinley, Kurt.

DoDAF DoD Architectural Framework across multiple levels (Zachman And MoDAF are similar) UPDM Unified Modeling Language (UML) Profile for DoDAF and ModAF.

Architectural Design Establishing the overall structure of a software system Objectives To introduce architectural design and to discuss its importance.

An Introduction to Rational Rose Real-Time

Mobility in the Virtual Office: A Document-Centric Workflow Approach Ralf Carbon, Gregor Johann, Thorsten Keuler, Dirk Muthig, Matthias Naab, Stefan Zilch.

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 11 Slide 1 Architectural Design.

Methodology for Architectural Level Reliability Risk Analysis Lalitha Krothapalli CSC 532.

© Copyright Alvarion Ltd. Hardware Acceleration February 2006.

Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.

CH07: Writing the Programs Does not teach you how to program, but point out some software engineering practices that you should should keep in mind as.

Institut Experimentelles Software Engineering Fraunhofe r IESE Andreas Birk Ulrike Becker-Kornstaedt Sauerwiesen 6 D Kaiserslautern Germany Experience.

DOT’98 Heidelberg 1 A. Hoffmann & M. Born Requirements for Advanced Distribution and Configuration Support GMD FOKUS Andreas Hoffmann & Marc Born

ECE 720T5 Winter 2014 Cyber-Physical Systems Rodolfo Pellizzoni.

©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Architectural Design l Establishing the overall structure of a software system.

© 2009 IBM Corporation Verification of embedded system specifications using collaborative simulation of SysML and Simulink models Ryo Kawahara*, Hiroaki.

©Ian Sommerville 2000, Mejia-Alvarez 2009 Slide 1 Software Processes l Coherent sets of activities for specifying, designing, implementing and testing.

Christian Heinzemann 11. Oktober 2015 Modeling Behavior of Self-Adaptive Systems Seminar Software Quality and Safety.

Reliable Design of Safety Critical Systems Dr. Abhik Roychoudhury School of Computing

Intent Specification Intent Specification is used in SpecTRM

Framework for the Development and Testing of Dependable and Safety-Critical Systems IKTA 065/ Supported by the Information and Communication.

Page 1 Reconfigurable Communications Processor Principal Investigator: Chris Papachristou Task Number: NAG Electrical Engineering & Computer Science.

Unified Modeling Language* Keng Siau University of Nebraska-Lincoln *Adapted from “Software Architecture and the UML” by Grady Booch.

Documenting Software Architectures 1.Uses and Audiences for Architecture Documentation Architecture documentation serves as a means of education Architecture.

2 2009/10 Object Oriented Technology 1 Topic 2: Introduction to Object-Oriented Approach Reference: u Ch.16 Current Trends in System Development (Satzinger:

DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE Novel, Emerging Computing System Technologies Smart Technologies for Effective Reconfiguration: The FASTER approach.

Logical view –show classes and objects Process view –models the executables Implementation view –Files, configuration and versions Deployment view –Physical.

MODUS Project FP7- SME – , Eclipse Conference Toulouse, May 6 th 2013 Page 1 MODUS Project FP Methodology and Supporting Toolset Advancing.

1 Run-Time Software Engineering An approach for Embedded and Ubiquitous Computing Environments Sooyong Park Sogang University South.

Eliciting Integration Scenarios As discussed during Meeting

Slide 1 CSC450 Review & Summary Slides adapted from various sources.

Week 04 Object Oriented Analysis and Designing. What is a model? A model is quicker and easier to build A model can be used in simulations, to learn more.

Light Weight Grid Platform: Design Methodology Vladimir Getov University of Westminster.

Platform Abstraction Group 3. Question How to deal with different types hardware and software platforms? What detail to expose to the programmer? What.

Slide 1 Service-centric Software Engineering. Slide 2 Objectives To explain the notion of a reusable service, based on web service standards, that provides.

Rational Unified Process Fundamentals Best Practices of Software Engineering Rational Unified Process Fundamentals Best Practices of Software Engineering.

© Fraunhofer IESE Fraunhofer IESE Multi-Language Development of Embedded Systems Dr. Thomas Kuhn Tel.:

Linking FMI-based Components with Ptolemy II’s Discrete Event Domain Introduction In the simulation of cyber-physical systems, event driven models with.

Rational Unified Process Fundamentals Module 5: Implementing Rational Unified Process Rational Unified Process Fundamentals Module 5: Implementing Rational.

Reliable Web Service Execution and Deployment in Dynamic Environments * Markus Keidl, Stefan Seltzsam, and Alfons Kemper Universität Passau Passau,

UML. Model An abstract representation of a system. Types of model 1.Use case model 2.Domain model 3.Analysis object model 4.Implementation model 5.Test.

© 2009 Artisan Software Tools. All rights reserved. Testing Solutions with UML/SysML Andrew Stuart, Matthew Hause.

UML (Unified Modeling Language)

Review of Definitions Software life cycle: –Set of activities and their relationships to each other to support the development of a software system Software.

SysML v2 Model Interoperability & Standard API Requirements Axel Reichwein Consultant, Koneksys December 10, 2015.

Marilyn Wolf1 With contributions from:

ITEA3 Project: ACOSAR Advanced Co-Simulation Open System Architecture

The Extensible Tool-chain for Evaluation of Architectural Models

Service-centric Software Engineering

Documenting an Architecture

QGen and TQL-1 Qualification

On the notion of Variability in Software Product Lines

Methodology for Architectural Level Reliability Risk Analysis

Realizing Closed-loop, Online Tuning and Control for Configurable-Cache Embedded Systems: Progress and Challenges Islam S. Badreldin*, Ann Gordon-Ross*,

PSS0 Configuration Management,

Detecting Attacks Against Robotic Vehicles:

Presentation transcript:

Slide 1 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Software Engineering of Safety-Critical Adaptive Embedded Systems Rasmus Adler Tel.:

Slide 2 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Overview Classification Constructive Modeling Methodology Software Engineering of Adaptive Systems Motivation for Dynamic Adaptation

Slide 3 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Classification dynamic adaptation dynamic reconfiguration dynamic behavior adaptation hardware-based reconfiguration (e.g.FPGA) software-based reconfiguration predetermined reconfiguration (static decision) on-line determined reconfiguration (dynamic decision) dynamic configuration of collaboration dynamic configuration of behavior dynamic configuration of parameters dynamic configuration of HW/SW binding

Slide 4 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Motivation for Dynamic Adaptation Quality level Runtime adaptation Driving situation HW-Fault SW-Fault Safety Survivability Adaptation to driving situation MARS Adaptation: dynamic configuration of collaboration dynamic configuration of behavior dynamic configuration of parameters

Slide 5 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Modeling of Adaptation Behavior stAngle vCar vYaw Module vYaw config. measured config. vCar_stAngle vYaw

Slide 6 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 data type semantics vYaw is the angular speed of a vehicle around its z-axis. Quality-Extended Datatypes for Adaptive Systems: Dative = Modes: classes of variants that have the same semantics quality type Mode Mode-Attributes: provide mode-specific description of the signal-quality Mode-Attribute Modeling of Adaptation Behavior

Slide 7 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 configuration 2 Module M1 configuration 1 configuration 2 configuration n  dataquality signal parameter 1 … parameter n quality data Modeling of Adaptation Behavior

Slide 8 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Code Behavior (Simulink) Behavior (Simulink) Behavior (Simulink) Architecure model (UML) Architecure model (UML) Architecture model (UML) Behavior (e.g. Simulink) Code Function Adaptation -Adaptation is indistinguishable part of functionality -adaptation although developers do not know -influence of adaptation on quality of provided services not considered Software Engineering of Adaptive ES

Slide 9 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Framework Behavior (Simulink) Behavior (Simulink) Behavior (e.g. Simulink) Function Adaptation Adaptation Behavior Specification -d. a. is explicitly considered in development -dedicated runtime adaptation framework -SOP, SOA Complexity becomes visible => How to find adaptation behavior specification Software Engineering of Adaptive ES

Slide 10 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Framework Function Adaptation Adaptation Behavior Specification Architecture model (MARS / UML) Architecture model (MARS / UML) Adaptation Behavior (e.g. Simulink) Behavior (e.g. Simulink) Behavior (e.g. Simulink) Software Engineering of Adaptive ES

Slide 11 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Testing executable Model Module Simulation- Step Active Configuration Exchanged Signal- Quality Adaptive Parameter In 38% of all testcases at simulation step 5 Config. On was active Software Engineering of Adaptive ES

Slide 12 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Simulation/ Co-Simulation Simulink executable Model Testing Model-transformation Quarz Model-Checking hybrid-CFT Probabilistic Analyses SAS State transition system Property preserving model red. Software Engineering of Adaptive ES

Slide 13 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Framework Behavior (Simulink) Behavior (Simulink) Behavior (e.g. Simulink) Function Adaptation Adaptation Behavior Specification SE includes: Architecture model (MARS / UML) Architecture model (MARS / UML) Adaptation Software Engineering of Adaptive ES - constructive modeling methodology - Analysis and Verification of adaptation behavior -Quality prediction → control development

Slide 14 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Demonstrator

Slide 15 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Questions Rasmus Adler +49 (0) 631 / Now or later: