The paper describes the early stages of work towards the development of specification based testing techniques for real time distributed systems. This work has taken place in the context of the aerospace industry, where the complexity and the criticality of avionic systems makes them a challenge to develop. This paper briefly presents the DoRIs/ADL notation and its proof theoretic semantics, and sketches the techniques used to represent test cases for single activities. We look forward to the issues dominating future work on the automatic generation of tests from DoRIs/ADL models. (4 pages)


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Specification-based testing for real-time avionic systems


    Contributors:

    Publication date :

    1999-01-01


    Size :

    1 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    Non-invasive testing of real-time avionic mu -processor systems

    Suchenek, M.A. / Xitong Zheng / Sarwar, G. | Tema Archive | 1989


    Real-time emulation of modular avionic systems

    Wilcock, G. W. / ERA Technology | British Library Conference Proceedings | 1992


    Total avionic real-time simulation

    Allen, B. / Clema, J.K. | Tema Archive | 1974



    Avionic display testing system

    JACKSON TIMOTHY EDWARD | European Patent Office | 2016

    Free access