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

Slides:



Advertisements
Similar presentations
© Alan Burns and Andy Wellings, 2001 Real-Time Systems and Programming Languages n Buy Real-Time Systems: Ada 95, Real-Time Java and Real-Time POSIX by.
Advertisements

EE5900 Advanced Embedded System For Smart Infrastructure
November 23, 2005 Egor Bondarev, Michel Chaudron, Peter de With Scenario-based PA Method for Dynamic Component-Based Systems Egor Bondarev, Michel Chaudron,
Executional Architecture
A Hierarchical Co-ordination Language for Interacting Real-time Tasks Arkadeb Ghosal, UC Berkeley Thomas A. Henzinger, EPFL Daniel Iercan, "Politehnica"
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.
Event Driven Real-Time Programming CHESS Review University of California, Berkeley, USA May 10, 2004 Arkadeb Ghosal Joint work with Marco A. Sanvido, Christoph.
Introduction Designing cost-sensitive real-time control systems for safety-critical applications requires a careful analysis of the cost/fault-coverage.
Page 1 Building Reliable Component-based Systems Chapter 16 - Component based embedded systems Chapter 16 Component based embedded systems.
Page 1 Building Reliable Component-based Systems Chapter 13 -Components in Real-Time Systems Chapter 13 Components in Real-Time Systems.
Architecture Modeling and Analysis for Embedded Systems Oleg Sokolsky CIS700 Fall 2005.
Integrated Design and Analysis Tools for Software-Based Control Systems Shankar Sastry (PI) Tom Henzinger Edward Lee University of California, Berkeley.
> Power Supervison Desired Output level Source Diesel Valve Sink Diesel Valve > Valve Regulator Sink T = 40 ms Air Valve Predictable Assembly with SaveCCT.
Chess Review May 11, 2005 Berkeley, CA Composable Code Generation for Distributed Giotto Tom Henzinger Christoph Kirsch Slobodan Matic.
Chapter 13 Embedded Systems
REAL-TIME SOFTWARE SYSTEMS DEVELOPMENT Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
Component-based approach for embedded systems Ivica Crnkovic Mälardalen University (MdH) Department of Computer Science and Electronics, Mälardalen.
Real-Time Systems and Programming Languages
1 of 14 1 Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems Paul Pop Computer and Information Science Dept. Linköpings.
Courseware Basics of Real-Time Scheduling Jan Madsen Informatics and Mathematical Modelling Technical University of Denmark Richard Petersens Plads, Building.
Page 1 Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety- Critical Real-Time Systems Chapter 14 Testing.
November 18, 2004 Embedded System Design Flow Arkadeb Ghosal Alessandro Pinto Daniele Gasperini Alberto Sangiovanni-Vincentelli
Misconceptions About Real-time Computing : A Serious Problem for Next-generation Systems J. A. Stankovic, Misconceptions about Real-Time Computing: A Serious.
Page 1, July 3, 2015 CBSE – graduate course Component-Based Software Engineering Building reliable component-based systems Overview
Copyright Arshi Khan1 System Programming Instructor Arshi Khan.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 15 Slide 1 Real-time Systems 1.
1 Presenter: Ming-Shiun Yang Sah, A., Balakrishnan, M., Panda, P.R. Design, Automation & Test in Europe Conference & Exhibition, DATE ‘09. A Generic.
Real-Time Software Design Yonsei University 2 nd Semester, 2014 Sanghyun Park.
REAL-TIME SOFTWARE SYSTEMS DEVELOPMENT Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
RTS Meeting 8th July 2009 Introduction Middleware AUTOSAR Conclusion.
Eric Keller, Evan Green Princeton University PRESTO /22/08 Virtualizing the Data Plane Through Source Code Merging.
1. Introduction 1.1 Background 1.2 Real-time applications 1.3 Misconceptions 1.4 Issues in real-time computing 1.5 Structure of a real-time system.
CBSE - presentations Advanced Component-Based Software Engineering Assignment 2.
CS4730 Real-Time Systems and Modeling Fall 2010 José M. Garrido Department of Computer Science & Information Systems Kennesaw State University.
EEL Software development for real-time engineering systems.
INTRODUCTION SOFTWARE HARDWARE DIFFERENCE BETWEEN THE S/W AND H/W.
High Performance Embedded Computing © 2007 Elsevier Lecture 3: Design Methodologies Embedded Computing Systems Mikko Lipasti, adapted from M. Schulte Based.
High Performance Embedded Computing © 2007 Elsevier Chapter 1, part 2: Embedded Computing High Performance Embedded Computing Wayne Wolf.
Suzhen Lin, A. Sai Sudhir, G. Manimaran Real-time Computing & Networking Laboratory Department of Electrical and Computer Engineering Iowa State University,
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Reference: Ian Sommerville, Chap 15  Systems which monitor and control their environment.  Sometimes associated with hardware devices ◦ Sensors: Collect.
Page 1, CBSE graduate course Lecture 3 CBSE in Embedded System Development.
Model-Based Embedded Real- Time Software Development Dionisio de Niz and Raj Rajkumar Real-Time and Multimedia Sys Lab Carnegie Mellon University.
REAL-TIME SOFTWARE SYSTEMS DEVELOPMENT Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
Conformance Test Experiments for Distributed Real-Time Systems Rachel Cardell-Oliver Complex Systems Group Department of Computer Science & Software Engineering.
C o n f i d e n t i a l 1 Course: BCA Semester: III Subject Code : BC 0042 Subject Name: Operating Systems Unit number : 1 Unit Title: Overview of Operating.
System-level power analysis and estimation September 20, 2006 Chong-Min Kyung.
Real-time Software Design King Saud University College of Computer and Information Sciences Department of Computer Science Dr. S. HAMMAMI.
Page 1, December 8, 2015 CBSE – graduate course Component-Based Software Engineering Building reliable component-based systems Overview
CS4730 Real-Time Systems and Modeling Fall 2010 José M. Garrido Department of Computer Science & Information Systems Kennesaw State University.
Abstract A Structured Approach for Modular Design: A Plug and Play Middleware for Sensory Modules, Actuation Platforms, Task Descriptions and Implementations.
Chapter 13 – I/O Systems (Pgs ). Devices  Two conflicting properties A. Growing uniformity in interfaces (both h/w and s/w): e.g., USB, TWAIN.
Architecture View Models A model is a complete, simplified description of a system from a particular perspective or viewpoint. There is no single view.
Real-Time Systems, Events, Triggers. Real-Time Systems A system that has operational deadlines from event to system response A system whose correctness.
Software Systems Division (TEC-SW) ASSERT process & toolchain Maxime Perrotin, ESA.
1 Device Controller I/O units typically consist of A mechanical component: the device itself An electronic component: the device controller or adapter.
CS244-Introduction to Embedded Systems and Ubiquitous Computing Instructor: Eli Bozorgzadeh Computer Science Department UC Irvine Winter 2012.
CHaRy Software Synthesis for Hard Real-Time Systems
Real-time Software Design
REAL-TIME OPERATING SYSTEMS
TrueTime.
מעבדה במערכות משובצות ד"ר מרינה ליפשטיין דוא"ל:
Real-time Software Design
Shanna-Shaye Forbes Ben Lickly Man-Kit Leung
Peter Poplavko, Saddek Bensalem, Marius Bozga
Lesson 4 Synchronous Design Architectures: Data Path and High-level Synthesis (part two) Sept EE37E Adv. Digital Electronics.
A GUI Based Aid for Generation of Code-Frameworks of TMOs
Chapter 13: I/O Systems.
Presentation transcript:

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

