• 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
    • SS 2005
    • WS 2004/05
    • SS 2004
    • WS 2003/04
    • SS 2003
      • VO Software Engineering II
      • PS Software Engineering II
      • VO Emb. Systems Construction
      • PS Emb. Systems Construction
      • Seminar aus Informatik
      • VP Projektmanagement
    • 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. SS 2003
  4. VO Emb. Systems Construction
  5. VO Emb. Systems Construction

    Lehrveranstaltungsleiter:

    O.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Pree


    Termine

    Sommersemester 2003, Universität Salzburg, 

    Donnerstag: 14:30-16:00 Uhr, Jakob-Haringer-Str. 2, T02


    Inhalt

    Die Vorlesung zeigt auf, welche Konzepte, Methoden und Werkzeuge für die Entwicklung von sicherheitskritischen, 'harten' Echtzeitsystemen verwendet werden. Insbesondere werden Modell-basierte Methoden und Werkzeuge präsentiert, die es erlauben, von der spezifischen Plattform (HW/OS) zu abstrahieren. Programmiermethodik, systematischer Entwurf und adäquate Modularisierung von Echtzeitsystemen werden anhand von Fallstudien vermittelt und im zugehörigen Proseminar geübt.

    Hinweis: Die Vorlesung Embedded Systems von Prof. Pohlmann ergänzt diese Vorlesung. Es wird daher empfohlen, beide Lehrveranstaltungen innerhalb eines Semesters zu absolvieren.


    Literatur

    H. Kopetz: Real-time systems: design principles for distributed embedded applications, Kluwer, 1997

    EmSoft 2002, 2001 Conference Proceedings


    Unterlagen

    • Motivation, grundlegende Begriffe und Konzepte, I (ca. 1,0 MB)
    • RTOS – grundlegende Konzepte und Begriffe (ca. 420 KB)
    • Principles of Real-Time Programming (C. Kirsch, EmSoft 2002) (ca. 170 KB)
    • Giotto (IEEE Control System Magazine paper, Feb. 2003) (ca. 720 KB)
    • Giotto slides (ca. 2MB)
    • Time-Triggered Architecture (IEEE Spec. Issue Embedded Systems, Oct.2002) (ca. 530 KB)
    • Giotto Simulink (I) (ca. 720 KB)
    • Giotto Simulink (II) (ca. 2,2 MB)
    • Case study: reusable components for AOCS (ca. 700 KB)
    • State charts (ca. 550 KB)
    • Fault-tolerance (ca. 1,7 MB)
    • Esterel overview (ca. 200 KB)
    • Esterel foundations (ca. 300 KB)

     

     

     

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