Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Denis Makartetskiy"'
Autor:
Denis Makartetskiy, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Matteo Virgilio, Denise Leri, Paolo Denti, Roberto Finizio
Publikováno v:
Engineering Science and Technology, an International Journal, Vol 23, Iss 3, Pp 494-506 (2020)
In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles. Since formal methods are known
Externí odkaz:
https://doaj.org/article/41b66e15a6e14d258fb548d27f8f4bde
Autor:
Guido Marchetto, Denise Leri, Matteo Virgilio, Paolo Denti, Riccardo Sisto, Roberto Finizio, Fulvio Valenza, Denis Makartetskiy
Publikováno v:
Engineering Science and Technology, an International Journal, Vol 23, Iss 3, Pp 494-506 (2020)
In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles. Since formal methods are known
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b41b5e7a0e5bc8e5f288dcfa986e9a7
http://www.sciencedirect.com/science/article/pii/S2215098619306147
http://www.sciencedirect.com/science/article/pii/S2215098619306147
Autor:
Riccardo Sisto, Denis Makartetskiy
Publikováno v:
ETFA
During last years, the importance of safety aspects in industry has significantly increased. System engineering modeling language SysML is widely used in order to manage increasing complexity of embedded systems. Being just a modeling language, SysML
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::72789d0ae530de765f1e948617b70ecb
http://hdl.handle.net/11583/2460420
http://hdl.handle.net/11583/2460420
