> Power Supervison Desired Output level Source Diesel Valve Sink Diesel Valve > Valve Regulator Sink T = 40 ms Air Valve Predictable Assembly with SaveCCT.

Slides:



Advertisements
Similar presentations
Conformance Testing of MOST based Applications Towards Effective System Testing André Baresel, Michael Schmidt - DaimlerChrysler AG Contact:
Advertisements

Concurrency: introduction1 ©Magee/Kramer 2 nd Edition Concurrency State Models and Java Programs Jeff Magee and Jeff Kramer.
Software Modeling SWE5441 Lecture 3 Eng. Mohammed Timraz
Verification/Simulati on –GUI for simulation and formal verification –Simulator: Exploration of dynamic behavior Checking.
MotoHawk Training Model-Based Design of Embedded Systems.
> Power Supervison Desired Output level Source Diesel Valve Sink Diesel Valve > Valve Regulator Sink T = 40 ms Air Valve The SaveComp Component Technology.
Filling the Gap Between System Design & Performance Verification Rafik HENIA, Laurent RIOUX, Nicolas SORDON Thales Research & Technology.
Object-Oriented Analysis and Design
Software Engineering COMP 201
SSP Re-hosting System Development: CLBM Overview and Module Recognition SSP Team Department of ECE Stevens Institute of Technology Presented by Hongbing.
Train Control Language Teaching Computers Interlocking By: J. Endresen, E. Carlson, T. Moen1, K. J. Alme, Haugen, G. K. Olsen & A. Svendsen Synthesizing.
Page 1 Building Reliable Component-based Systems Chapter 16 - Component based embedded systems Chapter 16 Component based embedded systems.
Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.
CS599 Software Engineering for Embedded Systems1 Software Engineering for Real-Time: A Roadmap Presentation by: Mandar Samant Raghbir Singh Banwait.
Behavioral Design Outline –Design Specification –Behavioral Design –Behavioral Specification –Hardware Description Languages –Behavioral Simulation –Behavioral.
Chapter 13 Embedded Systems
Design of Fault Tolerant Data Flow in Ptolemy II Mark McKelvin EE290 N, Fall 2004 Final Project.
Establishing the overall structure of a software system
February 21, 2008 Center for Hybrid and Embedded Software Systems Mapping A Timed Functional Specification to a Precision.
Dynamic Reconfiguration of Component-based Real-time Software Words February 2005 Sedona, Arizona, USA Andreas Rasche, Andreas Polze and Martin.
November 18, 2004 Embedded System Design Flow Arkadeb Ghosal Alessandro Pinto Daniele Gasperini Alberto Sangiovanni-Vincentelli
Page 1, July 3, 2015 CBSE – graduate course Component-Based Software Engineering Building reliable component-based systems Overview
End-to-End Design of Embedded Real-Time Systems Kang G. Shin Real-Time Computing Laboratory EECS Department The University of Michigan Ann Arbor, MI
1 Chapter 13 Embedded Systems Embedded Systems Characteristics of Embedded Operating Systems.
Copyright Arshi Khan1 System Programming Instructor Arshi Khan.
1 Ivano Malavolta, University of L’aquila, Computer Science Department Ivano Malavolta DUALLy: an Eclipse platform for architectural languages interoperability.
WIR FORSCHEN FÜR SIE The Palladio Component Model (PCM) for Performance and Reliability Prediction of Component-based Software Architectures Franz Brosch.
Software Testing Verification and validation planning Software inspections Software Inspection vs. Testing Automated static analysis Cleanroom software.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 31 Slide 1 Service-centric Software Engineering 2.
Katanosh Morovat.   This concept is a formal approach for identifying the rules that encapsulate the structure, constraint, and control of the operation.
Providing a Software Quality Framework for Testing of Mobile Applications Dominik Franke and Carsten Weise RWTH Achen University Embedded Software Laboratory.
1 CSE 2102 CSE 2102 CSE 2102: Introduction to Software Engineering Ch9: Software Engineering Tools and Environments.
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
Concurrency: introduction1 ©Magee/Kramer Concurrency State Models and Java Programs Jeff Magee and Jeff Kramer.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Architectural Design l Establishing the overall structure of a software system.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Chapter 10 Architectural Design.
RTS Meeting 8th July 2009 Introduction Middleware AUTOSAR Conclusion.
Parser-Driven Games Tool programming © Allan C. Milne Abertay University v
Magnetic Field Measurement System as Part of a Software Family Jerzy M. Nogiec Joe DiMarco Fermilab.
CBSE - presentations Advanced Component-Based Software Engineering Assignment 2.
ASG - Towards the Adaptive Semantic Services Enterprise Harald Meyer WWW Service Composition with Semantic Web Services
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Architectural Design l Establishing the overall structure of a software system.
MathCore Engineering AB Experts in Modeling & Simulation WTC.
Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering
SaveUML System design. System overview Possible...
WSMX Execution Semantics Executable Software Specification Eyal Oren DERI
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 22 Slide 1 Software Verification, Validation and Testing.
SOFTWARE DESIGN AND ARCHITECTURE LECTURE 05. Review Software design methods Design Paradigms Typical Design Trade-offs.
Performance evaluation of component-based software systems Seminar of Component Engineering course Rofideh hadighi 7 Jan 2010.
1 Optimizing compiler tools and building blocks project Alexander Drozdov, PhD Sergey Novikov, PhD.
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
BridgePoint Integration John Wolfe / Robert Day Accelerated Technology.
> Power Supervison Desired Output level Source Diesel Valve Sink Diesel Valve > Valve Regulator Sink T = 40 ms Air Valve CBSE Course The SaveComp Component.
Page 1, December 8, 2015 CBSE – graduate course Component-Based Software Engineering Building reliable component-based systems Overview
Compiler Construction (CS-636)
Slide 1 Service-centric Software Engineering. Slide 2 Objectives To explain the notion of a reusable service, based on web service standards, that provides.
Presented by : A best website designer company. Chapter 1 Introduction Prof Chung. 1.
Slide 1 Chapter 8 Architectural Design. Slide 2 Topics covered l System structuring l Control models l Modular decomposition l Domain-specific architectures.
Marilyn Wolf1 With contributions from:
CHaRy Software Synthesis for Hard Real-Time Systems
The Post Windows Operating System
Chapter 1 Introduction.
Definition CASE tools are software systems that are intended to provide automated support for routine activities in the software process such as editing.
Chapter 8 – Software Testing
Chapter 1 Introduction.
The Extensible Tool-chain for Evaluation of Architectural Models
Service-centric Software Engineering
Peter Poplavko, Saddek Bensalem, Marius Bozga
Analysis models and design models
Presentation transcript:

