Real-time systems. CS351 - Software Engineering (AY2004)2 Real-time systems Real-time (RT) Systems RT transaction Controlled Object Computer System Operator.

Slides:



Advertisements
Similar presentations
Simulation of Feedback Scheduling Dan Henriksson, Anton Cervin and Karl-Erik Årzén Department of Automatic Control.
Advertisements

EE5900 Advanced Embedded System For Smart Infrastructure
Software Testing: A Selection of Papers by Elaine Weyuker Peter Greenwood for EEE 599.
Carnegie Mellon R-BATCH: Task Partitioning for Fault-tolerant Multiprocessor Real-Time Systems Junsung Kim, Karthik Lakshmanan and Raj Rajkumar Electrical.
Is It Time Yet? Wing On Chan. Distributed Systems – Chapter 18 - Scheduling Hermann Kopetz.
1 Real-Time and Dependability Concepts Presented by: David Wang Pallavi Priyadarshini.
Input/Output Lecture #9 David Andrews
Embedded and Real Time Systems Lecture #2 David Andrews
Replication Management using the State-Machine Approach Fred B. Schneider Summary and Discussion : Hee Jung Kim and Ying Zhang October 27, 2005.
REAL-TIME SOFTWARE SYSTEMS DEVELOPMENT Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
Run-Time Models for Measurement & Control Systems and Their Support in Ptolemy II Jie Liu EECS, UC Berkeley 9/13/2000 Agilent Technologies.
Design of Distributed Real-Time Systems Ramani Arunachalam.
7. Fault Tolerance Through Dynamic or Standby Redundancy 7.5 Forward Recovery Systems Upon the detection of a failure, the system discards the current.
CprE 458/558: Real-Time Systems
Misconceptions About Real-time Computing : A Serious Problem for Next-generation Systems J. A. Stankovic, Misconceptions about Real-Time Computing: A Serious.
Page 1 Copyright © Alexander Allister Shvartsman CSE 6510 (461) Fall 2010 Selected Notes on Fault-Tolerance (12) Alexander A. Shvartsman Computer.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 15 Slide 1 Real-time Systems 1.
REAL-TIME SOFTWARE SYSTEMS DEVELOPMENT Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
Towards a Contract-based Fault-tolerant Scheduling Framework for Distributed Real-time Systems Abhilash Thekkilakattil, Huseyin Aysan and Sasikumar Punnekkat.
Binghamton University EngiNet™ State University of New York
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.
Real-Time Systems Chapter 1 Hermann Kopetz. Real-Time-Systems, Kluwer 1997.
An efficient active replication scheme that tolerate failures in distributed embedded real-time systems Alain Girault, Hamoudi Kalla and Yves Sorel Pop.
CS4730 Real-Time Systems and Modeling Fall 2010 José M. Garrido Department of Computer Science & Information Systems Kennesaw State University.
© Oxford University Press 2011 DISTRIBUTED COMPUTING Sunita Mahajan Sunita Mahajan, Principal, Institute of Computer Science, MET League of Colleges, Mumbai.
1 CS 501 Spring 2002 CS 501: Software Engineering Lecture 23 Reliability III.
Robot Highway Safety Markers algorithm focuses on the sporadic task model, which puts only a lower bound on the time separation interval between the release.
Large Scale Deeply Embedded Networks Jack Stankovic, Tarek Abdelzaher, Sang Son, Chenyang Lu Department of Computer Science University of Virginia Fall.
Reference: Ian Sommerville, Chap 15  Systems which monitor and control their environment.  Sometimes associated with hardware devices ◦ Sensors: Collect.
Building Dependable Distributed Systems Chapter 1 Wenbing Zhao Department of Electrical and Computer Engineering Cleveland State University
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development 3.
Real-Time Scheduling CS 3204 – Operating Systems Lecture 20 3/3/2006 Shahrooz Feizabadi.
Fault injection tool Fault Injection Tool Pavel Čírtek.
Prepare by : Ihab shahtout.  Overview  To give an overview of fixed priority schedule  Scheduling and Fixed Priority Scheduling.
REAL-TIME SOFTWARE SYSTEMS DEVELOPMENT Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
CprE 458/558: Real-Time Systems (G. Manimaran)1 CprE 458/558: Real-Time Systems Introduction to Real-Time Systems.
CprE 545Iowa State University CprE 558: Real-Time Systems Lectures 15-16: Dependability Concepts & Faul-Tolerance.
Object-Oriented Design and Implementation of the OE-Scheduler in Real-time Environments Ilhyun Lee Cherry K. Owen Haesun K. Lee The University of Texas.
Survey of Real Time Databases Telvis Calhoun CSc 6710.
5 May CmpE 516 Fault Tolerant Scheduling in Multiprocessor Systems Betül Demiröz.
CS 5150 Software Engineering Lecture 13 Software Architecture 2.
Copyright 1999 G.v. Bochmann ELG 7186B ch.1 1 Course Notes ELG 7186C Formal Methods for the Development of Real-Time System Applications Gregor v. Bochmann.
CS 505: Thu D. Nguyen Rutgers University, Spring CS 505: Computer Structures Fault Tolerance Thu D. Nguyen Spring 2005 Computer Science Rutgers.
Copyright © George Coulouris, Jean Dollimore, Tim Kindberg This material is made available for private study and for direct.
Embedded and Real Time Systems Lecture #2 David Andrews
CS4730 Real-Time Systems and Modeling Fall 2010 José M. Garrido Department of Computer Science & Information Systems Kennesaw State University.
Verification of FT System Using Simulation Petr Grillinger.
Fault Tolerant Scheduling of Mixed Criticality Real-Time Tasks under Error Bursts Abhilash Thekkilakattil, Radu Dobrin and Sasikumar Punnekkat.
Advantages of Time-Triggered Ethernet
Real-Time Scheduling CS 3204 – Operating Systems Lecture 13 10/3/2006 Shahrooz Feizabadi.
Mixed Criticality Systems: Beyond Transient Faults Abhilash Thekkilakattil, Alan Burns, Radu Dobrin and Sasikumar Punnekkat.
1 Real-Time Scheduling. 2Today Operating System task scheduling –Traditional (non-real-time) scheduling –Real-time scheduling.
CSCI1600: Embedded and Real Time Software Lecture 24: Real Time Scheduling II Steven Reiss, Fall 2015.
1 Fault-Tolerant Computing Systems #1 Introduction Pattara Leelaprute Computer Engineering Department Kasetsart University
Tolerating Communication and Processor Failures in Distributed Real-Time Systems Hamoudi Kalla, Alain Girault and Yves Sorel Grenoble, November 13, 2003.
HPC HPC-5 Systems Integration High Performance Computing 1 Application Resilience: Making Progress in Spite of Failure Nathan A. DeBardeleben and John.
FLARe: a Fault-tolerant Lightweight Adaptive Real-time Middleware for Distributed Real-time and Embedded Systems Dr. Aniruddha S. Gokhale
Control-based Quality Adaptation in Data Stream Management Systems (DSMS) Yicheng Tu†, Song Liu‡, Sunil Prabhakar†, and Bin Yao‡ † Department of Computer.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Chapter 5:Architectural Design l Establishing the overall structure of a software.
Undergraduate course on Real-time Systems Linköping TDDD07 – Real-time Systems Lecture 1: Introduction & Scheduling I Simin Nadjm-Tehrani Real-time Systems.
REAL-TIME OPERATING SYSTEMS
Introduction Frank Drews
Critical systems design
Hardware & Software Reliability
Wayne Wolf Dept. of EE Princeton University
Real-time Software Design
CSCI1600: Embedded and Real Time Software
Fault Tolerance Distributed Web-based Systems
Modeling and Simulation of TTEthernet
Scheduling Basic Concepts Ref: Hard Real-Time Computing Systems Giorgio Buttazzo Ref: Real-Time Systems & Software Alan Shaw Processes - Tasks.
Presentation transcript:

