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
Miscellaneous
No indication
English
SOLUTIONS - Software - Architecture for Verifiable Software
Online Contents | 2005
Automotive engineering | 2013
|The TableSat Platform and Its Verifiable Control Software
British Library Conference Proceedings | 2009
|