Verifiable MDS Architecture (VMA) is a software architecture that facilitates the construction of highly verifiable flight software for NASA s Mission Data System (MDS), especially for smaller missions subject to cost constraints. More specifically, the purpose served by VMA is to facilitate aggressive verification and validation of flight software while imposing a minimum of constraints on overall functionality. VMA exploits the state-based architecture of the MDS and partitions verification issues into elements susceptible to independent verification and validation, in such a manner that scaling issues are minimized, so that relatively large software systems can be aggressively verified in a cost-effective manner.
Architecture for Verifiable Software
2005-12-01
Sonstige
Keine Angabe
Englisch
SOLUTIONS - Software - Architecture for Verifiable Software
Online Contents | 2005
The TableSat Platform and Its Verifiable Control Software
British Library Conference Proceedings | 2009
|