![]() |
Telelogic Rhapsody (steve huntington) | ![]() |
Topic Title: Real-time Systems: Principles, Mechanisms and Languages Topic Summary: Created On: 6-Dec-2005 18:29 Status: Read Only |
Linear : Threading : Single : Branch |
![]() |
![]()
|
![]() |
|
Real-time Systems: Principles, Mechanisms and Languages
University of Technology of Belfort-Montbéliard Belfort Cedex FRANCE [url]http://www.utbm.fr[/url] Instructor: Dr. Pablo Gruer [email]Pablo.gruer@utbm.fr[/email] Text Book David Harel, Michal Politi, Modeling Reactive Systems With Statecharts : The Statemate Approach, McGraw-Hill. Albert M. K. Cheng, Real-Time Systems : Scheduling, Analysis, and Verification, Wiley. Qing Li, Caroline Yao, Real-Time Concepts for Embedded Systems, CMP books. Course Description This course presents the principles and concepts of real-time reactive applications and programming. The presentation organizes into two main points of view: real-time at the operating system programming level on one side and the reactive synchronous programming approach on the other side. The first point of view is illustrated by considering typical real time kernel services: task switching and scheduling, task synchronization and communication, etc. The second point of view is mainly illustrated through statecharts. Tests and Homework Exercise correction sessions (28h/semester), two written examination sessions (4h/semester), laboratory work (16h/semester+personnal work). Course Outline Lecture 1: introduction: reactive computer systems and time constraints, from real time constraints to multi tasking and concurrency, preemption and scheduling. Lecture 2: synchronous reactive programming : general concepts, event broadcasting, strong and week synchrony hypothesis. Introducing statecharts : from finite state automata to state hierarchies, expression of concurrency, event broadcasting. Lecture 3-4: Statecharts : syntactic aspects, states, state types and attributes, state configurations, connectors, transition segments, transition labels, primitive events, standard events, primitive conditions, standard conditions, conditional expressions, standard actions, action expressions. Lecture 5-6: semantics of statecharts : the initial situation, the set of active transitions, transition scope, conflict and priority, the step: state configuration change, variable value change, history change, the two models of time. Lecture 7: the synchronous reactive landscape revisited: the statecharts and Esterel, weak and strong synchrony in practice. Lectures 8-15 : other course topics: the classical approached to real time, real time kernels, primitive embedded and real time features of programming languages : Ada, Java, ... Laboratory and personal work: The students are given un informal description of some application (moderately complex) and are requested to develop a statechart-based model, and to test it by means of simulation. This laboratory work uses the Statemate environment. |
|
![]() |
FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.