Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Lenzini G., Martinelli F. Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. In: Mefisto, Final Workshop (Pisa, Italy, 06/0). Atti, vol. ENTCS 99 pp. 111 - 126. Mario Bravetti, Roberto Gorrieri (eds.). Elsevier, 2004.
This paper presents a framework where dependable systems can be uniformly modeled and dependable properties analyzed within the Generalized Non Deducibility on Compositions (GNDC), a scheme that has been profitably used in definition and analysis of security properties. Precisely, our framework requires a systems to be modelled using a formal calculus, here the CCS process algebra, where both the failing behaviour of the system and the related fault-recovering procedures are also explicitly described. An environment able to inject any fault in the system is then defined as a separated component. The parallel composition between the system and the environment represents our scenario of analysis, where some fault tolerance property (e.g., fail stop, safe and silent) are studied as instances of GNDC properties.
URL: http://www.informatik.uni-trier.de/~ley/db/journals/entcs/entcs99.html
Subject Dependability
Fault Tolerance
Non Interference
Formal Verification
F.3 Logics and Meanings of Programs
F.3.1 Specifying and Verifying and Reasoning about Programs

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional