The software content of safety-critical avionics systems is increasing rapidly, potentially leading to project delays and cost overruns because of the complexity of verifying the code. By implementing automation techniques such as code generation in concert with a formally defined specification language, it is possible to achieve significant time and cost savings. These savings have been demonstrated at two major European companies on their own avionics projects.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Efficient development of safety-critical software


    Contributors:

    Publication date :

    2003-02-01


    Size :

    6 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    Efficient engineering of safety-critical, software-intensive systems

    Taiber, Joachim / McGregor, John D. | IEEE | 2014


    Efficient Software Tool Qualification for Automotive Safety-Critical Systems

    Astrom, A. / Izosimov, V. / Orsmark, O. et al. | British Library Conference Proceedings | 2011


    Efficient software tool qualification for automotive safety critical systems

    Astroem,A. / Izosimov,V. / Oersmark,O. et al. | Automotive engineering | 2011


    Efficient software tool qualification for automotive safety-critical systems

    Aström, Alexander / Izosimov, Viacheslav / Örsmark, Ola | Tema Archive | 2011


    Changing safety-critical software

    Rierson, L.K. | IEEE | 2001