Zobrazeno 1 - 3
of 3
pro vyhledávání: '"UML Validation"'
Publikováno v:
Reliability Engineering & System Safety. 158:172-184
The released ISO 26262 standard for automotive systems requires to create a hazard analysis and risk assessment and to create safety goals, to break down these safety goals into functional safety requirements in the functional safety concept, to spec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6714bb2391899790ad459cafb2a25f9b
https://doi.org/10.1016/j.ress.2016.08.018
https://doi.org/10.1016/j.ress.2016.08.018
Publikováno v:
ANT/SEIT
This paper describes a way based on operational semantics of π-calculus and uses TGG tool to formalize sequence diagrams to establish formal verification through model transformations. Our transformation uses basic interactions and combined fragment
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c6abe02456275b7410815b676c4d4e4
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.