Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents

Formal verification of distributed systems is essential, especially in mission-critical systems that cannot be restarted. Such are space systems in which satellites read sensor values and autonomously make actuator decisions based on them, and ground services only set general patterns of behavior. T...

Descripción completa

Detalles Bibliográficos
Autor principal: Daszczuk, Wiktor B.
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2021
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8271994/
https://www.ncbi.nlm.nih.gov/pubmed/34283066
http://dx.doi.org/10.3390/s21134541

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8271994/
https://www.ncbi.nlm.nih.gov/pubmed/34283066
http://dx.doi.org/10.3390/s21134541

Ejemplares similares