![]() |
Telelogic Rhapsody (steve huntington) | ![]() |
Topic Title: Real-time Design Methods Topic Summary: Created On: 6-Dec-2005 18:25 Status: Read Only |
Linear : Threading : Single : Branch |
![]() |
![]()
|
![]() |
|
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. |
|
![]() |
FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.