Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability

Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli

Research output: Book/ReportReportOther research output

3 Citations (Scopus)
22 Downloads (Pure)

Abstract

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. By using different instances of GNDC we are able to argue about the availability of effective methodologies of analysis, and on the possibility of applying compositional techniques.
Original languageUndefined
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages18
Publication statusPublished - Aug 2004

Publication series

NameCTIT technical report series
PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
No.TR-CTIT-04-36

Keywords

  • IR-56990
  • EWI-5770

Cite this

Gnesi, S., Lenzini, G., & Martinelli, F. (2004). Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. (CTIT technical report series; No. TR-CTIT-04-36). Enschede: Centre for Telematics and Information Technology (CTIT).
Gnesi, Stefania ; Lenzini, Gabriele ; Martinelli, Fabio. / Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. Enschede : Centre for Telematics and Information Technology (CTIT), 2004. 18 p. (CTIT technical report series; TR-CTIT-04-36).
@book{1797db8db4cd49c8b0ae1a4b222e8c06,
title = "Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability",
abstract = "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. By using different instances of GNDC we are able to argue about the availability of effective methodologies of analysis, and on the possibility of applying compositional techniques.",
keywords = "IR-56990, EWI-5770",
author = "Stefania Gnesi and Gabriele Lenzini and Fabio Martinelli",
note = "Imported from CTIT",
year = "2004",
month = "8",
language = "Undefined",
series = "CTIT technical report series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-04-36",
address = "Netherlands",

}

Gnesi, S, Lenzini, G & Martinelli, F 2004, Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. CTIT technical report series, no. TR-CTIT-04-36, Centre for Telematics and Information Technology (CTIT), Enschede.

Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. / Gnesi, Stefania; Lenzini, Gabriele; Martinelli, Fabio.

Enschede : Centre for Telematics and Information Technology (CTIT), 2004. 18 p. (CTIT technical report series; No. TR-CTIT-04-36).

Research output: Book/ReportReportOther research output

TY - BOOK

T1 - Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability

AU - Gnesi, Stefania

AU - Lenzini, Gabriele

AU - Martinelli, Fabio

N1 - Imported from CTIT

PY - 2004/8

Y1 - 2004/8

N2 - 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. By using different instances of GNDC we are able to argue about the availability of effective methodologies of analysis, and on the possibility of applying compositional techniques.

AB - 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. By using different instances of GNDC we are able to argue about the availability of effective methodologies of analysis, and on the possibility of applying compositional techniques.

KW - IR-56990

KW - EWI-5770

M3 - Report

T3 - CTIT technical report series

BT - Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -

Gnesi S, Lenzini G, Martinelli F. Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. Enschede: Centre for Telematics and Information Technology (CTIT), 2004. 18 p. (CTIT technical report series; TR-CTIT-04-36).