Achieving dependability in sensor networks through automated requirements-based programming
Computer Communications
Kripke modelling and verification of temporal specifications of a multiple UAV system
Annals of Mathematics and Artificial Intelligence
Testing and evaluation aspects of integration of unmanned air systems into the national air space
Proceedings of the 10th Performance Metrics for Intelligent Systems Workshop
Hi-index | 0.00 |
NASA is working on complex future missions that require cooperation between multiple satellites or rovers. To implement these systems, developers are proposing and using intelligent and autonomous systems. These autonomous missions are new to NASA, and the software development community is just learning to develop such systems. With these new systems, new verification and validation techniques must be used. Current techniques have been developed based on large monolithic systems. These techniques have worked well and reliably, but do not translate to the new autonomous systems that are highly parallel and nondeterministic.