Cargando…
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...
| Autor principal: | |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
MDPI
2021
|
| Materias: | |
| 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 |