A Multi-Modal Composability Framework for Cyber-Physical Systems
|
|
- Johnathan Goodwin
- 5 years ago
- Views:
Transcription
1 S5 Symposium June 12, 2012 A Multi-Modal Composability Framework for Cyber-Physical Systems Linh Thi Xuan Phan Insup Lee PRECISE Center University of Pennsylvania
2 Avionics, Automotive Medical Devices Cyber-physical systems are everywhere Our daily lives depend on them! Industrial Automation 2 Power plant
3 Characteristic: Timing critical If unstable, UAV must go to recovery mode and perform the recovery tasks within a deadline UAV may crash if a recovery task misses deadline! 3
4 Goal Provide timing and performance guarantees for cyber-physical systems an old problem, but many new challenges Increasing adaptivity Increasing complexity 4
5 Challenge #1: Adaptivity UAV Systems run in multiple modes of operation Mode transitions triggered by system failure or environment changes 5 a task active in this mode
6 Problem with mode transitions Autopilot Control modified Recovery A B unstable A D C D B B C inactive active Need to execute unfinished jobs of the old mode Potential overload and deadline misses immediately after changing mode, even if each mode works correctly in isolation How to guarantee timing during mode changes? 6
7 Percent of functionality provided by software Challenge #2: Complexity Source: NASA Study on Flight Software Complexity (F-4) 1964 (A-7) 1970 (F-111) 1975 (F-15) 1982 (F-16) 1990 (B-2) 2000 (F-22) Year of production Increasing number of software components Increasing resource sharing, due to SWaP constraints Problem: State space explosion 7
8 Approach: Compositional analysis Idea: Analyze compositionally via component abstraction and interface composition Interface exposes only as much information as is required Analysis must capture mode change behaviors Traditional focus: functional and behavioral aspects e.g., AADL interfaces Need abstraction of timing and resource aspects CPS components manage their own resources Use Multi-modal resource-aware interfaces 8
9 Outline Motivation Framework overview Modeling multi-modal components Compositional analysis process Abstracting components into interfaces Composing interfaces Results 9
10 Modeling an adaptive component Mode: a set of tasks + scheduling policy Task parameters: WCET, deadline, arrival function of input data Transition: triggered by a timing constraint or an event Mode change protocol 10
11 Mode change protocol Autopilot Flight modified Recovery A B unstable A D C D B C inactive active Formally defines what exactly happens during a mode transition Example: A is not affected, C is released immediately, unfinished jobs of D are discarded 11
12 ARINC 653: Compositional analysis Core module hardware Partition level schedule Partition 1 Partition 2... Partition n Process level schedules P 11,,P 1m1 P 21,,P 2m2 P n1,,p nmn Partition Modes: Mode changes: COLD_START/WARM_START: Only the initialization process is executed NORMAL: All processes except the initialization process are executed IDLE: No process is executed Triggered by either a partition process or an external event 12
13 ARINC 653: Compositional analysis Core module hardware Partition level schedule Partition 1 Partition 2... Partition n Partition 1 Interface Partition 2 Interface Partition n Interface P 11,,P 1m1 P 21,,P 2m2 P n1,,p nmn captures the resources required to guarantee correct timing behaviors of the partition s processes 13
14 ARINC 653: Compositional analysis Core module hardware Partition level schedule Partition 1 Partition 1 Interface Partition 2 Subsystem Interface Partition 2 Interface... Partition n Partition n Interface P 11,,P 1m1 P 21,,P 2m2 P n1,,p nmn Subsystem s interface: captures the resources required to guarantee correct timing behaviors of its partitions 14
15 Outline Motivation Framework overview Modeling multi-modal components Compositional analysis overview Abstracting components into interfaces Composing interfaces Results 15
16 resource demand Single mode: Use service function Service function: minimum number of resource units must be provided to the mode over any time interval of length t to guarantee schedulability of all tasks Computed by combining demands of all tasks A β EDF B A: deadline = 4, WCET = 1 Interface of the mode time worst-case arrival pattern of A # resource units 16 β: min service required time interval length Mode Task B Task A t
17 Multiple modes: A single transition B A C D Mode 1 mode change condition B A β β 1 2 C D abstract Mode 1 Mode 2 Mode 2 Demands vary significantly across modes Demand of each task T i at mode m: #1: Need to capture mode-dependent demands Tasks may not finish when mode change occurs unfinished tasks [ ] wcet i new tasks mode Mode 1 Mode 2 change deadline 17 #2: Need to account for carried-over demands of unfinished tasks No buffer overflow No deadline miss during initial duration after moving to mode m All new tasks meet deadlines
18 Multiple modes: An automaton Component may change modes one after another #3: Need to capture cascading mode changes Component C Explore each transition of a reachable mode Intermediate interface β 1 β 3 β 2 iterate Fixed point computation Termination: always guaranteed converged Interface of C 18
19 Multiple multi-mode components Interface needs to expose synchronization events detect incompatible communication avoid overestimating total demands of the composition a B a b Component 1 Component 2 Composition of interfaces Compute the product of interfaces Combine service functions of a composed mode Interface refinements 19
20 Outline Motivation Framework overview Modeling multi-modal components Compositional analysis overview Abstracting components into interfaces Composing interfaces Results 20
21 Results Accuracy: No deadline misses during mode transitions Unimodal analysis can underestimate resource requirements! 21
22 Results Accuracy: No deadline misses during mode transitions End-to-end Delay (ms) Need 700MHz Need 900 MHz Multimode Unimode Design Requirement: Delay 13ms Processor Frequency (MHz) Efficiency: Analysis is more precise Same guarantees with fewer resources 22
23 Open challenges Interfaces for multicore, distributed settings Moving theory to practice Implementation issues: reduce overheads (e.g., context switches) Connecting with functional interfaces (e.g.,aadl) Composability for safety certification Apply multi-mode modeling to capture mixed-criticality systems with different certification levels Integrate mode switches with fault-tolerant techniques Combine compositional analysis with assurance cases 23
24 Summary Problem: Systems are becoming complex and adaptive Existing techniques are not sufficient Focus primarily on composability of functional aspects Do not consider mode change behavior (hence, can be unsafe) Approach: Compositional analysis based on multi-modal resource-aware interfaces Benefits Accurate and scalable analysis Analysis results can be used to optimize resource needs Support incremental component-based development 24
A Modal Specification Approach for Assuring the Safety of On-Demand Medical Cyber-Physical Systems
A Modal Specification Approach for Assuring the Safety of On-Demand Medical Cyber-Physical Systems Lu Feng PRECISE Center Department of Computer and Information Science University of Pennsylvania lufeng@cis.upenn.edu
More informationAnalysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation
Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation Meng Xu Linh Thi Xuan Phan Hyon-Young Choi Insup Lee Department of Computer and Information Science
More informationIntroduction to the Distributed Real-Time System
Introduction to the Distributed Real-Time System Insup Lee Department of Computer and Information Science School of Engineering and Applied Science University of Pennsylvania www.cis.upenn.edu/~lee/ CIS
More informationResource-bound process algebras for Schedulability and Performance Analysis of Real-Time and Embedded Systems
Resource-bound process algebras for Schedulability and Performance Analysis of Real-Time and Embedded Systems Insup Lee 1, Oleg Sokolsky 1, Anna Philippou 2 1 RTG (Real-Time Systems Group) Department of
More informationAirTight: A Resilient Wireless Communication Protocol for Mixed- Criticality Systems
AirTight: A Resilient Wireless Communication Protocol for Mixed- Criticality Systems Alan Burns, James Harbin, Leandro Indrusiak, Iain Bate, Robert Davis and David Griffin Real-Time Systems Research Group
More informationMixed Criticality Scheduling in Time-Triggered Legacy Systems
Mixed Criticality Scheduling in Time-Triggered Legacy Systems Jens Theis and Gerhard Fohler Technische Universität Kaiserslautern, Germany Email: {jtheis,fohler}@eit.uni-kl.de Abstract Research on mixed
More informationFormal Modeling and Analysis of Stream Processing Systems
Formal Modeling and Analysis of Stream Processing Systems Linh T.X. Phan March 2009 Computer and Information Science University of Pennsylvania 1 High performance Highly optimized requirements systems
More informationRT- Xen: Real- Time Virtualiza2on. Chenyang Lu Cyber- Physical Systems Laboratory Department of Computer Science and Engineering
RT- Xen: Real- Time Virtualiza2on Chenyang Lu Cyber- Physical Systems Laboratory Department of Computer Science and Engineering Embedded Systems Ø Consolidate 100 ECUs à ~10 multicore processors. Ø Integrate
More informationSchedulability Analysis of AADL Models
Schedulability Analysis of AADL Models Oleg Sokolsky Insup Lee University of Pennsylvania Duncan Clarke Fremont Associates Overview AADL modeling language Why is it useful and what it has Formal schedulability
More informationAUTOBEST: A United AUTOSAR-OS And ARINC 653 Kernel. Alexander Züpke, Marc Bommert, Daniel Lohmann
AUTOBEST: A United AUTOSAR-OS And ARINC 653 Kernel Alexander Züpke, Marc Bommert, Daniel Lohmann alexander.zuepke@hs-rm.de, marc.bommert@hs-rm.de, lohmann@cs.fau.de Motivation Automotive and Avionic industry
More informationARTIST-Relevant Research from Linköping
ARTIST-Relevant Research from Linköping Department of Computer and Information Science (IDA) Linköping University http://www.ida.liu.se/~eslab/ 1 Outline Communication-Intensive Real-Time Systems Timing
More informationChapter 39: Concepts of Time-Triggered Communication. Wenbo Qiao
Chapter 39: Concepts of Time-Triggered Communication Wenbo Qiao Outline Time and Event Triggered Communication Fundamental Services of a Time-Triggered Communication Protocol Clock Synchronization Periodic
More informationStatic Analysis of Embedded Systems
Static Analysis of Embedded Systems Xavier RIVAL rival@di.ens.fr Outline Case study Certification of embedded softwares Demo Static Analysisof Embedded Systems p.2/12 Ariane 5 Flight 501 Ariane 5: sattelite
More informationOverhead-Aware Compositional Analysis of Real- Time Systems
University of Pennsylvania ScholarlyCommons Departmental Papers (CIS) Department of Computer & Information Science 4-203 Overhead-Aware Compositional Analysis of Real- Time Systems Linh T.X. Phan University
More informationAnalysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation
University of Pennsylvania ScholarlyCommons Departmental Papers (CIS) Department of Computer & Information Science 4-2016 Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with
More informationPattern-Based Analysis of an Embedded Real-Time System Architecture
Pattern-Based Analysis of an Embedded Real-Time System Architecture Peter Feiler Software Engineering Institute phf@sei.cmu.edu 412-268-7790 Outline Introduction to SAE AADL Standard The case study Towards
More informationScheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures
Scheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures Roberto MEDINA Etienne BORDE Laurent PAUTET December 13, 2018 1/28 Outline Research Context Problem Statement Scheduling MC-DAGs
More informationModel-based Architectural Verification & Validation
Model-based Architectural Verification & Validation Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Peter H Feiler Feb. 2009 2006 Carnegie Mellon University Outline Architecture-Centric
More informationComposition of State Machines
Chapter 5 Composition of State Machines Hongwei Zhang http://www.cs.wayne.edu/~hzhang/ Ack.: this lecture is prepared in part based on slides of Lee, Sangiovanni-Vincentelli, Seshia. Outline Concurrent
More informationConstructing and Verifying Cyber Physical Systems
Constructing and Verifying Cyber Physical Systems Mixed Criticality Scheduling and Real-Time Operating Systems Marcus Völp Overview Introduction Mathematical Foundations (Differential Equations and Laplace
More informationContext. Hardware Performance. Increasing complexity. Software Complexity. And the Result is. Embedded systems are becoming more complex every day:
Context Embedded systems are becoming more complex every day: Giorgio uttazzo g.buttazzo@sssup.it more functions higher performance higher efficiency Scuola Superiore Sant nna new hardware s Increasing
More informationContext. Giorgio Buttazzo. Scuola Superiore Sant Anna. Embedded systems are becoming more complex every day: more functions. higher performance
Giorgio uttazzo g.buttazzo@sssup.it Scuola Superiore Sant nna Context Embedded systems are becoming more complex every day: more functions higher performance higher efficiency new hardware platforms 2
More informationReal-Time Component Software. slide credits: H. Kopetz, P. Puschner
Real-Time Component Software slide credits: H. Kopetz, P. Puschner Overview OS services Task Structure Task Interaction Input/Output Error Detection 2 Operating System and Middleware Application Software
More informationOverhead-Aware Compositional Analysis of Real-Time Systems
Overhead-Aware Compositional Analysis of Real-Time Systems Linh T.X. Phan Meng Xu Jaewoo Lee Insup Lee Oleg Sokolsky Department of Computer and Information Sciences, University of Pennsylvania Email: {linhphan,mengxu,jaewoo,lee,sokolsky}@cis.upenn.edu
More informationDeterministic Ethernet & Unified Networking
Deterministic Ethernet & Unified Networking Never bet against Ethernet Mirko Jakovljevic mirko.jakovljevic@tttech.com www.tttech.com Copyright TTTech Computertechnik AG. All rights reserved. About TTTech
More informationTiming Analysis on Complex Real-Time Automotive Multicore Architectures
2 nd Workshop on Mapping Applications to MPSoCs St. Goar, June 2009 Timing Analysis on Complex Real-Time Automotive Multicore Architectures Mircea Negrean Simon Schliecker Rolf Ernst Technische Universität
More informationAn Introduction to TTEthernet
An Introduction to thernet TU Vienna, Apr/26, 2013 Guest Lecture in Deterministic Networking (DetNet) Wilfried Steiner, Corporate Scientist wilfried.steiner@tttech.com Copyright TTTech Computertechnik
More informationA Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. Pujie Han MARS/VPT Thessaloniki, 20 April 2018
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems Pujie Han MARS/VPT Thessaloniki, 20 April 2018 Index Background Approach Modeling Case study Index Background Approach Modeling
More informationCyber-Physical System Checkpointing and Recovery
Cyber-Physical System Checkpointing and Recovery Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee Department of Computer and Information Science University of Pennsylvania Cyber-Physical System
More informationMobile and Heterogeneous databases Distributed Database System Transaction Management. A.R. Hurson Computer Science Missouri Science & Technology
Mobile and Heterogeneous databases Distributed Database System Transaction Management A.R. Hurson Computer Science Missouri Science & Technology 1 Distributed Database System Note, this unit will be covered
More informationRT- Xen: Real- Time Virtualiza2on from embedded to cloud compu2ng
RT- Xen: Real- Time Virtualiza2on from embedded to cloud compu2ng Chenyang Lu Cyber- Physical Systems Laboratory Department of Computer Science and Engineering Real- Time Virtualiza2on for Cars Ø Consolidate
More informationCARTS. A Tool for Compositional Analysis of Real Time Systems
CARTS A Tool for Compositional Analysis of Real Time Systems Real Time Systems Group PRECISE Center Department of Computer and Information Science University of Pennsylvania August 2009 TABLE OF CONTENTS
More informationModel-based Analysis of Event-driven Distributed Real-time Embedded Systems
Model-based Analysis of Event-driven Distributed Real-time Embedded Systems Gabor Madl Committee Chancellor s Professor Nikil Dutt (Chair) Professor Tony Givargis Professor Ian Harris University of California,
More informationAADL v2.1 errata AADL meeting Sept 2014
AADL v2.1 errata AADL meeting Sept 2014 Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 V2.1 Errata Additional applies to allowances Inconsistency in reference/applies to
More informationColored Petri Net based Timing Analysis for UAS Application Software
Colored Petri Net based Timing Analysis for UAS Application Software Charles Hartsell, Vanderbilt University Gabor Karsai, Vanderbilt University Michael Lowry, NASA ARC Acknowledgements: NASA ARC Contract
More informationFormal Analysis of Timing Effects on Closed-loop Properties of Cyber Physical Systems
Formal Analysis of Timing Effects on Closed-loop Properties of Cyber Physical Systems Arne Hamann, Corporate Research, Robert Bosch GmbH Joint work with: Matthias Wöhrle (Bosch), Goran Frehse (Université
More informationInvestigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models
Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models Peter Feiler Software Engineering Institute phf@sei.cmu.edu 412-268-7790 2004 by Carnegie Mellon University
More informationWhy Actors Rock: Designing a Distributed Database with libcppa
Why Actors Rock: Designing a Distributed Database with libcppa Matthias Vallentin matthias@bro.org University of California, Berkeley C ++ Now May 15, 2014 Outline 1. System Overview: VAST 2. Architecture:
More informationDISTRIBUTED REAL-TIME SYSTEMS
Distributed Systems Fö 11/12-1 Distributed Systems Fö 11/12-2 DISTRIBUTED REAL-TIME SYSTEMS What is a Real-Time System? 1. What is a Real-Time System? 2. Distributed Real Time Systems 3. Predictability
More informationDeterministic Networking Lab
Lab Course (Preliminary Session) Deterministic Networking Lab M.Sc. Sina Shafaei Prof. Dr.-Ing. Habil. Alois Knoll Winter Semester 2017/2018 What They Have in Common... Audi A8 Roboy TUM Reliable Network
More informationCompositional Schedulability Analysis of Hierarchical Real-Time Systems
Compositional Schedulability Analysis of Hierarchical Real-Time Systems Arvind Easwaran, Insup Lee, Insik Shin, and Oleg Sokolsky Department of Computer and Information Science University of Pennsylvania,
More informationFormal Modeling and Analysis of Stream Processing Systems
Formal Modeling and Analysis of Stream Processing Systems (cont.) Linh T.X. Phan March 2009 Computer and Information Science University of Pennsylvania 1 Previous Lecture General concepts of the performance
More informationAutomated Software Synthesis for Complex Robotic Systems
Automated Software Synthesis for Complex Robotic Systems Indranil Saha Department of Computer Science and Engineering Indian Institute of Technology Kanpur Indranil Saha Automated Software Synthesis for
More informationOptimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling
The 39th IEEE Real-Time Systems Symposium (RTSS 18) Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling Shamit Bansal, Yecheng Zhao, Haibo Zeng,
More informationCORBA in the Time-Triggered Architecture
1 CORBA in the Time-Triggered Architecture H. Kopetz TU Wien July 2003 Outline 2 Hard Real-Time Computing Event and State Messages The Time Triggered Architecture The Marriage of CORBA with the TTA Conclusion
More informationSoftware verification for ubiquitous computing
Software verification for ubiquitous computing Marta Kwiatkowska Computing Laboratory, University of Oxford QA 09, Grenoble, June 2009 Software everywhere Electronic devices, ever smaller Laptops, phones,
More informationReal-Time Mixed-Criticality Wormhole Networks
eal-time Mixed-Criticality Wormhole Networks Leandro Soares Indrusiak eal-time Systems Group Department of Computer Science University of York United Kingdom eal-time Systems Group 1 Outline Wormhole Networks
More informationProbabilistic Worst-Case Response-Time Analysis for the Controller Area Network
Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network Thomas Nolte, Hans Hansson, and Christer Norström Mälardalen Real-Time Research Centre Department of Computer Engineering
More informationMiddleware for Embedded Adaptive Dependability (MEAD)
Middleware for Embedded Adaptive Dependability (MEAD) Real-Time Fault-Tolerant Middleware Support Priya Narasimhan Assistant Professor of ECE and CS Carnegie Mellon University Pittsburgh, PA 15213-3890
More informationMethods and Tools for Embedded Distributed System Timing and Safety Analysis. Steve Vestal Honeywell Labs
Methods and Tools for Embedded Distributed System Timing and Safety Analysis Steve Vestal Honeywell Labs Steve.Vestal@Honeywell.com 5 April 2006 Outline Preliminary Comments Timing and Resource Utilization
More informationREDUCING CERTIFICATION GRANULARITY TO INCREASE ADAPTABILITY OF AVIONICS SOFTWARE
REDUCING CERTIFICATION GRANULARITY TO INCREASE ADAPTABILITY OF AVIONICS SOFTWARE Martin Rayrole, David Faura, Marc Gatti, Thales Avionics, Meudon la Forêt, France Abstract A strong certification process
More informationJoint Entity Resolution
Joint Entity Resolution Steven Euijong Whang, Hector Garcia-Molina Computer Science Department, Stanford University 353 Serra Mall, Stanford, CA 94305, USA {swhang, hector}@cs.stanford.edu No Institute
More informationAlgorithm and Library Software Design Challenges for Tera, Peta, and Future Exascale Computing
Algorithm and Library Software Design Challenges for Tera, Peta, and Future Exascale Computing Bo Kågström Department of Computing Science and High Performance Computing Center North (HPC2N) Umeå University,
More informationApplying CORBA to embedded time-triggered real-time systems. S. Aslam-Mir (Sam) Principal CORBA Architect Vertel USA
Applying CORBA to embedded time-triggered real-time systems S. Aslam-Mir (Sam) Principal CORBA Architect Vertel USA sam@vertel.com Synopsis! Motivation Time Triggered vs Event Triggered! Real-time CORBA
More informationMulti-Epoch Scheduling Within the Real-Time Execution Performance Agent Framework
Multi-Epoch Scheduling Within the Real-Time Execution Performance Agent Framework Sam Siewert siewerts@thinker.colorado.edu Department of Computer Science University of Colorado, Boulder, CO 80309-0520
More informationPTIDES: A Discrete-Event-Based Programming Model for Distributed Embedded Systems
PTIDES: A Discrete-Event-Based Programming Model for Distributed Embedded Systems John C. Eidson Edward A. Lee Slobodan Matic Sanjit A. Seshia Jia Zou UC Berkeley Tutorial on Modeling and Analyzing Real-Time
More informationDesign and Analysis of Time-Critical Systems Introduction
Design and Analysis of Time-Critical Systems Introduction Jan Reineke @ saarland university ACACES Summer School 2017 Fiuggi, Italy computer science Structure of this Course 2. How are they implemented?
More informationIntroduction to Embedded Systems
Introduction to Embedded Systems Sanjit A. Seshia UC Berkeley EECS 9/9A Fall 0 008-0: E. A. Lee, A. L. Sangiovanni-Vincentelli, S. A. Seshia. All rights reserved. Chapter : Operating Systems, Microkernels,
More informationPROBABILISTIC SCHEDULING MICHAEL ROITZSCH
Faculty of Computer Science Institute of Systems Architecture, Operating Systems Group PROBABILISTIC SCHEDULING MICHAEL ROITZSCH DESKTOP REAL-TIME 2 PROBLEM worst case execution time (WCET) largely exceeds
More informationTowards a European Strategy for Cyber Physical Systems
Towards a European Strategy for Cyber Physical Systems Concertation Workshop on Mixed Criticality Systems and Multicore Distributed REal time Architecture for Mixed criticality Systems (DREAMS) Roman Obermaisser
More informationTowards a Runtime Verification Framework for the Ada Programming Language
Towards a Runtime Verification Framework for the Ada Programming Language André de Matos Pedro, David Pereira, Luís Miguel Pinho CISTER & INESC-TEC, ISEP, Porto, Portugal {anmap,dmrpe,lmp}@isep.ipp.pt
More informationState of Practice. Automatic Verification of Embedded Control Software with ASTRÉE and beyond
Automatic Verification of Embedded Control Software with ASTRÉE and beyond Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics, MIT cousot mit edu www.mit.edu/~cousot
More informationOVERHEADS ENHANCEMENT IN MUTIPLE PROCESSING SYSTEMS BY ANURAG REDDY GANKAT KARTHIK REDDY AKKATI
CMPE 655- MULTIPLE PROCESSOR SYSTEMS OVERHEADS ENHANCEMENT IN MUTIPLE PROCESSING SYSTEMS BY ANURAG REDDY GANKAT KARTHIK REDDY AKKATI What is MULTI PROCESSING?? Multiprocessing is the coordinated processing
More informationUsing Hybrid Automata for Early Spacecraft Design Evaluation
Seminar Operating Systems: Winter Semester 18/19 Using Hybrid Automata for Early Spacecraft Design Evaluation Jafar Akhundov Motivation Motivation: Spacecraft Modelling Gaia - mission to chart a 3d-map
More informationLocal-Deadline Assignment for Distributed Real-Time Systems
Local-Deadline Assignment for Distributed Real-Time Systems Shengyan Hong, Thidapat Chantem, Member, IEEE, and Xiaobo Sharon Hu, Senior Member, IEEE Abstract In a distributed real-time system (DRTS), jobs
More informationModeling and Analysis of Distributed Control Networks
Modeling and Analysis of Distributed Control Networks Rajeev Alur, Alessandro D Innocenzo, Gera Weiss, George J. Pappas PRECISE Center for Embedded Systems University of Pennsylvania Motivation ( ) ( )
More informationTowards Transactional Memory for Safety-Critical Embedded Systems
Towards Transactional Memory for Safety-Critical Embedded Systems Stefan Metzlaff, Sebastian Weis, and Theo Ungerer Department of Computer Science, University of Augsburg, Germany Euro-TM Workshop on Transactional
More informationEnergy-aware Scheduling for Frame-based Tasks on Heterogeneous Multiprocessor Platforms
Energy-aware Scheduling for Frame-based Tasks on Heterogeneous Multiprocessor Platforms Dawei Li and Jie Wu Department of Computer and Information Sciences Temple University Philadelphia, USA {dawei.li,
More informationTime-Triggered Ethernet
Time-Triggered Ethernet Chapters 42 in the Textbook Professor: HONGWEI ZHANG CSC8260 Winter 2016 Presented By: Priyank Baxi (fr0630) fr0630@wayne.edu Outline History Overview TTEthernet Traffic Classes
More informationDesigning a Compositional Real-Time Operating System. Christoph Kirsch Universität Salzburg
Designing a Compositional Real-Time Operating System Christoph Kirsch Universität Salzburg ARTIST Summer School Shanghai July 2008 tiptoe.cs.uni-salzburg.at # Silviu Craciunas* (Programming Model) Hannes
More informationRT#Xen:(Real#Time( Virtualiza2on(for(the(Cloud( Chenyang(Lu( Cyber-Physical(Systems(Laboratory( Department(of(Computer(Science(and(Engineering(
RT#Xen:(Real#Time( Virtualiza2on(for(the(Cloud( Chenyang(Lu( Cyber-Physical(Systems(Laboratory( Department(of(Computer(Science(and(Engineering( Real#Time(Virtualiza2on(! Cars are becoming real-time mini-clouds!!
More informationHeckaton. SQL Server's Memory Optimized OLTP Engine
Heckaton SQL Server's Memory Optimized OLTP Engine Agenda Introduction to Hekaton Design Consideration High Level Architecture Storage and Indexing Query Processing Transaction Management Transaction Durability
More informationOn the Homogeneous Multiprocessor Virtual Machine Partitioning Problem
On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem Stefan Groesbrink Design of Distributed Embedded Systems, Heinz Nixdorf Institute University of Paderborn Fuerstenallee 11, 33102
More informationVerified Switched Control System Design using Real- Time Hybrid Systems Reachability
Verified Switched Control System Design using Real- Time Hybrid Systems Reachability Stanley Bak, Taylor Johnson, Marco Caccamo, Lui Sha Air Force Research Lab Information Directorate Rome, NY 1 Cyber-Physical
More informationThe Embedded Systems Design Challenge. EPFL Verimag
The Embedded Systems Design Challenge Tom Henzinger Joseph Sifakis EPFL Verimag Formal Methods: A Tale of Two Cultures Engineering Computer Science Differential Equations Linear Algebra Probability Theory
More informationSafety-critical embedded systems, fault-tolerant control systems, fault detection, fault localization and isolation
Fault detection in safety-critical embedded systems nomen VERBER i, MA TJAl COLNARIC i, AND WOLFGANG A. HALANG 2 JUniversity of Maribor, Faculty of Electrical Engineering and Computer Science, 2000 Maribor,
More informationDistributed IMA with TTEthernet
Distributed IMA with thernet ARINC 653 Integration of thernet Georg Gaderer, Product Manager Georg.Gaderer@tttech.com October 30, 2012 Copyright TTTech Computertechnik AG. All rights reserved. Introduction
More informationMulti-Mode Virtualization for Soft Real-Time Systems
Multi-Mode Virtualization for Soft Real-Time Systems Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher Gill, Linh Phan, Insup Lee, Oleg Sokolsky Washington University in St. Louis, University of Pennsylvania
More informationIntroduction to Real-time Systems. Advanced Operating Systems (M) Lecture 2
Introduction to Real-time Systems Advanced Operating Systems (M) Lecture 2 Introduction to Real-time Systems Real-time systems deliver services while meeting some timing constraints Not necessarily fast,
More informationFunctionality assignment to partitioned multi-core architectures
Functionality assignment to partitioned multi-core architectures Florin Maticu Technical University of Denmark (DTU) Outline Safety-critical real-time systems Motivation Problem formulation Mapping tool
More informationStatic Analysis by A. I. of Embedded Critical Software
Static Analysis by Abstract Interpretation of Embedded Critical Software Julien Bertrane ENS, Julien.bertrane@ens.fr Patrick Cousot ENS & CIMS, Patrick.Cousot@ens.fr Radhia Cousot CNRS & ENS, Radhia.Cousot@ens.fr
More informationAUTOBEST: A microkernel-based system (not only) for automotive applications. Marc Bommert, Alexander Züpke, Robert Kaiser.
AUTOBEST: A microkernel-based system (not only) for automotive applications Marc Bommert, Alexander Züpke, Robert Kaiser vorname.name@hs-rm.de Outline Motivation AUTOSAR ARINC 653 AUTOBEST Architecture
More informationStateful Real-Time Communication Schedules
Rishi Bhat bhatr@seas.upenn.edu Chris Walstad cwalstad@seas.upenn.edu Advisor: Insup Lee lee@cis.upenn.edu Stateful Real-Time Communication Schedules Abstract The typical approach to guaranteed message
More informationCONTENTION IN MULTICORE HARDWARE SHARED RESOURCES: UNDERSTANDING OF THE STATE OF THE ART
CONTENTION IN MULTICORE HARDWARE SHARED RESOURCES: UNDERSTANDING OF THE STATE OF THE ART Gabriel Fernandez 1, Jaume Abella 2, Eduardo Quiñones 2, Christine Rochange 3, Tullio Vardanega 4 and Francisco
More informationIBM ^ iseries Logical Partition Isolation and Integrity
June 2002 IBM ^ iseries Logical Partition Isolation and Integrity Dave Boutcher IBM Corporation boutcher@us.ibm.com Version 1.0 Page 1 Introduction The purpose of this document is to provide information
More informationDistributed Systems Fault Tolerance
Distributed Systems Fault Tolerance [] Fault Tolerance. Basic concepts - terminology. Process resilience groups and failure masking 3. Reliable communication reliable client-server communication reliable
More informationAlexandre Esper, Geoffrey Nelissen, Vincent Nélis, Eduardo Tovar
Alexandre Esper, Geoffrey Nelissen, Vincent Nélis, Eduardo Tovar Current status MC model gradually gaining in sophistication Current status MC model gradually gaining in sophistication Issue Safety-related
More informationAutomatic Selection of Feasibility Tests With the Use of AADL Design Patterns
Automatic Selection of Feasibility Tests With the Use of AADL Design Patterns V. Gaudel, F. Singhoff, A. Plantec, S. Rubini P. Dissaux*, J. Legrand* University of Brest/UBO, LISyC, France *Ellidiss Technologies,
More informationCompositionality in system design: interfaces everywhere! UC Berkeley
Compositionality in system design: interfaces everywhere! Stavros Tripakis UC Berkeley DREAMS Seminar, Mar 2013 Computers as parts of cyber physical systems cyber-physical ~98% of the world s processors
More informationPartitioned Model for Space Applications (IMA 4 space)
Partitioned Model for Space Applications (IMA 4 space) Ismael Ripoll, Vicente Brocal, Miguel Masmano Santander, Feb, 2011 Contents 1.Introduction 2.Reference platform 3.Problem domain 4.Model 5.Open issues
More informationGiotto Domain. 5.1 Introduction. 5.2 Using Giotto. Edward Lee Christoph Kirsch
Chapter 5 from: C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, H. Zheng "Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains)," Technical Memorandum UCB/ERL M04/17,
More informationSystems. Roland Kammerer. 10. November Institute of Computer Engineering Vienna University of Technology. Communication Protocols for Embedded
Communication Roland Institute of Computer Engineering Vienna University of Technology 10. November 2010 Overview 1. Definition of a protocol 2. Protocol properties 3. Basic Principles 4. system communication
More informationFault tolerant scheduling in real time systems
tolerant scheduling in real time systems Afrin Shafiuddin Department of Electrical and Computer Engineering University of Wisconsin-Madison shafiuddin@wisc.edu Swetha Srinivasan Department of Electrical
More informationReal-time HOOD. Analysis and Design of Embedded Systems and OO* Object-oriented Programming Jan Bendtsen Automation and Control
Real-time HOOD Analysis and Design of Embedded Systems and OO* Object-oriented Programming Jan Bendtsen Automation and Control Structure (slightly modified) OO & UML Java basics Java Polym. Java Events
More informationA Data-Centric Approach for Modular Assurance Abstract. Keywords: 1 Introduction
A Data-Centric Approach for Modular Assurance Gabriela F. Ciocarlie, Heidi Schubert and Rose Wahlin Real-Time Innovations, Inc. {gabriela, heidi, rose}@rti.com Abstract. A mixed-criticality system is one
More informationCS4514 Real-Time Systems and Modeling
CS4514 Real-Time Systems and Modeling Fall 2015 José M. Garrido Department of Computer Science College of Computing and Software Engineering Kennesaw State University Real-Time Systems RTS are computer
More informationModule 10 MULTIMEDIA SYNCHRONIZATION
Module 10 MULTIMEDIA SYNCHRONIZATION Lesson 36 Packet architectures and audio-video interleaving Instructional objectives At the end of this lesson, the students should be able to: 1. Show the packet architecture
More informationMC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding
www.bsc.es MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding Enrique Díaz¹,², Mikel Fernández¹, Leonidas Kosmidis¹, Enrico Mezzetti¹, Carles Hernandez¹, Jaume Abella¹,
More informationSystem-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex)
System-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex) AADL Standards Meeting June 6., 2011 Jean-Pierre Talpin, INRIA Parts of this presentation are joint work with Paul,
More informationDistributed Systems (ICE 601) Fault Tolerance
Distributed Systems (ICE 601) Fault Tolerance Dongman Lee ICU Introduction Failure Model Fault Tolerance Models state machine primary-backup Class Overview Introduction Dependability availability reliability
More information