TY  - THES
AB  - Informatiker realisieren innovative Funktionen von cyber-physischen Systemen durch die Vernetzung von autarken Systemen. Die Entwicklung dieser Systeme wird schwieriger, weil die Menge an sicherheitskritischer Software, die Heterogenität der verwendeten Plattformen und der Vernetzungsgrad ansteigen. Jedoch bedienen existierende modellgetriebene Methoden die Entwicklungsherausforderungen nicht effizient genug, da diese sich typischerweise auf den formalen Entwurf und die Verifizierung von Sicherheits- und Echtzeiteigenschaften fokussieren. Sie beantworten nicht die Frage wie die Systemsicherheit im Verlauf der folgenden Konstruktionsschritte beibehalten werden kann. In dieser Dissertation fokussiere ich mich auf die Konstruktionsschritte Validierung der Systemintegration, Zuordnung von Systemressourcen und auf die Implementierung. Ich stelle einen durchgängig modellgetriebenen Ansatz vor. Dieser beinhaltet Verfahren für die Systemintegrationsvalidierung mittels „Model-in-the-Loop“ Simulation, die automatische Softwareverteilung und die generative Softwarekonstruktion. Der Ansatz stellt die Systemsicherheit in Bezug auf systematische Fehler sicher. Er ermöglicht Entwurfs- und Implementierungsfehler zu entdecken und zu vermeiden. Hierdurch wird die Zuverlässigkeit der Systeme verbessert und eine effiziente Entwicklung ermöglicht. Zur Evaluierung des Ansatzes stelle ich eine integrierte Entwicklungsumgebung bereit und führe verschiedene Fallstudien durch. Die Evaluierung zeigt die effektive und im Vergleich zum Stand der Technik effizientere Anwendung von (1) der „Model-in-the-Loop“ Simulation im Kontext eines virtuellen Prototyps, (2) der Spezifikation von Allokationsbeschränkungen und der automatisierten Allokationsplanung und (3) der Generierung von ausführbaren Programmen für heterogene, verteilte, vernetzte eingebettete Plattformen.
AU  - Pohlmann, Uwe
CY  - Paderborn
DA  - 2018
DO  - 10.17619/UNIPB/1-313
DP  - Universität Paderborn
LA  - eng
N1  - Tag der Verteidigung: 16.02.2018
N1  - Universität Paderborn, Dissertation, 2018
PB  - Veröffentlichungen der Universität
PY  - 2018
SP  - 1 Online-Ressource (XII, 323 Seiten)
T2  - Institut für Informatik
TI  - A model-driven software construction approach for cyber-physical systems
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-30659
Y2  - 2026-01-08T23:18:59
ER  -