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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Provably dependable software architectures for adaptable avionics


    Contributors:


    Publication date :

    1999-01-01


    Size :

    869952 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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 | Automotive engineering | 1994



    An adaptable software architecture for integrated avionics

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