Dependability Arguments with Trusted Bases

8 years 9 months ago
Dependability Arguments with Trusted Bases
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. Keywords-dependability; requirements and design; trusted bases; formal modeling and analysis;
Eunsuk Kang, Daniel Jackson
Added 20 May 2011
Updated 20 May 2011
Type Journal
Year 2010
Where RE
Authors Eunsuk Kang, Daniel Jackson
Comments (0)