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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal verification and legacy redesign


    Beteiligte:
    Young, F.C.D. (Autor:in) / Houston, J.A. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1999-03-01


    Format / Umfang :

    687049 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Formal verification and legacy redesign

    Young, F.C.D. / Houston, J.A. | Tema Archiv | 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


    A New ReDesign for Assembly Method For Legacy Product Assembly Optimisation

    El-Nounu, AbdulRahman / Forster, Kevin / Crossley, Richard et al. | SAE Technical Papers | 2015