====== 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 ===

  * In diesem Seminar sind Bachelor- und Masterstudierende zugelassen. Für Teilnehmer des Bachelor-Studiengangs ist das Proseminar Voraussetzung.
  * 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öhen.**

=== Themen ===
  * [[http://ieeexplore.ieee.org/document/7181525/|Modeling Model Slicers]]
  * [[https://link.springer.com/chapter/10.1007%2F978-3-662-45803-7_27|Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports]]


Die hier genannten Themen sind Beispiele und zeigen die Richtung der verfügbaren Themen. An der Auswahl der Papiere kann sich bis zur Einführungsveranstaltung noch geringfügig ändern.
\\
/* -------Hier dann die Themen mit Links einfügen (Dieser Eintrag ist noch alt!):
  * [[http://www.sciencedirect.com/science/article/pii/S0956713515302930|A review of methods for the evaluation of handwashing efficacy]]
----------Ende des Kommentars */



{{page>lehre:sose18:seminarfooter&nofooter}}