{"date_created":"2020-12-22T09:30:16Z","citation":{"chicago":"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.","short":"U. Pohlmann, J. Holtmann, M. Meyer, in: Tagungsband Embedded Software Engineering Kongress 2016, 2016, pp. 587–592.","bibtex":"@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} }","apa":"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).","ieee":"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.","mla":"Pohlmann, Uwe, et al. “Das Erwachen Der Macht – Automatische Softwareverteilung.” <i>Tagungsband Embedded Software Engineering Kongress 2016</i>, 2016, pp. 587–92.","ama":"Pohlmann U, Holtmann J, Meyer M. Das Erwachen der Macht – Automatische Softwareverteilung. In: <i>Tagungsband Embedded Software Engineering Kongress 2016</i>. ; 2016:587-592."},"user_id":"15249","department":[{"_id":"241"}],"_id":"20824","title":"Das Erwachen der Macht – Automatische Softwareverteilung","abstract":[{"lang":"ger","text":"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. "}],"author":[{"first_name":"Uwe","full_name":"Pohlmann, Uwe","last_name":"Pohlmann"},{"last_name":"Holtmann","id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","first_name":"Jörg"},{"first_name":"Matthias","id":"683","last_name":"Meyer","full_name":"Meyer, Matthias"}],"year":"2016","status":"public","publication":"Tagungsband Embedded Software Engineering Kongress 2016","type":"conference","date_updated":"2022-01-06T06:54:40Z","page":"587-592","language":[{"iso":"eng"}]}