Hot Topics in Systems Software (HotSys) WS 2010/11
News
14.10.2010 Die Vorbesprechung findet am 27.10. (Mi) um 10:00 ct im Raum 0.035 (RRZE) statt.
18.10.2010 Interessenten bitte kurz per Mail Bescheid geben! (ulbrich@cs.fau.de)
Praktikum Informatik Bachelor
Das Schwerpunktthema in diesem Jahr ist "Systemsoftware für sicherheitskritische Systeme". Dies ist ein Hot Topic, da
durch die fortschreitende Miniaturisierung der Hardwarestrukturen die Wahrscheinlichkeit für sogenannte transiente
Hardwarefehler (spontane Bitkipper) - verursacht z.B. durch hochenergetische Teilchen - stark zunimmt. Die
Zuverlässigkeit muss daher zunehmend durch die Software sichergestellt werden.
Im Praktikum wird Systemsoftware für sicherheitskritische Systeme entwickelt. Dabei werden insbesondere folgende Kenntnisse vermittelt:
System- und hardwarenahe Softwareentwicklung in C++ und Java
Mikrocontroller- und Peripherie-Programmierung
Einsatz von Analyse- und Debugging-Werkzeugen
Umgang mit Echtzeiteigenschaften in der Praxis
Methoden und Techniken für Software-based Dependability
Die praktischen Arbeiten erfolgen im Rahmen der Projekte I4Copter, KESO und DanceOS.
Der I4Copter ist ein sogenannter Quadrocopter, ein Fluggerät aus der Familie der
Helikopter - er wird seit 2007 am Lehrstuhl entwickelt. Der mechanische Aufbau eines Quadrocopters ist relativ einfach und
beruht auf vier paarweise gegenläufigen Propellern und einem einfachen getriebelosen
Antrieb durch Elektromotoren. Die Fluglage wird hierbei alleine durch
die Variation der Drehzahl der Motoren beeinflusst.
Die eigentliche Herausforderung liegt in der verlässlichen Regelung des inhärent
instabilen Flugverhaltens, das eine direkte Steuerung durch einen Piloten
unmöglich macht. Für die Beherrschung dieses Problems ist der Einsatz einer inertialen
Trägheitsnavigation und digitale Fluglageregelung für die Stabilisierung
zwingend notwendig. Insgesamt ist ein Quadrocopter ein anspruchsvolles Beispiel
für ein sicherheitskritisches, eingebettetes Echtzeitsystem.
Die Hardware des I4Copters wurde nach speziellen Gesichtspunkten ausgewählt,
um eine hohe Vergleichbarkeit mit industriellen Systemen zu erreichen. Als Mikrocontroller
kommt ein Infineon TriCore TC1796 zum Einsatz, der speziell
im Automobil-Anwendungsbereich weit verbreitet ist.
Ziel des Praktikums ist es die eigenen Arbeiten "zum fliegen zu bringen". ;-)
Das Praktikum [P_HOTSYS] wird mit 10 ECTS angerechnet.
Praktikum , benoteter Schein, ECTS-Studium, ECTS-Credits: 10, Sprache Deutsch
Zeit und Ort: Mi 10:00 - 12:00, 0.035; Bemerkung zu Zeit und Ort: Besprechungszimmer Informatik 4
ab 27.10.2010
Vorbesprechung: 27.10.2010, 10:00 - 11:00 Uhr, Raum 0.035