Pattern-Based Analysis of an Embedded Real-Time System Architecture
|
|
- Jody Harris
- 6 years ago
- Views:
Transcription
1 Pattern-Based Analysis of an Embedded Real-Time System Architecture Peter Feiler Software Engineering Institute Outline Introduction to SAE AADL Standard The case study Towards preemptive scheduling Partition scheduling End-to-end flows System redundancy 2
2 SAE Architecture Analysis & Design Language Notation for specification of task and communication architectures of Real-time, Embedded, Fault-tolerant, Secure, Safety-critical, Software-intensive systems Fields of application: Avionics, Automotive, Aerospace, Autonomous systems, Based on 15 Years of DARPA funded technologies Standard approved by SAE in Sept AADL-Based System Engineering System Analysis Schedulability Performance Reliability Fault Tolerance Dynamic Configurability Model the Architecture Abstract, but Precise Automatic Target Recognition Guidance & Control Supply Chain Mechanized Composable Components Sensor Ambulatory & Signal Application Software Information Fusion Software System Engineer System Integration Runtime System Generation Application Composition System Configuration Execution Platform Predictive System Engineering Reduced Development & Operational Cost GPS DB HTTPS Ada Runtime Devices Memory Bus Processor 4
3 Outline Introduction to SAE AADL Standard The case study Towards preemptive scheduling Partition scheduling End-to-end flows System redundancy 5 AADL-Based Pattern Analysis SAE AADL employs Components with precisely defined execution semantics Explicit component interactions Separation of concerns Pattern-based architecture analysis approach Uses design patterns in analysis Identifies systemic problems early Enables the right choices with confidence Provides analysis-based decisions 6
4 Avionics Systems Embedded avionics system designs are evolving to From federated to integrated systems From static timelines to predictable preemptive scheduling Deterministic signal stream processing Efficient execution and footprint Fault tolerance & reconfiguration Towards extensible system architectures There are distinct perspectives in the design control and domain engineers application software engineers system software engineers 7 Avionics Subsystem Architecture Display Observation: No direct connection between flight director and page content manager Warning Annunciation Page Content Flight Flight Director Situation Awareness Weapons Comm. Nav Radio 1553 Access GPS 8
5 Outline Introduction to SAE AADL Standard The case study Towards preemptive scheduling Partition scheduling End-to-end flows System redundancy 9 From other Partitions A Cyclic Executive Implementation Switch clock mod Hyperperiod Case : call PIO call NSP call GP Case 2*: -- 10Hz call PIO call NSP call IN call GP Case 3*:... Case 4*: -- 5Hz 1 Periodic I/O 2 Navigation Sensor 3 10Hz Integrated Navigation Shared data area 4 Guidance 5 5Hz Flight Plan Cyclic callout implementation To other Partitions 6 2Hz Aircraft Performance Calculation 10
6 From other Partitions Interface to message-based communication A Naïve Thread-based Design Pr 2 Navigation Sensor Pr 1 Periodic I/O Pr 3 10Hz Integrated Navigation Fixed-priority threads Shared data area Pr 4 Guidance Pr 6 5Hz Flight Plan Priority assignment by developer To other Partitions Pr 9 2Hz Aircraft Performance Calculation Decreasing Priority 11 Design Decisions Taken Shared variable communication within partition Achieve efficient resource utilization Accommodate legacy code Preemptive fixed-priority thread scheduling Used Schedulability analysis (RMA) to confirm schedulability Benefit of more flexible system and efficient resource usage Priority assignment for precedence ordering to achieve desired flow Needed because of shared data communication Results in potential priority inversion and non-deterministic communication 12
7 Flight in AADL From Partitions Nav signal data Navigation Sensor Nav sensor data Nav sensor data Integrated Navigation 10Hz Nav data Phase delay of Periodic I/O Guidance Guidance To Partitions 5Hz Flight Plan FP data Fuel Flow FP data Nav data 2Hz Aircraft Performance Calculation Performance data 13 SAE AADL & Control Supports mid-frame communication & single sample delay Shows application rates & desired phase delay explicitly Focus on what communication is desired, not how it is implemented Assures deterministic communication when desired Support efficient communication implementation Does not prescribe scheduling protocol Supports schedulability analysis Opens dialogue between control engineers and software system engineers regarding performance tradeoffs 14
8 Outline Introduction to SAE AADL Standard The case study Towards preemptive scheduling Partition scheduling End-to-end flows System redundancy 15 The Partition Concept Found in ARINC 653 Runtime protected address space A virtual processor scheduled on a static timeline Contained threads (ARINC processes) are scheduled within the bounds of a scheduled partition Different partitions can use different thread scheduling protocols Communication of queued and unqueued data Inter vs. intra partition communication 16
9 Partition Order Side Effects Partition communication via send/receive Partition A T1 T2 Partition B T3 T4 T1 T2 T3 T4 T1 T2 T3 T4 t 0 Partition A t 1 t 2 Partition B Partition A Partition B 17 Partitioned System Design in AADL Partition as a core AADL extension Focus on partition order isolation Delayed connections insensitive to partition order Delayed connections insensitive to partition concurrency Delayed connections contribute to latency Focus on latency Immediate connections reduce latency Immediate connections constrain partition order Immediate connection cycles Detectable by analysis Direct cycle: P A.T1 -> P B.T2 -> P A.T3 Pair-wise cyclic: P A.T1 -> P B.T2 & P B.T4 -> P A.T3 Focus on flexibility Acceptable variation in phase delay Document as property 18
10 Outline Introduction to SAE AADL Standard The case study Towards preemptive scheduling Partition scheduling End-to-end flows System redundancy 19 Connection Patterns Connection sequences Pipeline, flow Connection tree Analyzable in AADL Branching flow Different endpoint latencies Directed acyclic graph (DAG) Flow with merge points Phase delay difference of branches at merge point Effects of phase delay oscillation in non-deterministic case Cyclic connections Feedback control, action/observation Phase delay breaks cycle 20
11 Flow Specification in AADL pt1 System S1 flow path F1 flow path F2 pt2 pt3 Flow Specification flow path F1: pt1 -> pt2 flow path F2: pt1 -> pt3 pt1 System implementation S1.impl C1 flow path F5 Process P2 pt2 Connection C3 flow path F7 C5 pt3 Process P1 Flow Implementation flow path F1: pt1 -> C1 -> P2.F5 -> C3 -> P1.F7 -> C5 -> pt2 21 Flight Director Command Flow Cockpit Display Request for new page Display New page content Page Content Flight Flight Director 22
12 Data Stream Latency Analysis Flow specifications in AADL Properties on flows: expected & actual end-to-end latency Properties on ports: expected incoming & end latency End-to-end latency contributors Delayed connections result in sampling latency Immediate periodic & aperiodic sequences result in cumulative execution time latency Phase delay shift & oscillation Potential hazard Noticeable at flow merge points Variation interpreted as noisy signal to controller Latency calculation & jitter accumulation 23 Other Flow Characteristics Miss rate of data stream Accommodates incomplete sensor readings Allows for controlled deadline misses State vs. state delta communication Data reduction technique Implies requirement for guaranteed delivery Data accuracy Reading accuracy Computational error accumulation Message acknowledgment semantics In terms of flow steps 24
13 Outline Introduction to SAE AADL Standard The case study Towards preemptive scheduling Partition scheduling End-to-end flows System redundancy 25 System Redundancy DM DM DM DM WAM WAM WAM WAM PCM Typical chart PCM High High speed speed bus bus FM SA CM CM FD FD FM WM SA CM WM bus bus 26
14 Redundancy Specification Redundancy abstraction Co-location constraints on execution platform binding 2X SS X MFD DM1 WM WAM FM MFD DM2 SS2 SA 2X PCM 2X MFD DM3 CM FD Redundancy characteristics as properties MFD DM4 27 Primary/Backup Patterns Passive Backup CSS1 Primary SS1.1 SS1.2 CSS1 Backup SS1.1 SS1.2 Hot Standby CSS1 Primary SS1.1 SS1.2 CSS1 Backup SS1.1 SS1.2 Continuous State Exchange CSS1 SS1.1 State SS1.2 Voted Output SS1.1 CSS1 SS1.2 SS1.3 28
15 Primary Backup Synchronization External and internal mode control Errors reported as events Supports reasoning about Primary/Backup logic Primary WAM Init/restart Primary Primaryfail Backup Mode state Primaryok init Backu p WAM state Observer 29 Observations On System Redundancy Redundancy as an abstraction Multiple redundant instances Grouping of redundant instances Redundancy protocol selection Deployment constraints Redundancy mechanism as pattern An orthogonal architecture view Nominal & anomalous behavior Modeling of redundancy logic Understandable and analyzable 30
16 Final Observations We demonstrated a pattern-based analysis approach Use of SAE AADL as notation for capturing architecture patterns in actual systems Early identification of systemic issues thanks to precise execution semantics of SAE AADL Full scale architecture modeling and analysis provides prediction and validation of non-functional properties 31
Investigation 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 informationModel-Based Embedded System Engineering & Analysis of Performance-Critical Systems
Sponsored by the U.S. Department of Defense 2005, 2006 by Carnegie Mellon University Model-Based Embedded System Engineering & Analysis of Performance-Critical Systems Peter H. Feiler Jan 2007 1 page 1
More informationImpact of Runtime Architectures on Control System Stability
Impact of Runtime Architectures on Control System Stability P. Feiler, J. Hansson Software Engineering Institute, Pittsburgh, PA Abstract: Control systems are sensitive to the endto-end latency and age
More informationThe SAE Architecture Analysis and Description Language (AADL) Standard: A Basis for Architecture- Driven Embedded Systems Engineering
The SAE Architecture Analysis and Description Language (AADL) Standard: A Basis for Architecture- Driven Embedded Systems Engineering DSN 2006 Workshop on Architecting Dependable Systems (WADS) 27 June
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 informationFlow Latency Analysis with the Architecture Analysis and Design Language (AADL)
Flow Latency Analysis with the Architecture Analysis and Design Language (AADL) Peter Feiler Jőrgen Hansson December 2007 TECHNICAL NOTE CMU/SEI-2007-TN-010 Performance-Critical Systems Initiative Unlimited
More informationModeling the Implementation of Stated-Based System Architectures
Modeling the Implementation of Stated-Based System Architectures Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Peter H Feiler June 2009 Are Everywhere What is a state-based
More informationCSSE 490 Model-Based Software Engineering: Architecture Description Languages (ADL)
CSSE 490 Model-Based Software Engineering: Architecture Description Languages (ADL) Shawn Bohner Office: Moench Room F212 Phone: (812) 877-8685 Email: bohner@rose-hulman.edu Learning Outcomes: MBE Discipline
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 informationArchitecture Description Languages. Peter H. Feiler 1, Bruce Lewis 2, Steve Vestal 3 and Ed Colbert 4
Architecture Description Languages An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering Peter H. Feiler
More informationMixed Critical Architecture Requirements (MCAR)
Superior Products Through Innovation Approved for Public Release; distribution is unlimited. (PIRA AER200905019) Mixed Critical Architecture Requirements (MCAR) Copyright 2009 Lockheed Martin Corporation
More informationThe SAE AADL Standard - An Architecture Analysis & Design Language for Embedded Real-Time Systems
The SAE AADL Standard - An Architecture Analysis & Design Language for Embedded Real-Time Systems Peter Feiler Technical lead, editor Software Engineering Institute phf@sei.cmu.edu 412-268-7790 Ed Colbert
More informationxuml, AADL and Beyond
xuml and AADL xuml, AADL and Beyond Chris Raistrick www.kc.com xuml and AADL xuml Overview Chris Raistrick www.kc.com Platform Independent Model A Platform Independent Model (PIM) is a technology agnostic
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 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 informationOverall Structure of RT Systems
Course Outline Introduction Characteristics of RTS Real Time Operating Systems (RTOS) OS support: scheduling, resource handling Real Time Programming Languages Language support, e.g. Ada tasking Scheduling
More informationError Model Annex Revision
Error Model Annex Revision Peter H Feiler phf@sei.cmu.edu Jan 2011 Goal A core set of reliability concepts and error types Interaction of systems with nominal behavior and threats in the form of defects,
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 informationData Model Considerations for Radar Systems
WHITEPAPER Data Model Considerations for Radar Systems Executive Summary The market demands that today s radar systems be designed to keep up with a rapidly changing threat environment, adapt to new technologies,
More informationSAE AADL Error Model Annex: Discussion Items
SAE AADL Error Model Annex: Discussion Items Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Peter Feiler phf@sei.cmu.edu April 2012 Sponsored by the U.S. Department of Defense
More informationAn Information Model for High-Integrity Real Time Systems
An Information Model for High-Integrity Real Time Systems Alek Radjenovic, Richard Paige, Philippa Conmy, Malcolm Wallace, and John McDermid High-Integrity Systems Group, Department of Computer Science,
More informationARINC653 annex: examples
ARINC653 annex: examples Julien Delange Laurent Pautet Peter Feiler 10/11/09 Better understanding of ARINC653 systems Help to understand ARINC653 architectures
More informationPlatform modeling and allocation
Platform modeling and allocation Systems Engineering BSc Course Budapest University of Technology and Economics Department of Measurement and Information Systems Traceability Platform-based systems design
More informationA Multi-Modal Composability Framework for Cyber-Physical Systems
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 Avionics, Automotive Medical Devices Cyber-physical
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 informationAnalytical Architecture Fault Models
Analytical Architecture Fault Models Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Peter H. Feiler Dec 4, 2012 Copyright 2012 Carnegie Mellon University and IEEE This material
More informationAn Encapsulated Communication System for Integrated Architectures
An Encapsulated Communication System for Integrated Architectures Architectural Support for Temporal Composability Roman Obermaisser Overview Introduction Federated and Integrated Architectures DECOS Architecture
More informationOSATE Analysis Support
OSATE Analysis Support Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Julien Delange/Peter Feiler 07/08/2013 Overview of OSATE2 Eclipse-based AADL editor Support for AADLv2.1,
More informationSAE AS5643 and IEEE1394 Deliver Flexible Deterministic Solution for Aerospace and Defense Applications
SAE AS5643 and IEEE1394 Deliver Flexible Deterministic Solution for Aerospace and Defense Applications Richard Mourn, Dap USA Inc. AS5643 coupled with IEEE-1394 Asynchronous Stream capability provides
More informationEuropean Component Oriented Architecture (ECOA ) Collaboration Programme: Architecture Specification Part 2: Definitions
European Component Oriented Architecture (ECOA ) Collaboration Programme: Part 2: Definitions BAE Ref No: IAWG-ECOA-TR-012 Dassault Ref No: DGT 144487-D Issue: 4 Prepared by BAE Systems (Operations) Limited
More informationAnalysis and Design Language (AADL) for Quantitative System Reliability and Availability Modeling
Application of the Architectural Analysis and Design Language (AADL) for Quantitative System Reliability and Availability Modeling Chris Vogl, Myron Hecht, and Alex Lam Presented to System and Software
More informationEvaluation of numerical bus systems used in rocket engine test facilities
www.dlr.de Chart 1 > Numerical bus systems > V. Schmidt 8971_151277.pptx > 13.06.2013 Evaluation of numerical bus systems used in rocket engine test facilities Volker Schmidt Pavel Georgiev Harald Horn
More informationCommunication Networks for the Next-Generation Vehicles
Communication Networks for the, Ph.D. Electrical and Computer Engg. Dept. Wayne State University Detroit MI 48202 (313) 577-3855, smahmud@eng.wayne.edu January 13, 2005 4 th Annual Winter Workshop U.S.
More informationModel-Based Engineering with AADL: An Overview
Model-Based Engineering with AADL: An Overview Peter Feiler phf@sei.cmu.edu Outline AADL: The Language What s New in AADL V2 Modeling with AADL 2 AADL: Components and Connections Properties standard user
More informationComplexity-Reducing Design Patterns for Cyber-Physical Systems. DARPA META Project. AADL Standards Meeting January 2011 Steven P.
Complexity-Reducing Design Patterns for Cyber-Physical Systems DARPA META Project AADL Standards Meeting 24-27 January 2011 Steven P. Miller Delivered to the Government in Accordance with Contract FA8650-10-C-7081
More informationEmbedded Systems. 6. Real-Time Operating Systems
Embedded Systems 6. Real-Time Operating Systems Lothar Thiele 6-1 Contents of Course 1. Embedded Systems Introduction 2. Software Introduction 7. System Components 10. Models 3. Real-Time Models 4. Periodic/Aperiodic
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 informationPrecedence Graphs Revisited (Again)
Precedence Graphs Revisited (Again) [i,i+6) [i+6,i+12) T 2 [i,i+6) [i+6,i+12) T 3 [i,i+2) [i+2,i+4) [i+4,i+6) [i+6,i+8) T 4 [i,i+1) [i+1,i+2) [i+2,i+3) [i+3,i+4) [i+4,i+5) [i+5,i+6) [i+6,i+7) T 5 [i,i+1)
More informationGreen Hills Software, Inc.
Green Hills Software, Inc. A Safe Tasking Approach to Ada95 Jim Gleason Engineering Manager Ada Products 5.0-1 Overview Multiple approaches to safe tasking with Ada95 No Tasking - SPARK Ada95 Restricted
More informationFrom MDD back to basic: Building DRE systems
From MDD back to basic: Building DRE systems, ENST MDx in software engineering Models are everywhere in engineering, and now in software engineering MD[A, D, E] aims at easing the construction of systems
More informationCommunication in Avionics
Communication in Avionics 1 Outline Basic Overview Communication architectures Event Triggered Time Triggered Communication architecture examples Case Study: How Data Communication Affects Scheduling 2
More informationEfficient Embedded Runtime Systems through Port Communication Optimization
13th IEEE International Conference on Engineering of Complex Computer Sstems Efficient Embedded Runtime Sstems through Port Communication Optimization Peter H. Feiler Software Engineering Institute, Carnegie
More informationIntroduction to AADL analysis and modeling with FACE Units of Conformance
Introduction to AADL analysis and modeling with FACE Units of Conformance AMRDEC Aviation Applied Technology Directorate Contract Number W911W6-17- D-0003 Delivery Order 3 This material is based upon work
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 informationEvolving the CORBA standard to support new distributed real-time and embedded systems
Evolving the CORBA standard to support new distributed real-time and embedded systems Tom Bracewell Senior Principal Software Engineer Raytheon Integrated Defense Systems Sudbury, MA. / (978) 440-2539
More informationModel-Based Development of Embedded Real-Time Systems
Model-Based Development of Embedded Real-Time Systems Raj Rajkumar with Dionisio de Niz Real-Time and Multimedia Systems Laboratory Carnegie Mellon University raj@ece.cmu.edu http://www.ece.cmu.edu/~raj
More informationTools for Formally Reasoning about Systems. June Prepared by Lucas Wagner
Tools for Formally Reasoning about Systems June 9 2015 Prepared by Lucas Wagner 2015 Rockwell 2015 Collins. Rockwell All Collins. rights reserved. All rights reserved. Complex systems are getting more
More informationReal-Time Systems 1. Basic Concepts
Real-Time Systems 1 Basic Concepts Typical RTS 2 Example: Car 3 Mission: Reaching the destination safely. Controlled System: Car. Operating environment: Road conditions and other cars. Controlling System
More informationSyllabus Instructors:
Introduction to Real-Time Systems Embedded Real-Time Software Lecture 1 Syllabus Instructors: Dongsoo S. Kim Office : Room 83345 (031-299-4642) E-mail : dskim@iupui.edu Office Hours: by appointment 2 Syllabus
More informationTraditional Approaches to Modeling
Traditional Approaches to Modeling Timeliness, Performance and How They Relate to Modeling, Architecture and Design Mark S. Gerhardt Chief Architect Pittsburgh, PA 15213 Levels of Real Time Performance
More information1. INTRODUCTION. four years and by 2014 the cost of 27M SLOC of software is estimated to exceed $10B (see Figure 1).
Model-Based Validation of Safety-Critical Embedded Systems Peter H. Feiler Software Engineering Institute Carnegie Mellon University 4500 Fifth Ave Pittsburgh, PA 15213 412-268-7790 phf@sei.cmu.edu Abstract
More informationARINC653 toolset: Ocarina, Cheddar and POK
ARINC653 toolset: Ocarina, Cheddar and POK Julien Delange Laurent Pautet 09/11/09 Context ARINC653 systems Layered architecture Enforce isolation across partitions High-integrity,
More informationARINC653 AADL Annex. Software Engineering Institute Carnegie Mellon University Pittsburgh, PA Julien Delange 07/08/2013
ARINC653 AADL Annex Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Julien Delange 07/08/2013 Context, Rationale ARINC653 Avionics standard Standardized API (called APEX
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 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 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 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 informationEnsuring Schedulability of Spacecraft Flight Software
Ensuring Schedulability of Spacecraft Flight Software Flight Software Workshop 7-9 November 2012 Marek Prochazka & Jorge Lopez Trescastro European Space Agency OUTLINE Introduction Current approach to
More informationArchitecture Modeling and Analysis for Embedded Systems
Architecture Modeling and Analysis for Embedded Systems Overview of AADL and related research activities in RTG Oleg Sokolsky September 19, 2008 Overview Background Architecture description languages Embedded
More informationExecutable AADL. Real Time Simulation of AADL Models. Pierre Dissaux 1, Olivier Marc 2.
Executable AADL Real Time Simulation of AADL Models Pierre Dissaux 1, Olivier Marc 2 1 Ellidiss Technologies, Brest, France. 2 Virtualys, Brest, France. pierre.dissaux@ellidiss.com olivier.marc@virtualys.com
More informationTime Triggered and Event Triggered; Off-line Scheduling
Time Triggered and Event Triggered; Off-line Scheduling Real-Time Architectures -TUe Gerhard Fohler 2004 Mälardalen University, Sweden gerhard.fohler@mdh.se Real-time: TT and ET Gerhard Fohler 2004 1 Activation
More informationNext-Generation Distributed Satellite Bus Information Systems
What s Coming on Spacecraft: Next-Generation Distributed Satellite Bus Information Systems L. H. Miller, M. M. Gorlick, D. L. Wangerin, C. A. Landauer The Aerospace Corporation 29 February 2012 The Aerospace
More informationDiagnosis in the Time-Triggered Architecture
TU Wien 1 Diagnosis in the Time-Triggered Architecture H. Kopetz June 2010 Embedded Systems 2 An Embedded System is a Cyber-Physical System (CPS) that consists of two subsystems: A physical subsystem the
More informationExam Review TexPoint fonts used in EMF.
Exam Review Generics Definitions: hard & soft real-time Task/message classification based on criticality and invocation behavior Why special performance measures for RTES? What s deadline and where is
More informationProgramming Languages for Real-Time Systems. LS 12, TU Dortmund
Programming Languages for Real-Time Systems Prof. Dr. Jian-Jia Chen LS 12, TU Dortmund 20 June 2016 Prof. Dr. Jian-Jia Chen (LS 12, TU Dortmund) 1 / 41 References Slides are based on Prof. Wang Yi, Prof.
More information02 - Distributed Systems
02 - Distributed Systems Definition Coulouris 1 (Dis)advantages Coulouris 2 Challenges Saltzer_84.pdf Models Physical Architectural Fundamental 2/58 Definition Distributed Systems Distributed System is
More information02 - Distributed Systems
02 - Distributed Systems Definition Coulouris 1 (Dis)advantages Coulouris 2 Challenges Saltzer_84.pdf Models Physical Architectural Fundamental 2/60 Definition Distributed Systems Distributed System is
More informationData Acquisition in High Speed Ethernet & Fibre Channel Avionics Systems
Data Acquisition in High Speed Ethernet & Fibre Channel Avionics Systems Troy Troshynski Avionics Interface Technologies (A Division of Teradyne) Omaha, NE U.S.A. troyt@aviftech.com http://www.aviftech.com/aggregator
More informationTime Handling in Programming Language
CSE 237B Fall 2009 Time Handling in Programming Language Rajesh Gupta University of California, San Diego System Characteristics Complexity in function (and in size) Concurrent control of separate components
More informationSE300 SWE Practices. Lecture 10 Introduction to Event- Driven Architectures. Tuesday, March 17, Sam Siewert
SE300 SWE Practices Lecture 10 Introduction to Event- Driven Architectures Tuesday, March 17, 2015 Sam Siewert Copyright {c} 2014 by the McGraw-Hill Companies, Inc. All rights Reserved. Four Common Types
More informationNetworked Control Systems for Manufacturing: Parameterization, Differentiation, Evaluation, and Application. Ling Wang
Networked Control Systems for Manufacturing: Parameterization, Differentiation, Evaluation, and Application Ling Wang ling.wang2@wayne.edu Outline Introduction Parameterization Differentiation Evaluation
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 informationMATLAB Expo Simulation Based Automotive Communication Design using MATLAB- SimEvent. Sudhakaran M Anand H General Motors
MATLAB Expo 2013 Simulation Based Automotive Communication Design using MATLAB- SimEvent Sudhakaran M Anand H General Motors 1 Agenda Introduction Different Analysis Methods Analytical vs. Simulation Approach
More informationDTU IMM. MSc Thesis. Analysis and Optimization of TTEthernet-based Safety Critical Embedded Systems. Radoslav Hristov Todorov s080990
DTU IMM MSc Thesis Analysis and Optimization of TTEthernet-based Safety Critical Embedded Systems Radoslav Hristov Todorov s080990 16-08-2010 Acknowledgements The work for this master thesis project continued
More informationTest and Evaluation of Autonomous Systems in a Model Based Engineering Context
Test and Evaluation of Autonomous Systems in a Model Based Engineering Context Raytheon Michael Nolan USAF AFRL Aaron Fifarek Jonathan Hoffman 3 March 2016 Copyright 2016. Unpublished Work. Raytheon Company.
More information6/20/2018 CS5386 SOFTWARE DESIGN & ARCHITECTURE LECTURE 5: ARCHITECTURAL VIEWS C&C STYLES. Outline for Today. Architecture views C&C Views
1 CS5386 SOFTWARE DESIGN & ARCHITECTURE LECTURE 5: ARCHITECTURAL VIEWS C&C STYLES Outline for Today 2 Architecture views C&C Views 1 Components and Connectors (C&C) Styles 3 Elements Relations Properties
More informationCHAPTER 8. Digital Data Bus Acquisition Formatting Standard
CHAPTER 8 Digital Data Bus Acquisition Formatting Standard Acronyms... 8-iii 8.1 General... 8-1 8.2 Word Structure... 8-1 8.2.1 Field Definition... 8-1 8.2.2 Most Significant Bit... 8-2 8.2.3 Bus/Group
More informationMultiple Views and Relationships for Quality Driven Architecture with AADL: A Multimodel for Software Product Lines
Multiple Views and Relationships for Quality Driven Architecture with AADL: A for Software Product Lines Emilio Insfran, Silvia Abrahão, Javier González Department of Information Systems and Computation
More informationAutomotive Challenges Addressed by Standard and Non-Standard Based IP D&R April 2018 Meredith Lucky VP of Sales, CAST, Inc.
Automotive Challenges Addressed by Standard and Non-Standard Based IP D&R April 2018 Meredith Lucky VP of Sales, CAST, Inc. Automotive Interface Controller Cores 1 Increasing Needs/New Challenges Outlook
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 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 informationRealizing Automated Driving Systems using Ethernet TSN and Adaptive AUTOSAR
Realizing Automated Driving Systems using Ethernet TSN and Adaptive AUTOSAR Prathap Venugopal, November 1-2, 2017 San Jose, CA, USA Agenda n Automated driving communication needs n Ethernet TSN standard
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 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 informationWhat are Embedded Systems? Lecture 1 Introduction to Embedded Systems & Software
What are Embedded Systems? 1 Lecture 1 Introduction to Embedded Systems & Software Roopa Rangaswami October 9, 2002 Embedded systems are computer systems that monitor, respond to, or control an external
More informationPOK. An ARINC653-compliant operating system released under the BSD licence. Julien Delange, European Space Agency
POK An ARINC653-compliant operating system released under the BSD licence Julien Delange, European Space Agency Laurent Lec, MakeMeReach Introduction Problems
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 informationCommunications Infrastructure for Fractionated Spacecraft
Communications Infrastructure for Fractionated Spacecraft Michael A. Koets, Mark Tapley, Buddy Walls, Jennifer Alvarez Southwest Research Institute Fractionated Spacecraft Replace monolithic satellite
More informationDeterministic Ethernet as Reliable Communication Infrastructure for Distributed Dependable Systems
Deterministic Ethernet as Reliable Communication Infrastructure for Distributed Dependable Systems DREAM Seminar UC Berkeley, January 21 st, 2014 Wilfried Steiner, Corporate Scientist wilfried.steiner@tttech.com
More informationMULTIPLEXER / DEMULTIPLEXER IMPLEMENTATION USING A CCSDS FORMAT
MULTIPLEXER / DEMULTIPLEXER IMPLEMENTATION USING A CCSDS FORMAT Item Type text; Proceedings Authors Grebe, David L. Publisher International Foundation for Telemetering Journal International Telemetering
More informationDeveloping Dependable Software-Intensive Systems: AADL vs. EAST-ADL
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL Andreas Johnsen and Kristina Lundqvist School of Innovation, Design and Engineering Mälardalen University Västerås, Sweden {andreas.johnsen,kristina.lundqvist}@mdh.se
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 informationMultithreaded Processors. Department of Electrical Engineering Stanford University
Lecture 12: Multithreaded Processors Department of Electrical Engineering Stanford University http://eeclass.stanford.edu/ee382a Lecture 12-1 The Big Picture Previous lectures: Core design for single-thread
More informationSensor Network Applications and In-Network Processing
EE360: Lecture 16 Outline Sensor Network Applications and In-Network Processing Announcements 2nd summary due today 12am (1 day extension possible) Project poster session March 15 5:30pm (3 rd floor Packard)
More informationWireless Sensor Networks. Application Domains. Crosslayer Protocol Design in Sensor Networks. Technology Thrusts. Wireless Sensor Networks
EE360: Lecture 16 Outline Sensor Network Applications and In-Network Processing Announcements 2nd summary due today 12am (1 day extension possible) Project poster session March 15 5:30pm (3 rd floor Packard)
More informationFlight Systems are Cyber-Physical Systems
Flight Systems are Cyber-Physical Systems Dr. Christopher Landauer Software Systems Analysis Department The Aerospace Corporation Computer Science Division / Software Engineering Subdivision 08 November
More informationSoftware Architecture. Lecture 4
Software Architecture Lecture 4 Last time We discussed tactics to achieve architecture qualities We briefly surveyed architectural styles 23-Jan-08 http://www.users.abo.fi/lpetre/sa08/ 2 Today We check
More informationESA ADCSS Deterministic Ethernet in Space Avionics
ESA ADCSS 2015 Deterministic Ethernet in Space Avionics Bülent Altan Strategic Advisor with Jean-Francois Dufour, Christian Fidi and Matthias Mäke-Kail Copyright TTTech Computertechnik AG. All rights reserved.
More informationCopyright 2018 Adventium Labs. 1
AADL ANNEX FOR THE FACE TECHNICAL STANDARD, EDITION 3.0 DISTRIBUTION A. Approved for public release: distribution unlimited. This material is based upon work supported by U.S. Army Research Development
More informationMulti-Band (Ku, C, Wideband - Satcom, Narrowband Satcom) Telemetry Test System for UAV Application
Multi-Band (Ku, C, Wideband - Satcom, Narrowband Satcom) Telemetry Test System for UAV Application Murat IMAY Turkish Aerospace Ind, Inc. Ankara, Turkey mimay@tai.com.tr, muratimay@gmail.com ABSTRACT "This
More information