Title :
Provably dependable software architectures for adaptable avionics
Author :
Stavridou, Victoria
Author_Institution :
Syst. Design Lab., SRI Int., Menlo Park, CA, USA
Abstract :
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
Keywords :
aircraft computers; military avionics; military computing; safety-critical software; software architecture; software fault tolerance; adaptable avionics; dependable software architectures; enabling technology; fault tolerance; formal demonstrations; integrated avionics; modular avionics; on-board computing utilization; partitioning; safety; security; Aerospace electronics; Aircraft; Certification; Communication system security; Computer architecture; Costs; Laboratories; Mathematical model; Software architecture; Software safety;
Conference_Titel :
Digital Avionics Systems Conference, 1999. Proceedings. 18th
Conference_Location :
St Louis, MO
Print_ISBN :
0-7803-5749-3
DOI :
10.1109/DASC.1999.863673