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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Efficient development of safety-critical software


    Beteiligte:
    Camus, J.-L. (Autor:in)

    Erscheinungsdatum :

    01.02.2003


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    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. | Kraftfahrwesen | 2011


    Efficient software tool qualification for automotive safety-critical systems

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


    Changing safety-critical software

    Rierson, L.K. | IEEE | 2001