Highlights

November 2018: Participate in the Catalysts Coding Contest in fall 2018

October 2018: Go4IT – beginne Dein Informatik-Bachelor-Universitäts-Studium parallel zur AHS-Oberstufe!

January 2015: From Model-Based Development research towards cutting-edge industry products

August 2012: autoBAHN—autonomously driving trains on open tracks

November 2011: Awards

May 2007: May 2007: Opening C. Doppler Lab Embedded Software Systems 2007

June 2003: June 2003: Summer School Embedded Systems 2003

  1. TEACHING (German)
  2. Archiv
  3. WS 2005/06
  4. VO Model-based Development

    5. 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:

     

    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
Universität Salzburg | Software Systems Center
Jakob-Haringer-Str. 2 | 5020 Salzburg | Austria | Tel: +43 662 - 8044 - 6488 | Fax: +43 662 8044 - 6480