Echtzeit-Betriebssysteme: Themen für Referate SS 08



Hier geht's zu den lokalen Unterlagen.

Beachten Sie bitte auch die angegebenen Internet-Adressen!

-> Papier“ bedeutet, daß der Artikel nur in Papierform vorliegt.



Bewertung, Vergleich, Auswahl von Echtzeit-Betriebssystemen

(Verzeichnis Auswahl)


Prozessorzuteilung, Zeitliche Analyse

(Verzeichnis RMA)

u. a. mit Zeitanalyse in AUTOSAR.


Proritätsinversion

(Verzeichnis Pri-Inv),

außerdem: Abschnitt 8.5 OSEK Priority Ceiling Protocol in OSEK-OS os223.pdf unter www.osek-vdx.org


Dateisystem für Flash-Speicher (Flash file system)

(Verzeichnis FlashFS)


Virtualisierung (2 Vorträge)

(Verzeichnis PikeOS)

(Verzeichnis ADEOS)


Windows CE 6.0

Überblick und Schwerpunkt Speicherverwaltung in CE 6.0

(Verzeichnis WinCE60 )



Schwerpunkt Linux und Echtzeit (mehrere Vorträge)




Schwerpunkt Echtzeit-Kommunikation


LIN-Bus

www.lin-subbus.org

(Verzeichnis LinBus)


Flexray

(Verzeichnis FlexRay)

Kapitel 10 (S. 137 bis 148) in: Färber (Faerber_rz-praxis.pdf)

Spezifikation (PDF): (www.flexray.com)


Time-Triggered Protocol

(Verzeichnis TTP)


Ereignis- gegen zeitgetriggerte Systeme (Event triggered versus time triggered)

Scheler-Artikel in MMB (S. 107) -> Papier

(Verzeichnis ET-TT)


Verteilte Zeit (2 Vorträge)

(Verzeichnis NTP)

(Verzeichnis IEEE1588)



Schwerpunkt OSEK und AUTOSAR (mehrere Vorträge)


Quellen für OSEK: www.osek-vdx.org

Für alle Themen wichtig: Bindings document Binding142.pdf (enthält u. a. Glossar)





Systemsicherheit

(Verzeichnis Sicherheit)

ARINC 653, IEC 61508: Sicherheitskritische Software (insbes. Betriebssysteme),

außerdem für DO-178B: http://www.sandroid.org/birdsproject/4dummies.html, engl. Wikipedia-Artikel

außerdem: Kapitel 8 (S. 109 bis 122) in: Färber (Faerber_rz-praxis.pdf)


Embedded C/C++ und MISRA-C (2 Vorträge)

Plauger: “Embedded C++: an overview“ http://www.embedded.com/97/feat9712.htm

www.caravan.net/ec2plus

(Verzeichnis EmbC++)

iX-Artikel MISRA-C -> Papier,

(Verzeichnis MISRA-C)


Energieverwaltung

(Verzeichnis Energie)

Weissel-Artikel in MMB (S. 69) -> Papier








Vorgaben für Vorträge:





Weitere Informationsquellen, Suchmaschinen:


Citeseer: meist herunterladbare Artikel (*.pdf, *.ps):

http://citeseer.ist.psu.edu/

http://citeseer.ifi.unizh.ch

http://sherry.ifi.unizh.ch/

http://scholar.google.com

http://scholar.google.de

(meist kostenpflichtige Artikel)

http://de.wikipedia.org -> kritische Distanz!

http://en.wikipedia.org -> kritische Distanz!




Termine:



29. 5. 2008


a)


b)


c)



5. 6. 2008


a)


b)


c)



12. 6. 2008


a)


b)


c)



19. 6. 2008


a)


b)


c)



26. 6. 2008


a)


b)


c)



3. 7. 2008 (Leistungsnachweiszeit, nur Ausweichtermin)