> Power Supervison Desired Output level Source Diesel Valve Sink Diesel Valve > Valve Regulator Sink T = 40 ms Air Valve Predictable Assembly with SaveCCT Mikael Åkerholm MRTC, Mälardalen University, CC Systems AB,

Mikael Åkerholm, SaveCCT lecture CBSE Course Outline Background and motivation Central Concepts of Component Technologies SaveCCT - A Component Technology for Vehicular Systems Target Domain Technology Overview Component Model Tools Example application – Adaptive Crusie Controller (ACC)

Mikael Åkerholm, SaveCCT lecture CBSE Course Background: Save/Save++ (and progress) Save ( ) Enabling systematic development of component-based software for safety critical embedded systems. Component technologies -> SaveCCT MDH, UU, KTH, LiTH, (ABB, Bombardier, CC Systems, CR&T, Saab, Scania, Volvo Car and Volvo TD) Save++ ( ) integrates as a part of the progress project ( ) at MDH Improved theories, methods, technologies, and tools, based on Save and Save++, -> ( SaveCCT++ )

Mikael Åkerholm, SaveCCT lecture CBSE Course Motivation More Functionality Improve existing Functionality Lower price More Electronics With Software Software Crisis (1968): Error-Prone Late Expensive Promising, successful in the PC domain Component Technologies, target PC Applications Vehicular Software Different from PC Software Need Better Software Engineering Approaches! Component-Based Software Engineering Component Technology For Vehicular Applications!

Mikael Åkerholm, SaveCCT lecture CBSE Course Central Concepts Component Component Framework Platform Components Repository Supporting Tool

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCT – For Vehicular Systems Characteristcs: Many suppliers Distributed applications Safety Reliability Resource efficiency (Hard) Real-Time requirements

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCT Design Goals Efficient Development: Enable utilization of CBSE advantages, provide the necessary possibilities for the target domain Predictable Behavior: Need to be able to apply analysis of important run- time attributes during design-time, e.g., Timing, Safety, Reliability, Memory needs, Processor demands Run-Time Efficiency: Ideally enable CBSE without run-time cost, compared to C programming with RTOS

Mikael Åkerholm, SaveCCT lecture CBSE Course Process Overview SystemRequirements ComponentRequirements Select and Adapt ComponentVerification SystemVerification Need for component Develop or Buy VerifyComponent Repository SystemComposition SystemDecomposition Interface between Component developers And system developers

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCT Technology Overview Repository