Vehicular Systems Software Charateristics – Safety – Reliability – Resource efficiency – Predictability Engineering Activities – Targeting non general System Architecture – Early Analysis – Modelling – Verification 06/12/2015Mikael Åkerholm, CBSE Course 20052

Example: The architecture of a car control system Page 3, 6 December 2015 Vehicle mechanics ECU Sensor ActuatorSensor ECU Sensor ActuatorSensor ECU Sensor Actuator Sensor gateway (CAN) BUS brakeinjection Infotaiment ECU – Electronic Control Unit

The architectural design challenge Page 4, 6 December 2015 Vehicle stabilitySuspensionDrive by wire…… Complex functions Local Control Functions Sensor ActuatorSensor Basic functions Local Control Functions Sensor ActuatorSensor How to implement complex functions based on local control functions?

Problem: resource sharing Page 5, 6 December 2015 Sensor 1 Sensor 2 Sensor 3 Sensor.. Network resources Sensor.. Execution resources Node 1 Node 2 Node 3 Node … Actuator 1 Actuator 2 Actuator 3 Actuator … Can functions of different criticality be allowed to share resources?

Challenge – open and dependable platform Page 6, 6 December 2015 sensors Vehicle actuators Engine ControlLocal brake ControlTransmission……… local Vehicle stability Cruise control AntispinGlobal (complex) functions Hardware Input/output drivers Middleware ECU Applications SOFTWARE COMPONENTS Collision detection

Challenge – open and dependable platform Page 7, 6 December 2015 Hardware Input/output drivers Middleware ECU Applications C1C2 Requirements Separation of hw from SW development Separation of SW component development

