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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Towards Composition of Verified Hardware Devices


    Contributors:
    E. T. Schubert (author) / K. Levitt (author) / G. C. Cohen (author)

    Publication date :

    1991


    Size :

    58 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    A verified and efficient approach towards fatigue validation of safety parts

    Weihe,S. / Weigel,N. / Dressler,K. et al. | Automotive engineering | 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 Archive | 2011


    DRIVER VERIFIED SELF PARKING

    AWAN MUHAMMAD / BENMIMOUN AHMED / BENMIMOUN MOHAMED et al. | European Patent Office | 2018

    Free access