Matches in SemOpenAlex for { <https://semopenalex.org/work/W1765853811> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W1765853811 abstract "Im Rahmen dieser Arbeit wurden die zeitbewerteten Pradikat/Transitions-Netze (Z-Pr/T-Netze) zur Modellierung, Simulation und Verifikation sicherheitskritischer Echtzeitsysteme entwickelt. Z-Pr/T-Netze integrieren Konzepte zur Modellierung temporarer Zusammenhange und sind daruber 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 fur 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 unterschatzenden Komplexitat eben dieser belegen die Anwendbarkeit von Z-Pr/T-Netzen zur Modellierung, Simulation und Verifikation komplexer Systeme aus dem Anwendungsbereich sicherheitskritischer Echtzeitsysteme." @default.
- W1765853811 created "2016-06-24" @default.
- W1765853811 creator A5017922767 @default.
- W1765853811 date "2008-01-01" @default.
- W1765853811 modified "2023-09-27" @default.
- W1765853811 title "Zeitbewertete Prädikat/Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme" @default.
- W1765853811 cites W1518292187 @default.
- W1765853811 cites W1521505629 @default.
- W1765853811 cites W1528359128 @default.
- W1765853811 cites W1531156418 @default.
- W1765853811 cites W1546668932 @default.
- W1765853811 cites W1561267729 @default.
- W1765853811 cites W1573192249 @default.
- W1765853811 cites W1593414957 @default.
- W1765853811 cites W167751234 @default.
- W1765853811 cites W1811918760 @default.
- W1765853811 cites W1909871898 @default.
- W1765853811 cites W1997422892 @default.
- W1765853811 cites W2033839526 @default.
- W1765853811 cites W2052423355 @default.
- W1765853811 cites W2109488193 @default.
- W1765853811 cites W2112788196 @default.
- W1765853811 cites W2117834984 @default.
- W1765853811 cites W2122571918 @default.
- W1765853811 cites W2123717426 @default.
- W1765853811 cites W2132751203 @default.
- W1765853811 cites W2150621030 @default.
- W1765853811 cites W2151612633 @default.
- W1765853811 cites W2159012718 @default.
- W1765853811 cites W2160293203 @default.
- W1765853811 cites W2163754392 @default.
- W1765853811 cites W2166808658 @default.
- W1765853811 cites W2168132955 @default.
- W1765853811 cites W631158496 @default.
- W1765853811 cites W7136068 @default.
- W1765853811 cites W84477575 @default.
- W1765853811 hasPublicationYear "2008" @default.
- W1765853811 type Work @default.
- W1765853811 sameAs 1765853811 @default.
- W1765853811 citedByCount "0" @default.
- W1765853811 crossrefType "dissertation" @default.
- W1765853811 hasAuthorship W1765853811A5017922767 @default.
- W1765853811 hasConcept C121332964 @default.
- W1765853811 hasConcept C138885662 @default.
- W1765853811 hasConcept C15708023 @default.
- W1765853811 hasConcept C41008148 @default.
- W1765853811 hasConceptScore W1765853811C121332964 @default.
- W1765853811 hasConceptScore W1765853811C138885662 @default.
- W1765853811 hasConceptScore W1765853811C15708023 @default.
- W1765853811 hasConceptScore W1765853811C41008148 @default.
- W1765853811 hasLocation W17658538111 @default.
- W1765853811 hasOpenAccess W1765853811 @default.
- W1765853811 hasPrimaryLocation W17658538111 @default.
- W1765853811 isParatext "false" @default.
- W1765853811 isRetracted "false" @default.
- W1765853811 magId "1765853811" @default.
- W1765853811 workType "dissertation" @default.