Interference analysis for dependable systems using refinement and abstraction
Pahl, ClausORCID: 0000-0002-9049-212X
(2002)
Interference analysis for dependable systems using refinement and abstraction.
In: Symposium Formal Methods Europe FME'2002., 22-24 Jul 2002, Copenhagen, Denmark..
A common requirement for modern distributed and reactive
systems is a high dependability guaranteeing reliability and security. The rigorous analysis of dependable systems specifications is of paramount importance for the reliability and security of these systems. A two-layered
modal specification notation will allow the specification of services and protocols for distributed dependable systems and their properties. Refinement and its dual – abstraction – will play the key roles in an integrated
development and analysis framework. Refinement and abstraction form the basis for an interference analysis method for security properties and for automated test case generation.