A lightweight code analysis and its role in evaluation of a dependability case
Proceedings of the 33rd International Conference on Software Engineering
A method and tool for tracing requirements into specifications
Science of Computer Programming
| Hi-index | 0.00 |
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of the system's components called trusted bases. This paper describes an idiom for modeling systems with trusted bases, and a technique for analyzing a dependability argument---the argument that a trusted base is sufficient to establish a requirement.