Welcome to Telelogic Product Support
  Home Downloads Knowledgebase Case Tracking Licensing Help Telelogic Passport
Telelogic Rhapsody (steve huntington)
Decrease font size
Increase font size
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
Search Topic Search Topic
Topic Tools Topic Tools
Subscribe to this topic Subscribe to this topic
E-mail this topic to someone. E-mail this topic
Bookmark this topic Bookmark this topic
View similar topics View similar topics
View topic in raw text format. Print this topic.
 6-Dec-2005 18:29
User is offline View Users Profile Print this message


Brandi Carroll

Posts: 82
Joined: 22-Jul-2004

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.
Report this to a Moderator Report this to a Moderator
Statistics
20925 users are registered to the Telelogic Rhapsody forum.
There are currently 0 users logged in.
You have posted 0 messages to this forum. 0 overall.

FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.