====== 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 untersucht werden, welche sowohl bei der modellgetriebenen Entwicklung von Software als auch im Entwicklungsprozess sicherheitskritischer Software eingesetzt werden.

=== Voraussetzungen ===

  * Proseminar
  * Ggf. ist Vorwissen für die Bearbeitung einzelner Themen von Vorteil
  * Bitte geben Sie relevantes Vorwissen bei Ihrer Anmeldung mit an, um Ihre Chance auf Zuteilung zu erhöhren.

=== Themen ===

  * [[http://link.springer.com/chapter/10.1007%2F978-3-642-35702-2_8|Hazard Analysis for Technical Systems]]
    * Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]
    * Geeignet für: Bachelor/Master
  * [[http://www.jiii.org/uploadfile/2014/1112/20141112125949616.pdf|A Study on Situation Analysis for ASIL 
Determination]]
    * Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]
    * Geeignet für: Bachelor/Master
  * [[http://papers.sae.org/2014-01-0306/|Efficient Testing Framework for Simulink Models with MTCD and Automated Test Assessments in the Context of ISO 26262]]
    * Betreuer: [[lehrstuhl:mitarbeiter:wiechowski]]
    * Geeignet für: Master
  * [[http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/modevva07_01.pdf#page=19|A Novel Approach to Model–Based Acceptance Testing]]
    * Betreuer: [[lehrstuhl:mitarbeiter:akugler]]
    * Geeignet für: Bachelor/Master
  * [[https://en.wikipedia.org/wiki/Hardware-in-the-loop_simulation|Ein Paper über Hardware-in-the-loop Testen]]
    * Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]
    * Geeignet für: Master
  * [[http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1374325|Slice-based cohesion metrics and software intervention]]
    * Betreuer: [[lehrstuhl:mitarbeiter:gerlitz]]
    * Geeignet für: Bachelor/Master
  * [[http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=739746&tag=1|Automatic testing of reactive systems]]
    * Betreuer: [[lehrstuhl:mitarbeiter:hansen]]
    * Geeignet für: (Bachelor)/Master
  * [[http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5563004 |Supporting Tool for Embedded Software Testing]]
    * Betreuer: [[lehrstuhl:mitarbeiter:banila]]
    * Geeignet für: Master
  * [[http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5959729 |Towards a Solution for Change Impact Analysis for Software Product Line Products]]
    * Betreuer: [[lehrstuhl:mitarbeiter:zaki]]
    * Geeignet für: Bachelor/Master		


==== 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 auf Deutsch oder Englisch, sowie einer mündlichen Präsentation.
 
Dieses Seminar wird organisatorisch zusammen mit zwei weiteren Themen unter dem Titel "Ausgesuchte Themen zur Eingebetteten Software" geführt. Es gibt einen gemeinsamen Lernraum im L2P, eine gemeinsame Campus-Veranstaltung und eine gemeinsame Einführungsveranstaltung. Die Notenmeldung erfolgt jedoch unter dem entsprechend gewählten Titel.

=== Terminplanung ===
Mittwoch, 7.10.2015 -- Kickoff\\
Donnerstag, 8.10.2015 -- Themenwahl\\
Donnerstag, 29.10.2015 -- Abgabe Structure & Bibliography\\
Freitag, 30.10.2015 -- Abmelde-Deadline\\
Sonntag 6.12.2015 -- First Version\\
Sonntag 17.1.2016 -- Final Version\\
Sonntag 7.2.2016 -- Slides Draft


=== 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) und Einhaltung der Rahmenbedingungen (Siehe Einführungsveranstaltung)
  * 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/ws15/15ws-45873|L2P ist aktiv ab ca. 6-8 Wochen vor Vorlesungsbeginn]]\\
[[https://www.campus.rwth-aachen.de/rwth/all/event.asp?mode=user&gguid=0x613FB23A5D8D324D888232C95BC988C0&tguid=0x0B473CF286B45B4984CD02565C07D6F8|Campus Link]]

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