Zeitschriftenartikel
Methode zur Entwicklung sicherheitskritischer eingebetteter Systeme mittels deterministischer UML-Modelle
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Dateien
Zusatzinformation
Datum
2009
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Geselllschaft für Informatik e.V.
Zusammenfassung
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.