Model-Based Development of Embedded Control Software - Proseminar (in English)

Dipl.-Ing. Emilia Farcas

When and where

winter semester 2005-2006, Univ. Salzburg
Tuesday, 12:00-13:00h, Jakob-Haringer-Str. 2, lab 2.32

starts: 11 October 2005

Links and further documents

• 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

• 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

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)