The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
402
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
402Paperback(1st ed. 2021)
Product Details
ISBN-13: | 9783030763831 |
---|---|
Publisher: | Springer International Publishing |
Publication date: | 05/16/2021 |
Series: | Lecture Notes in Computer Science , #12673 |
Edition description: | 1st ed. 2021 |
Pages: | 402 |
Product dimensions: | 6.10(w) x 9.25(h) x (d) |