Exact acceleration of complex real-time model checking based on overlapping cycle

When real-time systems are modeled as timed automata, different time scales may lead to substantial fragmentation of the symbolic state space. Exact acceleration solves the fragmentation problem without changing system reachability. The relatively mature technology of exact acceleration has been use...

Descripción completa

Detalles Bibliográficos
Autores principales: Wang, Guoqing, Zhuang, Lei, Song, Yu, He, Mengyang, Ma, Ding, Ma, Ling
Formato: Online Artículo Texto
Lenguaje:English
Publicado: PeerJ Inc. 2020
Materias:
Real-Time and Embedded Systems
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7924618/
https://www.ncbi.nlm.nih.gov/pubmed/33816923
http://dx.doi.org/10.7717/peerj-cs.272

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7924618/
https://www.ncbi.nlm.nih.gov/pubmed/33816923
http://dx.doi.org/10.7717/peerj-cs.272

Ejemplares similares