Computers are being used where no affordable level of testing is adequate. Safety and life critical systems must find a replacement for exhaustive testing to guarantee their correctness. Through a mathematical proof, hardware verification research has focused on device verification and has largely ignored system composition verification. To address these deficiencies, we examine how the current hardware verification methodology can be extended to verify complete systems.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Towards Composition of Verified Hardware Devices


    Beteiligte:
    E. T. Schubert (Autor:in) / K. Levitt (Autor:in) / G. C. Cohen (Autor:in)

    Erscheinungsdatum :

    1991


    Format / Umfang :

    58 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    A verified and efficient approach towards fatigue validation of safety parts

    Weihe,S. / Weigel,N. / Dressler,K. et al. | Kraftfahrwesen | 2011


    Towards a Verified Tool for the Investigation of Transmission Gear Rattle

    TOGAI, K. / YAMAGUCHl, H. / DIXON, A. et al. | British Library Conference Proceedings | 2007


    Verified Planar Formation Control Algorithms by Composition of Primitives

    Bobadilla, Leonardo / Johnson, Taylor T. / LaViers, Amy | AIAA | 2015


    A verified and efficient approach towards fatigue validation of safety parts

    Weihe, Stefan / Weigel, Nicolas / Dreßler, Klaus et al. | Tema Archiv | 2011


    DRIVER VERIFIED SELF PARKING

    AWAN MUHAMMAD / BENMIMOUN AHMED / BENMIMOUN MOHAMED et al. | Europäisches Patentamt | 2018

    Freier Zugriff