• Contact
  • Sitemap
  • HOME
  • RESEARCH
  • TEACHING (German)
  • TEAM
  • OTHER
  • SS 2021
  • WS 2020/21
  • OnlineCourses @ UniSalzburg
  • Archiv
    • SS 2020
    • WS 2019/20
    • SS 2019
    • WS 2018/19
    • SS 2018
    • WS 2017/18
    • SS 2017
    • WS 2016/17
    • SS 2016
    • WS 2015/16
    • SS 2015
    • WS 2014/15
    • SS 2014
    • WS 2013/14
    • SS 2013
    • WS 2012/13
    • SS 2012
    • WS 2011/12
    • SS 2011
    • WS 2010/11
    • SS 2010
    • WS 2009/10
    • SS 2009
    • WS 2008/09
    • SS 2008
    • WS 2007/08
    • SS 2007
    • WS 2006/07
    • SS 2006
    • WS 2005/06
      • VO Software Engineering I
      • PS Software Engineering I
      • VO Model-based Development
      • PS Model-based Development
      • SE Seminar aus Informatik
    • SS 2005
    • WS 2004/05
    • SS 2004
    • WS 2003/04
    • SS 2003
    • WS 2002/03
    • SS 2002
  • häufig gestellte Fragen über Abschlussarbeiten
   Highlights

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:

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