Provably dependable software architectures
- 1 November 1998
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 133-136
- https://doi.org/10.1145/288408.288442
Abstract
Dependable architectures demonstrably possess properties such as safety, security and faulttolerance. We are interested in developing methods allowing formal demonstrations throughproof that an architecture does indeed possess the desired dependability properties. We focuson architecture hierarchies as a means of enabling such demonstrations. We pose a challengeproblem for dependable software architectures and we propose a research agenda for solving it.1 What are dependable software...Keywords
This publication has 1 reference indexed in Scilit:
- Advanced System Concepts for Future Civil Aircraft—an Overview of Avionic ArchitecturesProceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering, 1995