Interference Analysis for Dependable Systems Using Refinement and Abstraction

  • Claus Pahl
Conference paper

DOI: 10.1007/3-540-45614-7_19

Volume 2391 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Pahl C. (2002) Interference Analysis for Dependable Systems Using Refinement and Abstraction. In: Eriksson LH., Lindsay P.A. (eds) FME 2002:Formal Methods—Getting IT Right. FME 2002. Lecture Notes in Computer Science, vol 2391. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Claus Pahl
    • 1
  1. 1.School of Computer ApplicationsDublin City UniversityDublin 9Ireland