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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal verification and legacy redesign


    Contributors:


    Publication date :

    1998-01-01


    Size :

    721287 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Formal verification and legacy redesign

    Young, F.C.D. / Houston, J.A. | IEEE | 1999



    Formal verification and legacy redesign

    Young, F.C.D. / Houston, J.A. | Tema Archive | 1998


    Formal Verification and Legacy Redesign

    Young, F. / Houston, J. / IEEE | British Library Conference Proceedings | 1998


    JRC2012-74186 Formal Methods Verification and Validation (V&V) for Legacy Systems

    Georgiadis, S.K. / American Society of Mechanical Engineers | British Library Conference Proceedings | 2012