Alle Foliensätze (C) H. Schlingloff, M. Conrad 2009. Verwendung gestattet nur für den
prvaten eigenen Gebrauch; Weitergabe nur mit vorheriger schriftlicher Genehmigung!
Das Passwort für geschützte Archive ist auf Anfrage erhältlich.
25.4.2009: Automotive Software Engineering 2: Modellbasierte Entwicklung
25.4.2009: Anforderungsdefinition 1: Lasten- und Pflichtenhefte, Türsteuergerät (ppt, pdf)
25.4.2009: Automotive Software Engineering 1: Domäne und Abstraktionsebenen
25.4.2009: Einleitung: Mars Polar Lander (ppt, pdf)
Übungsblätter
Alle Aufgaben (C) H. Schlingloff, M. Conrad 2009. Verwendung gestattet nur für den
prvaten eigenen Gebrauch; Weitergabe nur mit vorheriger schriftlicher Genehmigung!
23.5.2009: Assignment 2: Stachart Model, Simulink Model (pdf)
6.5.2009: Assignment 1: Requirements, Simple Simulink Model (pdf)
Vorlesungsankündigung
Eingebettete Systeme - also informationsverarbeitende Systeme, die
fest in technische Geräte eingebaut sind - stellen die nächste
Revolution der Informatik dar: schon heute gibt es mehr
eingebettete Systeme als Menschen auf der Welt, mit andauernden
zweistelligen Zuwachsraten. Das vorherrschende Paradigma für
die Entwicklung der Steuersoftware eingebetteter Systeme ist der
modellbasierte Entwurf, bei dem ausgehend von einem initialen
Designmodellen durch schrittweise Verfeinerung plattformunabhängige
und plattformspezifische Modelle erzeugt werden, bis hin zu einem
Implementierungsmodell, aus dem der Produktivcode automatisch
generiert werden kann. Parallel zur Verfeinerung der Modelle erfolgt
die Qualitätssicherung, bei der Simulationen und Tests bereits auf
Modellebene durchgeführt werden.
In dieser neu konzipierten Projektvorlesung werden die wichtigsten Prinzipien
der Konstruktion eingebetteter Systeme anhand von Beispielen behandelt.
Schwerpunkt liegt dabei auf neueren Technologien zur Steigerung der
Produktivität der Software-Erstellung und zur Erhöhung der Qualität
der resultierenden Produkte, also der logischen Anforderungsanalyse,
der Modellierung und Codegenerierung sowie dem modellbasierten Test.
Anwendungsbeispiele sind aus den Bereichen Medizintechnik, Avionik,
Automatisierungstechnik und automobile Steuergeräte.
Die Vorlesung kann als Projektvorlesung mit dem nachfolgenden Seminar
oder einer weiteren Veranstaltung aus dem WS 2009/2010 zu einem
Halbkurs kombiniert werden.
Seminarankündigung
Im Rahmen dieses Projektseminars sollen die Teilnehmer zunächst
ein näheres Verständnis der modellbasierten Entwicklung an Hand
praktischer Übungen mit dem weit verbreiteten Werkzeug Simulink
von The MathWorks, Inc., gewinnen.
Dann sollen neuere Arbeiten zum Thema modellbasierte Entwicklung
und Entwurf eingebetteter Steuergeräte erarbeitet und von den
Teilnehmern vorgestellt werden.
Im Anschluss erfolgt eine Ausarbeitung und Bewertung der Ergebnisse
des Seminars.
Die Veranstaltung findet in Zusammenarbeit mit Dr. Mirko Conrad,
The MathWorks, Inc., USA, als Blockseminar an drei Wochenenden
(Termine siehe oben) statt. Die Teilnehmerzahl ist beschränkt.
Vorlesung und Seminar bauen aufeinander auf. Das Seminar kann nur in
Kombination mit der Projektvorlesung als Prüfungsleistung eingebracht
werden, d.h. es gibt keinen separaten Seminarschein.
J. Birkholz: Überprüfung von Modellierungsrichtlinien
(pdf)
Y. Xie: Entwicklung von AUTOSAR-Komponenten
M. Kreikenbaum: Tool-Qualifikation nach Do 178-B und IEC 61508
M. Borgmann: Modellbasierter Entwurf sicherheitskritischer Anwendungen
(pdf)
K. Völlinger: Testüberdeckungskriterien für Modelle
J. Godesa: Modellprüfung von Simulink / Stateflow Modellen
(pdf)
D. Hachenberger: Erkennung von Laufzeitfehlern durch abstrakte Interpretation
S. Jänisch: Verläßlichkeitsanalyse modellbasierter Entwürfe
M. Werner: Automatische Code-Generierung aus Simulink-Modellen
(ppt)
A. Frenzel: Validierung automatisch generierten Codes
Wer noch kein Thema hat (und die Veranstaltung als Prüfungsleistung
einbringen möchte), wende sich bitte baldmöglichst an mich!
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.
(Semantics of Simulink Models) R. Shenoy, B. McKay, P. Mosterman:
On Simulation of Simulink Models for Model-Based Design. In: Handbook of Dynamic System Modeling, CRC Press, 2006.
(Clone Detection in Model-Based Designs) F. Deissenboeck, B. Hummel, E. Juergens, B. Schätz, S. Wagner:
Clone Detection in Automotive Model-Based Development. In: Proc. MBEES 2008
(Modeling Guidelines Checking) T. Farkas, H. Röbig:
Automatisierte, werkzeugübergreifende Richtlinienprüfung zur Unterstützung des Automotive-Entwicklungsprozesses. In: Proc MBEES 2007 I. Stürmer, C. Dziobek, H. Pohlheim:
Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. In: Proc. MBEES 2008 P. Kodati:
Implementing Model Standards.
Video tutorial (13min), Mathworks Inc.
(Automatic Code Generation from Simulink Models) P. 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.
(Translation Validation of Generated Code) M. Conrad:
Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code. Proc. ASE Workshop @ SE 2008