Real-time systems

CS351 - Software Engineering (AY2004)2 Real-time systems Real-time (RT) Systems RT transaction Controlled Object Computer System Operator Sensors / Actuators

CS351 - Software Engineering (AY2004)3 Example Railway Computer System Operator Engines / Points Alpha Ada

CS351 - Software Engineering (AY2004)4 System design Finite processing capacity. Critical Real-time transactions. Assumptions –Load? –Faults? –Coverage?

CS351 - Software Engineering (AY2004)5 Load hypothesis Peak load? How rare are events? Do events cascade?

CS351 - Software Engineering (AY2004)6 Fault hypothesis Types of faults? Frequency of faults? Peak load & maximum fault rate? Assumption coverage?

CS351 - Software Engineering (AY2004)7 Hard and soft RT systems Soft Hard High AvailabilityTelephone High IntegrityBanking Fail SafeSignalling Fail OperationalFlight control

CS351 - Software Engineering (AY2004)8 Design paradigms Guaranteed response (GR). Best-effort. Most RT systems are best-effort. Safety critical systems must be GR.

CS351 - Software Engineering (AY2004)9 Example real-time systems Factory automation –open loop, –closed loop. Telephone switching. Car control.

CS351 - Software Engineering (AY2004)10 Fault-tolerance Fault-tolerant (FT) systems. Mask or repair errors to avoid faults. Redundancy –physical, –time, –information.

CS351 - Software Engineering (AY2004)11 Redundancy Passive redundancy –fail-silent, –fail-stop. Active redundancy –voting/concensus, –replica determinism.

CS351 - Software Engineering (AY2004)12 Event triggered real-time systems Event oriented execution. Event showers –random, –sporadic. Scheduling is dynamic and hard. Extensible.

CS351 - Software Engineering (AY2004)13 Time triggered real-time systems Process events at fixed times. Overload not handled. Piority events may be delayed. Scheduling can be statically determined. It is hard to extend.

CS351 - Software Engineering (AY2004) bps 2400 bps TT Example Trains Alpha Operator Event Monitor Command Filter ethernet