Spezielle Kapitel aus Informatik:
Echtzeit bei Automotive Systems - Überblick und Trends

HOME     

Semester: WS 2010/11

LVA - Name

 Spezielle Kapitel aus Informatik: Echtzeit bei Automotive Systems - Überblick und Trends

LVA - Nummer:

 353.004

LVA - Typ:

 VO

Wochenstunden pro Sem.:

1

Vortragende(r):

 o.Univ. Prof. DI Dr. Wolfgang Pree

Max. Teilnehmerzahl:

35

Anmeldemodus:

 Computeranmeldung

Termine:

Block
Vorbesprechung:
Fr, 15. 10. 2010, 10:15 - 11:45 Uhr, T 212

Weitere Termine:
Mi, 20.10.2010, 12:00 - 12:45 Uhr, T 111
Fr,  3.12.2010,  10:15 - 16:15 Uhr, HT 177 F  Achtung!! Neuer Termin!!
Di, 11.1.2011, 17:15 - 18:45 Uhr, HF 9904
 

Ort:

  

Inhalt der LVA:

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 sicherheits-kritische Echtzeit-Software zu verwirklichen.

 

LVA - Modus:

kombinierte Vorlesung + Proseminar
 

Prüfung:

 schriftliche Klausur am Ende des Semesters
 

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
 

Sonstige Informationen:

http://chess.eecs.berkeley.edu/
http://www.SoftwareResearch.net/
http://www.emsoft.org/
http://esweek09.inrialpes.fr/
http://www.esterel-technologies.com/
http://www.absint.com/
http://www.TTTech.com/
http://www.preeTEC.com/
 

Weitere Auskünfte:

 wolfgang.preecs.uni-salzburg.at

Links zu anderen Semestern:

    
letzte Änderung: 2010-11-08