PS Model-based Development

Lehrveranstaltungsleiter:

Dipl.-Ing. Emilia Farcas

Dates

winter semester 2005/06

Tuesday, 12:00-13:00h, Jakob-Haringer-Str. 2, lab 2.32

starts: 11 October 2005

Links and further documents

Online resources: 

• Timing Definition Language - specifications (technical report)
• TDL Tutorial - how to use TDL
• MoDECS project - technical papers, TDL compiler, documentation
• Giotto project - initial programming metodology developped at UC Berkeley
• OSEK VDX OS 2.2.3 specifications
• OSEK Implementation Language 2.5
• Kanis OAK_EMUF MPC555 development board

Books:

• Giorgio C. Buttazzo
  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms & Applications, 1997
• Hermann Kopetz
  Real-Time Systems: Design Principles for Distributed Embedded Applications, 1997.
• Clemens Szyperski with Dominik Gruntz and Stephan Murer
  Component Software - Beyond Object-Oriented Programming (Second Edition)
• Addison-Wesley / ACM Press, 2002 (589 pages). ISBN 0-201-74572-0

Prerequisites:

• Programming experience in an imperative language such as C or Java, basic knowledge of operating systems concepts and architecture.

Assignments

• Assignment 1 - Software programming a LED display (3+ parts)
• Assignment 2 - TDL programming using "known" hardware (2+ parts)
• Assignment 3 - Usage of TDL modules (3 parts)