Filtern
Erscheinungsjahr
- 2009 (8) (entfernen)
Dokumenttyp
- Ausgabe (Heft) zu einer Zeitschrift (4)
- Diplomarbeit (2)
- Dissertation (1)
- Masterarbeit (1)
Schlagworte
- Echtzeitsystem (2)
- Modellfahrzeug (2)
- Anhänger (1)
- Computersimulation (1)
- Fahrsimulator (1)
- Fahrverhalten (1)
- Fahrzeug (1)
- Graph Technology (1)
- GraphUML (1)
- Image (1)
- Java (1)
- Object Recognition (1)
- Petri-Netz (1)
- Petri-Netz-Theorie (1)
- Petri-Netze (1)
- Pfadverfolgung (1)
- ReDSeeDS-Project (1)
- Regler (1)
- SOAMIG (1)
- SOMA (1)
- Sattelkraftfahrzeug (1)
- Sattelzug (1)
- Service-Oriented Architectures (SOA) (1)
- Software Development (1)
- Software techniques for object recognition (STOR) (1)
- Traceability (1)
- Transformation (1)
- Workflow (1)
- XSD (1)
- legacy software (1)
- migration (1)
Institut
- Institut für Softwaretechnik (8) (entfernen)
Im Rahmen dieser Arbeit wurden die zeitbewerteten Prädikat/Transitions-Netze (Z-Pr/T-Netze) zur Modellierung, Simulation und Verifikation sicherheitskritischer Echtzeitsysteme entwickelt. Z-Pr/T-Netze integrieren Konzepte zur Modellierung temporärer Zusammenhänge und sind darüber hinaus mittels der Berechnung von S- und T-Invarianten sowie der Identifikation von Traps und Co-Traps strukturell analysierbar. Die Eignung von Z-Pr/T-Netzen zur Modellierung, Simulation und Verifikation komplexer Systeme aus dem Anwendungsbereich sicherheitskritischer Echtzeitsysteme wird anhand des Earliest-Deadline-First-Protokolls (EDF) und des Priority-Inheritance-Protokolls (PIP) belegt. Es erfolgt daher eine Modellierung des EDF und PIP mittels Z-Pr/T-Netzen sowie eine Verifikation für das EDF und PIP basierend auf der strukturellen Analyse der korrespondierenden Z-Pr/T-Netze. Die Anwendbarkeit struktureller Analyseverfahren zur Verifikation des EDF und PIP in Verbindung mit der nicht zu unterschätzenden Komplexität eben dieser belegen die Anwendbarkeit von Z-Pr/T-Netzen zur Modellierung, Simulation und Verifikation komplexer Systeme aus dem Anwendungsbereich sicherheitskritischer Echtzeitsysteme.