Humboldt-Universität zu Berlin, Institut für Informatik, Prof. Dr. Holger Schlingloff
Seminar "Automotive Software Engineering & Model Based Design"

Hier finden Sie Informationen und Unterlagen zum Seminar "Automotive Software Engineering & Model Based Design" im SS 2007.


Aktuelles

Inhalt und Themen
Die modellbasierte Entwicklung hat sich in den letzten Jahren als Standardparadigma für die Entwicklung eingebetteter Software im Automobilbereich etabliert. Im Rahmen des Seminars werden aktuelle Entwicklungen der modellbasierten Entwicklung auf der Basis von Werkzeugen wie MATLAB/Simulink/Stateflow von Requirements Engineering bis zum Test der entwickelten Systeme behandelt. Anhand von Übersichts- und Originalartikeln bereiten die Teilnehmer in Absprache mit den Betreuern einen wissenschaftlichen Vortrag von 30 Minuten Dauer vor und arbeiten diesen hinterher schriftlich aus.
Voraussichtlicher Termin für das Blockseminar: 4./5. Mai 2007
Veranstalter: Prof. Dr. Holger Schlingloff (HU Berlin), Dr. Mirko Conrad (The MathWorks GmbH)

Betreuung: Holger Schlingloff (HS), hs_at_informatik.hu-berlin._de
     Mirko Conrad (MC), Mirko.Conrad_at_mathworks._de
     Stephan Weißleder (SW), Stephan.Weissleder_at_first.fraunhofer._de

  1. Thilo Ohlmüller: Automotive Software Engineering (Betr.: MC) [SZ06, Rei06, GI-ASE]
  2. Alexander Grafe: Software-basierte eingebettete Systeme im Automobil (Betr.: MC) [SZ06, GI-ASE, KLB06, Autosar]
  3. Holger Pirk / Björn Pollex: Model Based Design (Betr.: HS) [CFG+05, TMW, KB05]
  4. Holger Pirk / Björn Pollex: Modellierung mit Simulink und Stateflow (Betr.: HS) [TMW]
  5. Andreas Wolf: Semantik von Simulink and Stateflow (Betr.: HS) [SMM06, HR04, Ham05, DMV05, DM04, DM06, Sch06]
  6. Oliver Fischer: Requirements Engineeering in der modellbasierten Entwicklung (Betr.: HS) [GS05]
  7. Nino Simonia: Modellevolution (Betr.: MC) [CFG+05, GS05, KB05]
  8. Paulus Fitzek: Fixpunktarithmetik (Betr.: MC) [Mos06, SZ06, Simulink-Fxp, Stü06, ISO/IEC18037]
  9. Robin Meißner: Automatische Code-Generierung (Betr.: MC) [Mos06, Embedded Coder, Stü06]]
  10. Tung Pham Thanh: Modellbasierte Entwicklung verteilter AUTOSAR Systeme (Betr.: HS) [Autosar, Autosar06]
  11. Thierno Camara: Entwicklungsstandard für sicherheitskritische Anwendungen (IEC 61508-3) (Betr.: MC) [JW03, CD06, Con07]
  12. Sebastian Wittkowski / Silvio Pohl: Testen in der modellbasierten Entwicklung (Betr.: SW) [CF05, Rea03]
  13. Sebastian Wittkowski / Silvio Pohl: Verifikation von Modellen (Betr.: SW) [Pal05, PSK06]
Literatur
Die nachfolgende Literaturliste ist vorläufig. Die angegebene Literatur ist als Einstiegspunkt in die jeweiligen Themen gedacht, den Vortragenden steht es frei, weitere Sekundärliteratur in ihrem Vortrag zu verwenden. Nach Absprache mit den Vortragenden werden an dieser Stelle noch Verweise ergänzt. Die Artikel, für die kein Hyperlink angegeben wurde, sind bei den jeweiligen Betreuern erhältlich.
Organisatorisches
Die Veranstaltung fand als Blockseminar statt, und zwar am 4. und 5.Mai 2007 (Fr/Sa), von 10:00-17:00 Uhr. Ort: Fraunhofer FIRST, Kekulestr.7 (Anmeldung beim Pförtner).
(Anmerkung: Für die angemeldeten Teilnehmer wird eine ganztägige Anwesenheit bei beiden Terminen als Selbstverständlichkeit erwartet, Ausnahmen nur in dringenden Notfällen und nach vorheriger Absprache!) Weitere Zuhörer sind als Gäste jederzeit willkommen.
Vorbesprechung war am Montag, den 16.4.2007, 16:15 Uhr.

H. Schlingloff, 5.5.2007