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

• 5.5.2007: Abgabetermin für die schriftlichen Ausarbeitungen ist am Sonntag, 30.9.2007, 24 Uhr! Hinweise zur Erstellung einer Seminararbeit siehe Folie 10-14 einer Präsentation an der Universität Swansea.
• 5.5.2007: Nachholtermin für ausgefallene Seminarvorträge ist am Freitag, 29.6.2007, 14-16 Uhr. Bitte setzen Sie sich rechtzeitig mit Prof. Schlingloff in Verbindung!
• 17.4.2007: Beginn des Seminars: 4.5.2007, 10:00, Raum D006 (Fraunhofer FIRST).
  Am Freitag finden die Vorträge 1 - 7, am Samstag 8 - 13 statt.
• 17.4.2007: Eine Bitte an die Vortragenden: Bitte setzen Sie sich baldmöglichst mit Ihrem Betreuer in Verbindung und vereinbaren Sie einen Termin zur Besprechung Ihrer Folien, damit die Möglichkeit von Verbesserungen vor dem Vortrag besteht! Beachten Sie auch die Hinweise von Ian Parberry: How to Present a Paper in Theoretical Computer Science, A Speaker’s Guide for Students sowie die Folien unter diesem Link!
• 10.4.2007: Die Vorbesprechung fand am Mo., 16.4., um 16:15 bei Fraunhofer FIRST (Kekulestr. 7) statt.

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.

