Startseite > Publikationen > Publikationen

Publikationen

Pohlmann, Uwe;Holtmann, Jörg;Meyer, Matthias:

Das Erwachen der Macht – Automatische Softwareverteilung.

In: Tagungsband Embedded Software Engineering Kongress 2016, S. 587-592, 28. Nov. - 2. Dez. 2016

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.

Dateien

PHM16.pdf



Bibtex

@inproceedings{hniid=9458,
author = {Pohlmann, Uwe and Holtmann, J{\"o}rg and Meyer, Matthias},
title = {Das Erwachen der Macht – Automatische Softwareverteilung},
booktitle = {Tagungsband Embedded Software Engineering Kongress 2016},
pages = {587-592},
month = {28~} # nov # { - 2~} # dec,
year = {2016},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/9458