This chapter is devoted to the practical evaluation of probability‐based formal procedures, with test plans based on formal consistent rules that, by experience, give safe designs. Two other procedures for verification are put forward, namely highly accelerated life testing, (HALT), and load‐strength analysis based on characterizing tests. The chapter discusses different approaches for planning and evaluation of verification tests. These require different kinds of verification loads. It explains how to evaluate tests for high cycle fatigue. The second moment load‐strength analysis gives opportunities for continuous improvements by identifying the areas of weakest knowledge. This load‐strength analysis can also be the basis for constructing formal decision rules for release. Probability‐based formal procedures are primarily constructed for consistent decision rules with no immediate reference to the specific component or structure in question.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification of Systems and Components


    Contributors:


    Publication date :

    2013-09-20


    Size :

    25 pages




    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English





    Verification of safety critical components

    Karlsson,M. / Johannesson,B. / de Mare,J. et al. | Automotive engineering | 2005


    Verification of safety critical components

    Karlsson, Magnus / Johannesson, Bengt / Mare, Jacques De et al. | Tema Archive | 2005


    Verification of Safety Critical Components

    Karlsson, M. / Johannesson, B. / de Mare, J. et al. | British Library Conference Proceedings | 2005