This paper presents the results of a research project where the combination of techniques of sequence-based requirements specification and modelbased statistical testing has been applied to a real mirror control unit of a car door for reliability estimations. A complete chain from a requirements document to a statistical test report with a very high degree of automation is demonstrated. A practical solution for reliability analysis of embedded systems in a realistic industrial setup is proposed.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    From Requirements to Statistical Testing of Embedded Systems


    Contributors:


    Publication date :

    2007-05-01


    Size :

    475254 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Testing embedded microprocessors - Space application requirements

    CARLAN, A. / CONSTANT, R. / LEKVEN, C. | AIAA | 1977


    Testing embedded microprocessors (Space application requirements)

    Carlan, A. / Constant, R. / Lekven, C. | Tema Archive | 1977


    Requirements Engineering for complex embedded systems

    Ott,D. / 3SOFT,Erlangen,DE | Automotive engineering | 2005


    Requirements Engineering for Automotive Embedded Systems

    Staron, Miroslaw | Springer Verlag | 2019


    The Application of Statistical Hypothesis Methods to Quantitative Requirements Testing

    Kazunas, S. / Air Traffic Control Association | British Library Conference Proceedings | 2002