Sustaining weapons system hardware and software represents a significant and ever-increasing portion of total system cost. Hardware components are becoming obsolete much sooner while weapons system lifetimes are increasing, We must identify more cost-effective solutions to engineering and reengineering these subsystems. Verifying and validating weapons systems are two of the most costly parts of either engineering process. Traditionally, hardware validation and verification is done by simulation and testing, In the past few years, math- and logic-based formal methods tools have begun to scale up to and be applied successfully to real-world problems. Incorporating formal verification methods into engineering and reengineering processes will cost-effectively and significantly improve the level of trust and the quality of our weapons systems. Formal methods are especially well suited for redesigning current weapon systems which have become unsupportable due to component obsolescence because they help minimize the astronomical costs of rigorously reverifying the reengineered components. We believe that formal methods are an important tool for effective engineering of future weapon systems.
Formal verification and legacy redesign
IEEE Aerospace and Electronic Systems Magazine ; 14 , 3 ; 31-36
1999-03-01
687049 byte
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Articles - Formal Verification & Legacy Redesign
Online Contents | 1999
|Formal verification and legacy redesign
Tema Archiv | 1998
|Formal Verification and Legacy Redesign
British Library Conference Proceedings | 1998
|JRC2012-74186 Formal Methods Verification and Validation (V&V) for Legacy Systems
British Library Conference Proceedings | 2012
|A New ReDesign for Assembly Method For Legacy Product Assembly Optimisation
SAE Technical Papers | 2015
|