CS 491z / CS 791z Topics on Software Engineering

Slides:



Advertisements
Similar presentations
Embedded System, A Brief Introduction
Advertisements

EE5900 Advanced Embedded System For Smart Infrastructure
Concurrency: introduction1 ©Magee/Kramer 2 nd Edition Concurrency State Models and Java Programs Jeff Magee and Jeff Kramer.
© Andy Wellings, 2004 Concurrent and Real-Time Programming in Java  Electronic copies of course foils available via 
1 / 32 CS 425/625 Software Engineering Real-Time Software Design Based on Chapter 15 of the textbook [SE-8] Ian Sommerville, Software Engineering, 8 th.
Embedded and Real Time Systems Lecture #4 David Andrews
Chapter 13 Embedded Systems
Real-Time Systems and Programming Languages
Strategic Directions in Real- Time & Embedded Systems Aatash Patel 18 th September, 2001.
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.
Summary :- Distributed Process Scheduling Prepared BY:- JAYA KALIDINDI.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 15 Slide 1 Real-time Systems 1.
Niranjan Rao Julapelly Real-Time Scheduling [ Chapter 5.5]
Timing and Race Condition Verification of Real-time Systems Yann–Hang Lee, Gerald Gannod, and Karam Chatha Dept. of Computer Science and Eng. Arizona State.
Real-Time Software Design Yonsei University 2 nd Semester, 2014 Sanghyun Park.
Instructore: Tasneem Darwish1 University of Palestine Faculty of Applied Engineering and Urban Planning Software Engineering Department Concurrent and.
Concurrency: introduction1 ©Magee/Kramer Concurrency State Models and Java Programs Jeff Magee and Jeff Kramer.
1 CS 501 Spring 2003 CS 501: Software Engineering Lecture 16 System Architecture and Design II.
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.
10 Software Architecture CSCU 411 Software Engineering.
SAM2000 Introduction An Analyzable execution model Real-Time Analysis. Redesign the system Conclusions and Future Work.
Aravind Venkataraman. Topics of Discussion Real-time Computing Synchronous Programming Languages Real-time Operating Systems Real-time System Types Real-time.
1 / 30 CS 425/625 Software Engineering Real-Time Software Design Based on Chapter 13 of the textbook [SOMM00] Ian Sommerville, Software Engineering, 6.
Real Time Programming Language. Intro A programming language represents the nexus of design and structure. But misuse of the programming language can.
Fault Tolerance Benchmarking. 2 Owerview What is Benchmarking? What is Dependability? What is Dependability Benchmarking? What is the relation between.
CS4730 Real-Time Systems and Modeling Fall 2010 José M. Garrido Department of Computer Science & Information Systems Kennesaw State University.
Winter 2007SEG2101 Chapter 111 Chapter 11 Implementation Design.
What’s Ahead for Embedded Software? (Wed) Gilsoo Kim
Real-Time Operating System Design
21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.
From Use Cases to Implementation 1. Structural and Behavioral Aspects of Collaborations  Two aspects of Collaborations Structural – specifies the static.
Introduction It had its early roots in World War II and is flourishing in business and industry with the aid of computer.
From Use Cases to Implementation 1. Mapping Requirements Directly to Design and Code  For many, if not most, of our requirements it is relatively easy.
Real-Time Operating Systems RTOS For Embedded systems.
Advanced Software Engineering Dr. Cheng
COMP201 Project Management.
Requirements Specification
Real-time Software Design
Design Patterns: MORE Examples
Decision Support Systems
REAL-TIME OPERATING SYSTEMS
Software Architecture
Classifications of Software Requirements
Albert M. K. Cheng Embedded Real-Time Systems
On the Criteria to Be Used in Decomposing Systems into Modules
CS 425/625 Software Engineering Software Processes
Real Time Operating System
Real-time Software Design
Software Design Methodology
Software Project Planning &
HCI in the software process
Gabor Madl Ph.D. Candidate, UC Irvine Advisor: Nikil Dutt
Chapter 9 Requirements Modeling: Scenario-Based Methods
CS 425/625 Software Engineering Architectural Design
Critical Systems Validation
CS 501: Software Engineering Fall 1999
Real-time Linux Evaluation
HCI in the software process
Requirements Engineering Processes
Dynamic Modeling Lecture # 37.
HCI in the software process
Software Quality Assurance 2015
Subject Name: SOFTWARE ENGINEERING Subject Code:10IS51
Chapter 6: Architectural Design
Segments Introduction: slides minutes
From Use Cases to Implementation
Software Architecture
Presentation transcript:

CS 491z / CS 791z Topics on Software Engineering Spring 2004 Introduction to RTS January 26, 2004

RTS: A Characterization…… This section of the presentation is based on [Dascalu01] “A real-time system must respond to externally generated stimuli within a finite, specifiable time delay” [Everett95] An RTS differs from a “regular” (non-RTS) system in at least the following aspects [Stankovic88]: Have deadlines attached to some or all tasks Faults in the system may lead to catastrophic consequences Must have the ability to deal with exceptions Must be fast, predictable reliable, adaptive

.RTS: A Characterization.…. “Development of most software focuses on how to handle a normal situation, but real-time, critical-application development also focuses on how to handle the abnormal situation” [Everett95] RTS “must operate under more severe constraints than ‘normal’ software yet perform reliably for long periods of time” [Douglass99]

..RTS: A Characterization…. A classification of RTS:

…RTS: A Characterization… Requirements for RTS: Timeliness Reaction to stimuli “on time” (deadlines must be met) Relative and absolute timing constraints Reliability Many errors have roots in incorrect specification Formal techniques needed for safety-critical systems Intensive dynamics Models to describe behavior are necessary (based on finite state machines)

….RTS: A Characterization.. Requirements for RTS (cont’d): Exception handling Priorities should be assigned to stimuli/events Mechanisms for handling interrupts need be developed Concurrency Parallel tasks are inherent in RTS The environment is also “concurrent” in nature Distribution & resource allocation Distribution is not necessarily a characteristic of RTS, but should be taken into consideration in larger applications

…..RTS: A Characterization. Requirements for RTS (cont’d): Communication and synchronization Synchronous and asynchronous communication mechanisms should be designed Size In larger applications, there are numerous processes and threads Size is associated with continuous change Decomposition in smaller units is needed, as are mechanisms for modeling hierarchical structures

.…..RTS: A Characterization Requirements for RTS (cont’d): Non time-constrained activities Worst case scenarios cannot be easily evaluated Computations & data modeling In process control systems computations can be complex In RT databases data must have temporal validity Reuse RTS are poor candidates for reuse (are too specialized) However, OO design may provide solutions

Additional References [Dascalu01] Dascalu, S., Combining Semi-forma and Formal Notations in Software Specification: An Approach to Modelling Time-Constrained Systems, PhD thesis, Dalhousie University, Halifax, NS, Canada, 2001. [Douglass99] Douglass, B.P., Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns, Addison-Wesley, 1999. [Everett95] Everett, W., and Honiden, S., “Reliability and Safety of Real-Time Systems,” IEEE Software, 12(3), May 1995, p. 12-16 [Gibbs94] Gibbs, W.W., “Software’s Chronic Crisis,” Scientific American, Sep. 1994, p. 86-95. [Stankovic88] Stankovic, J.A., and Ramamritham, K., Tutorial: Hard Real-Time Systems, IEEE Computer Society Press, 1988.