Mikael Åkerholm, SaveCCT lecture CBSE Course The SaveCCM component model Restictive in comparision to PC/Internet component models COM,.Net, EJB Enable analysis during design-time, and determinstic reproducable behaviour during run- time (test-time) Textual xml, and graphical UML influenced syntax

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCM Syntax: Basic Component Ports Trigger, data, combined Behaviour Read  Execute  Write fixed_t error = Setpoint – Value; fixed_t u = fixed_mul(K, e); if (IntegrationEnabled) u += fixed_div(NewState, T_i); Control = LIMIT(u, 0, MAX_CONTROL); State = error;

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCM Syntax: Basic Component Ports Trigger, data, combined Behaviour Read  Execute  Write fixed_t error = Setpoint – Value; fixed_t u = fixed_mul(K, e); if (IntegrationEnabled) u += fixed_div(NewState, T_i); Control = LIMIT(u, 0, MAX_CONTROL); State = error;

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCM Syntax: Switch Ports Setports determine active configuration Connection patterns For static or dynamic reconfiguration

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCM Syntax: Assembly Ports Internal components and connections Encapsulation of a “sub-system”

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCM Syntax: Composite Component Ports Internal components and connections Restricted behaviour, read-execute-write

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCM Formal Foundation Timed Automata with Tasks SaveCCM Core Building blocks for SaveCCM semantics: Basic Component Composite Component Conditional Connection Port: point of interaction Where connection meet component Transfer data or triggering Single data item, overwrite semantics On request, John may give a lecture ;o) Finite automata with Dense time clocks, manipulated on edges Tasks, released when a location is reached Dense time is possible by using a symbolic representation x  5 y := 0 T1T1 u! x  10

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCT Glue Code Generator Motivation 2 GHz 256 MB RAM <1 GB OS Graphics, User Accounts run-time configuration Component Framework Run-time Binding DB Transactions, Web Thypical target platform For component technologies 20 MHz 256 kB RAM >1 MB OS Syncronisation, IPC, Timing static configuration

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCT Glue Code Generator - Task Allocation Analysis Target Compiler RTOS Fully Automated Compile-Time Step SaveCCM Component Model Intermediate Task Models RTOS Execution Models CrossFire, RTXC PC/Win32, CCSimTech

Mikael Åkerholm, SaveCCT lecture CBSE Course SaveCCT Tools (under continous improvement) Save IDE (under continous improvement) Component composition Several existing prototypes for graphical composition from masters thesis projects, currently under major revision Automated connectivity to analysis tools through translations of SaveCCM XML to timed automata with tasks ->Times (Timing and much more) Finite State Processes -> LTSA (Control loop liveness) Test Automated test tools, e,g., test-complete and LabView, from CCSimTech Repository Under construction, will provide means for easy selection and specialisation of components through distingushing component versions, from component variants …

Mikael Åkerholm, SaveCCT lecture CBSE Course Example Application – SaveCCT in an industrial Environment Case Study at CC Systems Integrated our technology in a real industrial environment, i.e., selected development tools and hardware from the company’s repertoire CrossFire ECU, CCSimTech simulation technique, target compiler Implemented a “fictive” vehicular control application with the technology, and used as basis for evaluation

Mikael Åkerholm, SaveCCT lecture CBSE Course Road Signs Enabled Current Speed Road Sign Speed ACC Max Speed Distance ACC Enabled Brake Pedal Used > 50 Hz 10 Hz Brake Signal Throttle Brake Assist > Logger HMI Outputs > Object Recognition > Mode Switch > ACC Controller > Brake Assist ACC Max Speed ACC Application Speed Limit >

Mikael Åkerholm, SaveCCT lecture CBSE Course <<Assembly >> ACC Controllers <<Assembly>> Distance Controller <<Assembly>> Speed Controller Distance Control Relative Speed Max Speed <<Assembly>> Distance Controller <<SaveComp>> CalcOutput <<SaveComp>> UpdateState <<Assembly>> Speed Controller <<SaveComp>> CalcOutput <<SaveComp>> UpdateState Distance Relative Speed Max Speed Current Speed Current Speed Control <<Assembly >> ACC Controllers <<Assembly Distance Controller <<Assembly>> Speed Controller View, hiding low level information of data flow direction and triggering

Mikael Åkerholm, SaveCCT lecture CBSE Course Automated Analysis of The ACC Static WCET analysis through integration of the aiT Worst-Case Execution Time Analyser WCET ~ 3% over-estimation Context dependent WCET analysis preferable, but not yet achieved Timing and more through the underlying Timed Automata model The Times tool checks e.g., Schedulability and Response times for end-2-end transactions Liveness Finite State Processes (FSP), derived from SaveCCT Labeled Transition System Analyser (LTSA), is used to verify liveness

Mikael Åkerholm, SaveCCT lecture CBSE Course Questions