Go4IT - beginne dein Informatik-Bachelor-Universitäts-Studium parallel zur AHS-Oberstufe!
Weitere Information auf der Go4IT Web Site und in den Medienberichten.
From Model-Based Development research towards cutting-edge industry products
Chrona Validator and Chrona Creation Suite
autoBAHN - autonomously driving trains on open tracks
The goal of the autoBAHN project is to come up with a rail-bound transport system of autonomously driving vehicles.
sub auspiciis praesidentis rei publicae for Patricia Derler
November 2011: sub auspiciis praesidentis rei publicae for Patricia Derler
Award of Excellence for Gerald Stieglbauer
November 2008: Award of Excellence for Gerald Stieglbauer
VO Model-based Development
Lehrveranstaltungsleiter
Dipl.-Ing. Claudiu Farcas
Dates
winter semester 2005/06
Tuesday, 10:00-12:00h, Jakob-Haringer-Str. 2, room T06
starts: 11 October 2005
Topic
The course "Model-Based Development of Embedded Control Software" provides an in-depth introduction to the Timing Definition Language (TDL), a successor of Giotto. TDL added a component model and simplified the Giotto syntax. We will develop TDL components and take a closer look at the TDL run-time system on a selected hardware (MPC555) and the real-time operating system OSEK.
Course goal:
Grasp the significant advantages of model-based software development in the realm of hard real-time software.
Prerequisites:
Programming experience in an imperative language such as C or Java, basic knowledge of operating systems concepts and architecture
Related course:
Embedded Software Engineering, prof. dr. Christoph Kirsch
Documents
- Part 1: Introduction
- Part 2: Real-Time Systems - supplementary material credits: Prof. Dr. Christoph Kirsch
- Part 3: The Timing Definition Language - original material credits: Dr. Josef Templ
- Part 4: Supported target platforms - details about the run-time environments available in 2005
- Part 5: Portable TDL Run-time System - from TDL source code to actual platform specific executable code
- Part 6: Introduction to Simulink - How does it work? Using Simulink for developing functionality code
- Part 7: TDL Time-Safety Checking - Basic Scheduling Theory, EDF, RM, ...
- Part 8: Transparent Distribution - novel concept for real time components
Links and further reading material
Online resources:
- MoDECS project - technical papers, TDL compiler, documentation
- Giotto project - initial programming methodology developed at UC Berkeley
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