VP Echtzeit bei Automotive Systems - Überblick und Trends (JKU Linz)

Lehrveranstaltungsleiter

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


Termine

Wintersemester 2010/11

Diese Lehrveranstaltung wird an der Johannes Kepler Universität Linz angeboten.

Blocktermine:
20. Oktober, 12:00 - 12:45 h, Raum T 111
3. Dezember, 10:15 - 16:15 h, Raum HT 177 F
11. Jänner, 17:15 - 18:45 h, Raum HF 9904

Klausur: 11. Jänner 2011


Inhalt

Bei sicherheitskritischer Echtzeit-Software, wie sie zum Beispiel im Automobil zum Einsatz kommt, ist das zeitliche Verhalten ausschlaggebend für die korrekte Funktion des Systems. Die Vorlesung geht auf das dabei auftretende Kernproblem ein, wie eine Interaktion von Computing und physikalischen Vorgängen konzipiert werden kann. Wir zeigen den Stand der Technik sowie neueste, vielversprechende Konzepte und Trends auf. Das gemeinsame Ziel der diversen Ansätze ist es, die Software nicht mehr auf eine bestimmte Plattform maßschneidern zu müssen, sondern durch geeignete Abstraktionen von der Plattform die ursprüngliche Java-Vision develop once, deploy anywhere auch für sicherheitskritische Echtzeit-Software zu verwirklichen.


Literatur 

  • Computing Needs Time, Communications of the ACM, Volume 52 ,  Issue 5  (May 2009), by Edward A. Lee, UC Berkeley
    comment: general motivation 
  • Software-Entwicklung mit Autosar, dpunkt Verlag 2009; Autoren: O. Kindel, M. Friedrich
    Anmerkung: ein Buch, das einen Überblick über den Stand der Technik in der Automobil-Indutrie gibt 
  • TDL Specification and Language Report, zeitware.org
    comment: This technical report presents the textual syntax and semantics of the Timing Definition Language (TDL). TDL exemplifies how a component standard for hard real-time software could look like. 
  • Correct-by-Construction Methods for the Development of Safety-Critical Applications, SAE World Congress 2004; by Bernard Dion
    comment: "describes how synchronous methods form the scientific basis for the creation of a correct-by-construction methodology required for safetycritical embedded systems" (quoted from the paper abstract) 
  • From Control Models to Real-Time Code Using Giotto, IEEE Control Systems Magazine 23(1), February 2003, by T. Henzinger, C. Kirsch, M. Sanvido, W. Pree
    comment: explains the Logical Execution Time (LET) abstraction 
  • Real-time systems: Design principles for distributed embedded systems, Elsevier, 1997; by H. Kopetz
    comment: book about relevant basic concepts; the focus is on time-triggered communication


Ergänzende Informationen

Weblinks

Unterlagen