Methode zur Entwicklung sicherheitskritischer eingebetteter Systeme mittels deterministischer UML-Modelle

Abstract

Parallele Verarbeitungen erhöhen die Komplexität bei der Entwicklung von signalverarbeitenden eingebetteten Systemen. Die Synchronisierung der Ressourcen und die Gewährleistung von deterministischem Verhalten werden häufig nicht betrachtet. Infolgedessen erfordern die Suche und die Behebung von Fehlern mehr Zeit. Diese Arbeit stellt eine Methode zur Entwicklung von signalverarbeitenden eingebetteten Systemen vor. Durch das in dieser Arbeit vorgestellte DMOSES-Profil werden deterministische Modelle in UML unabhängig von der HardwarePlattform gewährleistet. Bei der Entwicklung von sicherheitskritischen Systemen wird die DMOSESMethode zur Sicherstellung eines deterministisches Ausfuhrungsverhalten genutzt.