conference paper Uwe Pohlmann author Jörg Holtmann author 38750000-0001-6141-4571 Matthias Meyer author 683 241 department 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. 2016 eng 587-592 U. Pohlmann, J. Holtmann, and M. Meyer, “Das Erwachen der Macht – Automatische Softwareverteilung,” in <i>Tagungsband Embedded Software Engineering Kongress 2016</i>, 2016, pp. 587–592. Pohlmann, Uwe, Jörg Holtmann, and Matthias Meyer. “Das Erwachen Der Macht – Automatische Softwareverteilung.” In <i>Tagungsband Embedded Software Engineering Kongress 2016</i>, 587–92, 2016. Pohlmann U, Holtmann J, Meyer M. Das Erwachen der Macht – Automatische Softwareverteilung. In: <i>Tagungsband Embedded Software Engineering Kongress 2016</i>. ; 2016:587-592. Pohlmann, U., Holtmann, J., &#38; Meyer, M. (2016). Das Erwachen der Macht – Automatische Softwareverteilung. In <i>Tagungsband Embedded Software Engineering Kongress 2016</i> (pp. 587–592). Pohlmann, Uwe, et al. “Das Erwachen Der Macht – Automatische Softwareverteilung.” <i>Tagungsband Embedded Software Engineering Kongress 2016</i>, 2016, pp. 587–92. @inproceedings{Pohlmann_Holtmann_Meyer_2016, title={Das Erwachen der Macht – Automatische Softwareverteilung}, booktitle={Tagungsband Embedded Software Engineering Kongress 2016}, author={Pohlmann, Uwe and Holtmann, Jörg and Meyer, Matthias}, year={2016}, pages={587–592} } U. Pohlmann, J. Holtmann, M. Meyer, in: Tagungsband Embedded Software Engineering Kongress 2016, 2016, pp. 587–592. 208242020-12-22T09:30:16Z2022-01-06T06:54:40Z