====== Modellbasiertes Testen & Analyse eingebetteter Software ======

~~NOTOC~~
==== Inhalt ====
Innovationen im Bereich der eingebetteten Systeme werden zunehmend über Software und weniger über Hardware erreicht. Daraus resultiert eine zunehmende Komplexität der softwarebasierten Artefakte, welche im Falle einer Fehlfunktion tödliche Folgen haben kann. Bekannte Beispiele dafür sind autonom fliegende Flugzeuge oder dem Abstandsregeltempomat (ACC) im Automobil. Ein großer Schritt zur Beherrschung der bei der Entwicklung von Software auftretenden Komplexität sind modellbasierte Entwicklungsmethoden. Jedoch müssen auch während der modellbasierten Softwareentwicklung Richtlinien für sicherheitskritische Funktionen beachtet und erfüllt werden, um Fehler ausschließen zu können. In diesem Seminar sollen ausgewählte Entwicklungs-, Test-, Analyse- und Qualitätssicherungsverfahren, welche sowohl bei der modellgetriebenen Entwicklung von Software als auch im Entwicklungsprozess sicherheitskritischer Software eingesetzt werden, untersucht werden.


=== Voraussetzungen ===

  * Erfolgreich abgeschlossenes Proseminar

=== Themen ===
  * [[http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6227161|Slicing MATLAB Simulink models]] (Betreuer: [[lehrstuhl:mitarbeiter:gerlitz]])
  * [[http://dl.acm.org/citation.cfm?id=1450071|Symbolic analysis for improving simulation coverage of Simulink/Stateflow models]] (Betreuer: [[lehrstuhl:mitarbeiter:hansen]])
  * [[http://papers.sae.org/2013-01-0183/|Effort Reduction for Analysis of Safety Critical Software with Criticality Analysis]] (Betreuer: [[lehrstuhl:mitarbeiter:banila]])
  * [[http://www.iaeng.org/IJCS/issues_v39/issue_3/IJCS_39_3_05.pdf|An Embedded Control Software Development Environment with Simulink Models and UML Models]] (Betreuer: [[lehrstuhl:mitarbeiter:zaki]])
  * [[http://www.seer.ufrgs.br/rita/article/download/rita_v20_n1_p102/23796|From UML to Simulink CAAM: Formal Specification and Transformation Analysis]] (Betreuer: [[lehrstuhl:mitarbeiter:zaki]])
  * [[http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5066634|Abstract Simulation: A Static Analysis of Simulink Models]] (Betreuer: [[lehrstuhl:mitarbeiter:dernehl]])

==== Organisation ====
 Es wird eine Einführungsveranstaltung geben in der die Themen und der zeitliche Ablauf des Seminars vorgestellt werden. Abgeschlossen wird das Seminar durch eine schriftliche Ausarbeitung, wahlweise auf Deutsch oder Englisch, sowie eine mündliche Präsentation.

=== Sprache ===
  * Organisation: Deutsch/Englisch
  * Thematische Bearbeitung (Ausarbeitung + Präsentation): Deutsch oder Englisch.

=== Hinweise zur Anmeldung ===
Die Anmeldung erfolgt über die Zentrale Vergabe von Studien- und Seminarplätzen. Bitte geben Sie eventuelle Vorkenntnisse dort an. Eine Anmeldung über das Campus System ist nicht erforderlich.

=== Kriterien für eine erfolgreiche Teilnahme ===

  * Verfassen einer schriftlichen Ausarbeitung (Abgabe als PDF)
  * Folien und Abschlussvortrag (Abgabe der Folien als PDF oder ppt(x))
  * Einhaltung aller Fristen
  * Anwesenheit bei allen Pflichtterminen


=== Art der Veranstaltung ===
Seminar (4 ECTS)

=== Campus/L2P ===
[[https://www3.elearning.rwth-aachen.de/ss15/15ss-50882]]

=== Rückfragen===
Für Rückfragen wenden Sie sich bitte an [[:lehrstuhl:mitarbeiter:obster]].