• [Autosar] Automotive Open System Architecture (AUTOSAR). www.autosar.org
• [Autosar06] AUTOSAR GbR: Applying Simulink to AUTOSAR. 2006. http://www.autosar.org/download/AUTOSAR_SimulinkStyleguide.pdf
• [Mos06] Pieter J. Mosterman: Automatic Code Generation - Facilitating New Teaching Opportunities in Engineering Education. Proc. of the 2006 Frontiers in Education Conference (FIE 2006), San Diego, California, October 28-31, 2006. http://fie.engrng.pitt.edu/fie2006/papers/1857.pdf
• [SZ05] J. Schäuffele, T. Zurawka: Automotive Software Engineering - Principles, Processes, Methods and Tools. SAE International, 2005.
• [KLB06] J. Kaiser, M. Lehr, J. Bernasch: Optimierung von E/E-Architekturen in Fahrzeugen mittels modellbasierter Entwicklung von Mechatronik. 4. Paderborner Workshop Mechatronik, Paderborn, March 30, 2006. http://www.vif.tugraz.at/content/publikationen/files/Paderborn-Vorlage%20KaiserLehrBernasch.pdf
• [GI-ASE] GI Fachgruppe Automotive Software Engineering (ASE). http://www.gi-ev.de/fachbereiche/softwaretechnik/ase/
• [TMW] The MathWorks - Control Design. www.mathworks.com/applications/controldesign
• [Simulink] The MathWorks: Simulink® - Simulation and Model-Based Design. http://www.mathworks.com/access/helpdesk/help/pdf_doc/simulink/slref.pdf
• [Stateflow] The MathWorks: Stateflow® and Stateflow® Coder - User's Guide http://www.mathworks.com/access/helpdesk/help/pdf_doc/stateflow/sf_ug.pdf
• [Simulink-Fxp] The MathWorks: Simulink® Fixed Point - User's Guide. http://www.mathworks.com/access/helpdesk/help/pdf_doc/fixpoint/fp_blks.pdf
• [ISO/IEC18037] ISO/IEC WDTR 18037.2 Programming languages, their environments and system software interfaces - Extensions for the programming language C to support embedded processors, Mar 01, 2003. http://www.open-std.org/jtc1/sc22/wg14/www/docs/n936.pdf
• [Embedded Coder] The MathWorks: Real-Time Workshop® Embedded Coder - User's Guide. http://www.mathworks.com/access/helpdesk/help/pdf_doc/ecoder/ecoder_ug.pdf
• [Stü06] I. Stürmer: Systematic Testing of Code Generation Tools - A Test Suite-oriented Approach for Safeguarding Model-based Code Generation. Dissertation, TU Berlin, 2006.
• [SMM06] R. Shenoy, B. McKay, and P. J. Mosterman: On Simulation of Simulink Models for Model-Based Design. In: Handbook of Dynamic System Modeling, CRC Press, 2006.
• [HR04] G. Hamon and J. Rushby: An Operational Semantics for Stateflow. Proc. Fundamental Approaches to Software Engineering (FASE), Barcelona, Spain, March 2004, LNCS Vol. 2984, pp. 229-243, Springer Berlin / Heidelberg, 2005. http://www.csl.sri.com/users/rushby/abstracts/fase04
• [Ham05] G. Hamon: A Denotational Semantics for Stateflow. Proc. 5th ACM Int. Conf. on Embedded Software, Jersey City, NJ, USA, 2005, pp. 164-172, ACM Press New York, 2005 http://portal.acm.org/citation.cfm?id=1086260&dl=GUIDE&coll=GUIDE&CFID=68182144&CFTOKEN=95472622
• [DMV05] B. Denckla, P. J. Mosterman, and H. Vangheluwe: Towards an executable denotational semantics for causal block diagrams. In OOPSLA '05 Workshop on Domain-Specific Modeling, 2005. http://citeseer.ist.psu.edu/denckla05towards.html
• [DM06] B. Denckla and P. J. Mosterman: Hierarchical Hybrid Block Diagrams, May 5, 2006. http://citeseer.ist.psu.edu/747160.html
• [DM04] B. Denckla and P. J. Mosterman: An Intermediate Representation and its Application to the Analysis of Block Diagram Execution. Proc. of the 2004 Summer Computer Simulation Conference (SCSC'04), July 25 - 29, San Jose, CA, 2004.
• [Con07] M. Conrad: Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications. Proc. Workshop Modellbasierte Entwicklung Eingebetteter Systeme III (MBEES'07), Schloß Dagstuhl, Germany, Jan. 2007, S. 41-50. http://www.sse-tubs.de/publications/CGRS_MBEES_InfoBericht_07.pdf
• [SDG+07] I. Stürmer, H. Dörr, H. Giese, U. Kelter, A. Schürr, A. Zündorf: Das MATE Projekt - Visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. Proc. Workshop Modellbasierte Entwicklung Eingebetteter Systeme III (MBEES'07), Schloß Dagstuhl, Germany, Jan. 2007, S. 83-94. http://www.sse-tubs.de/publications/CGRS_MBEES_InfoBericht_07.pdf
• [CF05] M. Conrad, I. Fey: Modell-basierter Test von Simulink/Stateflow-Modellen. Kolloqium "Testen im System - und Software-Life-Cycle", Technische Akademie Esslingen, 29.-30.Nov 2005, S.278-298
• [Rea03] Reactive Systems, Inc: Model-Based Testing and Validation of Control Software with Reactis. Reactive Systems Report #2003-1
• [CD06] M. Conrad, H. Dörr: Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen- Herausforderungen und Lösungsansätze. Proc. Workshop Modellbasierte Entwicklung Eingebetteter Systeme II (MBEES'06), Schloß Dagstuhl, Germany, Jan. 2006, S. 6-18. http://www.sse-tubs.de/publications/GRS_MBEES_InfoBericht_06.pdf
• [GS05] M. Grochtmann, L. Schmuhl: Systemverhaltensmodelle zur Spezifikation bei der modellbasierten Entwicklung von eingebetteter Software im Automobil.Proc. Workshop Modellbasierte Entwicklung Eingebetteter Systeme I (MBEES'05, Schloß Dagstuhl, Germany, Jan. 2005 S. 37-42. http://www.sse-tubs.de/publications/KRS_MBEES_InfoBericht_05.pdf
• [Glö06] T. Glötzner: Die Zertifizierung von ASCET nach der IEC 61508. Proc. Automotive - Safety & Security 2006, Shaker Verlag, Aachen 2006
• [JW03] C. Jung, M. Woltereck: Vorschlag eines Funktionssicherheitsprozesses für die verteilte Entwicklung sicherheitsrelevanter Systeme. Proc. Elektronik im Kraftfahrzeug, Baden-Baden (DE), 25-26.09.2003 VDI Berichte 1789/2003:1-20
• [CFG+05] M. Conrad, I. Fey, M. Grochtmann, T. Klein: Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. Inform. Forsch. Entwickl. 20(1-2): 3-10 (2005)
• [Rei06] M. Reinfrank: Why is Automotive Software so Valuable? Or 5000 Lines of Code for a Cup of Gasoline Less. Keynote Talk, Proc. Workshop Software Engineering for Automotive systems (SEAS'06'), 2006
• [PSK06] J. Palczynski, B. Schlich, and S. Kowalewski: Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. 4. Workshop Automotive Software Engineering. In Informatik 2006: Informatik für Menschen, Band 1. Volume P-93 of Lecture Notes in Informatics (LNI). 2006.
• [Pal05] J. Palczynski: Anforderungen an einen Model-Checker für Matlab/Simulink. Diplomarbeit. RWTH Aachen, Dez. 2005. http://www-i11.informatik.rwth-aachen.de/uploads/media/Diplomarbeit_JP_01.pdf
• [KB05] E. Kalix, S. Bunzel: Integration modellbasierter Entwurfsverfahren in Softwareverifikation und -entwicklungsprozesse. Proc Simulations- und Testmethoden für Software in Fahrzeugsystemen (ASIM-STS 2005), Berlin, 1. - 2. März 2005, S. 111 - 124. http://swt.cs.tu-berlin.de/asim-sts-05/tagband/kalix.pdf
• [Sch06] B. Schätz: Model-based engineering of embedded control software. Model-Based Development of Computer-Based Systems and Model-Based Methodologies for Pervasive and Embedded Software, 2006. MBD/MOMPES 2006. March 2006

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