---
res:
  bibo_abstract:
  - Für die Ausführung der Software müssen die Softwarekomponenten auf ECUs verteilt
    werden. Dabei unterliegt die Verteilung sicherheitskritischen Constraints. Das
    Suchen der optimalen und gültigen Verteilung ist sehr komplex. Die Lösung kann
    effizient durch Verfahren des Operations Research ermittelt werden. Jedoch ist
    die manuelle Kodierung sehr aufwändig. Dieser Beitrag stellt eine modellgetriebene
    Methode und Werkzeugunterstützung vor, welche die Beschreibung von Constraints
    und Optimierungen vereinfacht sowie die formale Kodierung und Lösungssuche automatisiert.
    Dies erlaubt die effiziente Nutzung der Macht von formalen Modellen ohne Kenntnis
    der formalen mathematischen Verfahren. Die Vorteile der Methode werden anhand
    eines Beispiels aus der Automobilindustrie beschrieben. @ger
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Uwe
      foaf_name: Pohlmann, Uwe
      foaf_surname: Pohlmann
  - foaf_Person:
      foaf_givenName: Jörg
      foaf_name: Holtmann, Jörg
      foaf_surname: Holtmann
      foaf_workInfoHomepage: http://www.librecat.org/personId=3875
    orcid: 0000-0001-6141-4571
  - foaf_Person:
      foaf_givenName: Matthias
      foaf_name: Meyer, Matthias
      foaf_surname: Meyer
      foaf_workInfoHomepage: http://www.librecat.org/personId=683
  dct_date: 2016^xs_gYear
  dct_language: eng
  dct_title: Das Erwachen der Macht – Automatische Softwareverteilung@
...