Example: A task as a component Component-model used in REBUS (Volvo construction equipment) The timing requirements are specified by release- time, deadline, WCET and period December 6, 2015 Ivica Crnkovic (c) : Component-based real-time systems

Real time attributes 06/12/2015Mikael Åkerholm, CBSE Course What is Task Period Deadline WCET Precedance

Challenges when constructing RT systems Most of the real-time systems are based on following: 1.Several parallel activities are given some unique priorities 2.A resource manager makes sure the task with the highest priority will execute December 6, 2015 Ivica Crnkovic (c) : Component-based real-time systems 13 Activities Resource manager timeCPU ready

Definition – task Task A sequential program performing an activity and that possibly communicates with other tasks in the system. A task often has a priority relative to other tasks in the system. Sometimes thread is used instead of task. Process A virtual processor that can handle several tasks with a common memory space. December 6, 2015 Ivica Crnkovic (c) : Component-based real-time systems

Periodic tasks An infinite sequence of identical activities – invocations (jobs) December 6, 2015 Ivica Crnkovic (c) : Component-based real-time systems time Task A A1A1 (Inv. 1) A2A2 (Inv. 2) A3A3 (Inv. 3) period Analogy from real life: Example: Audio and video sampling Regulating Monitoring of temperature and pressure Execution time

What is a release time and deadline? December 6, 2015 Ivica Crnkovic (c) : Component-based real-time systems Task release time is the earliest point in time we can activate (release) the task Airbag-example: Crash Too late time Too early Release time Deadline

Relations between components and tasks Components – design Units Tasks – execution Units Mapping: – Simplest: a Component is a task – Complex A set of components makes a task A component can be split into several tasks 06/12/2015Mikael Åkerholm, CBSE Course

Composition of Components December 6, 2015 Ivica Crnkovic (c) : Component-based real-time systems

What is with time attributes? How do we specify properties of an assembly? – Execution time (WCET,…) How do we map assembly properties to the components being composed? – Period? – Priority? December 6, 2015 Ivica Crnkovic (c) : Component-based real-time systems

Properties of Composed components Can we use WCET? – No – WCET cannot be computed since its parts may be executing with different periods. End-to-end deadlines – Are set such that the system requirements are fulfilled – Should be specified for the input to and output from the component Latency – time for an assembly to respond to input signal – Average, Worst case (end-to-end deadline), best case December 6, 2015 Ivica Crnkovic (c) : Component-based real-time systems

EXAMPLE SAVECOMP COMPONENT MODEL SaveCCM 06/12/2015Mikael Åkerholm, CBSE Course

SaveComp Overview 06/12/2015Mikael Åkerholm, CBSE Course

SaveCCM Component Model Tradeoff: – Freedom vs. Restrictions SaveCCM restrictive, but expressive power focused on domain specific needs, e.g., – Mode Changes – Static Configuration – Control Feedback 06/12/2015Mikael Åkerholm, CBSE Course

Architectural Elements Components – In and Output ports, (1) data only, (2) triggering, (3) triggering and data (for all elements, not only components) – Basic units of encapsulated behavior – Execution model: read input, execute, write output 06/12/2015Mikael Åkerholm, CBSE Course > name Input port, data Input port, triggering Input port, data and triggering Output port, data Output port, triggering Output port, triggering and data

Architectural Elements Switches, special type of component Conditionally changes the component interconnection structure – Static or dynamic configuration of conditions 06/12/2015Mikael Åkerholm, CBSE Course > name PID INP INI IND OUTP OUTI OUTD Switch name { Inports: INP:Pport, INI:Iport, IND:Dport, P:Setport, I:Setport, D:Setport; Outports: OUTP:Pport, OUTI:Iport, OUTD:Dport; Switching: P: INP->OUTP; I: INI->OUTI; D: IND->OUTD; }

Architectural Elements Assemblies, special type of component Consists of components and switches Naming of sub-systems, hiding internal structure 06/12/2015Mikael Åkerholm, CBSE Course

Compile-Time Overview 06/12/2015Mikael Åkerholm, CBSE Course Design- Time Component model Real-Time Analysis Real-time model Synthesis Compile- Time Model transformation Run- Time Target application RTOS t Task Allocation Attribute Assignment Analysis Glue Code Generation Target Compiler Component model RTOS Fully Automated Compile-Time Step

Run-Time System Applications have no dependencies to operating systems, all operating system dependencies are automatically generated glue code, gives portable and reusable components Prototype: – Win32 for Simulation with the CCSimTech simulation technique – RTXC RTOS for target 06/12/2015Mikael Åkerholm, CBSE Course

06/12/2015Mikael Åkerholm, 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 >