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 Design Methods
Topic Summary:
Created On: 6-Dec-2005 18:25
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:25
User is offline View Users Profile Print this message


Brandi Carroll

Posts: 82
Joined: 22-Jul-2004

Real-time Design Methods

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
Bruce Powel Douglass , Real Time UML : Advances in the UML for Real-Time Systems, Addison-Wesley Object Technology Series.

J. Rumbaugh, M. Blaha, F. Eddy, W. Premerlani, and W. Lorensen, OMT. Modélisation et conception orientées objet, Masson Paris and Prentice Hall London, 1995.

Course Description
Design methodologies and tools for real-time applications. The course is mainly organized on the base of the UML. For a better comprehension, some comparison is made, for instance with OMT. Some attention is paid to fully formal methods and tools (the B language), to illustrate the main aspects this kind of approaches.

Tests and Homework
Exercise correction sessions (28h/semester), two written examination sessions (4h/semester), laboratory work (16h/semester+personnal work).

Course Outline
The main part of the course is devoted to a detailed presentation of UML, and to the design methodologies which fully benefit from UML?s features and components. Some lectures are dedicated to analyzing a set of case-studies. A couple of lectures are devoted to comparing UML with other languages, such as OMT. The last two lectures consist in a rapid presentation of the B language an its methodological derivatives: proof obligations, refinement, as an illustration of the fully formal approach.

Laboratory and personal work:
The students, working on the basis of two to three teams, must build the specification and design model of a moderately complex application, by using the Rhapsody environment. They are required to explore and discover the environment?s functionalities and features.
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.