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

Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli

    Research output: Book/ReportReportOther research output

    4 Citations (Scopus)
    31 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).