Dependable architectures demonstrably possess properties such as safety, security and fault tolerance. We are interested in developing methods allowing formal demonstrations through proof that an architecture does indeed possess the desired dependability properties. We focus on architecture hierarchies as a means of enabling such demonstrations. Integrated avionics offer unprecedented generality and on-board computing utilization which are adaptability enabling technologies. We pose integrated avionics as a challenge problem for dependable software architectures and we propose a research agenda for solving it.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Provably dependable software architectures for adaptable avionics


    Beteiligte:
    Stavridou, V. (Autor:in)


    Erscheinungsdatum :

    01.01.1999


    Format / Umfang :

    869952 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Dependable Architectures for Avionics Applications

    Barrett, P. A. / ENEA; Agency: Italy | British Library Conference Proceedings | 1994


    Dependable architectures for avionics applications

    Barrett,P.A. / Univ.of Newcastle Upon Tyne,Dep.of Mech.Engng.GB | Kraftfahrwesen | 1994



    An adaptable software architecture for integrated avionics

    Tracz, W. / Coglianese, L. | IEEE | 1993