Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence (2009)

Author(s): Randell B, Koutny M

    Abstract: Occurrence Nets (ONs) are directed acyclic graphs that represent causality and concurrency information concerning a single execution of a system. Structured Occurrence Nets (SONs), consist of multiple ONs associated together by means of various types of formal relationship, and are intended for recording information about either (i) the actual or envisaged behaviour of complex systems, as they interact and evolve, or (ii) evidence that is being gathered and analysed concerning the past behaviour of complex evolving systems. The present report is intended as an addition to our prior work, focussed on the problem of supporting the analysis of evidence about the activities of complex (hardware, software and human) systems that were involved in cybercrime, or are implicated in major accidents, situations in which all that is likely to be to hand is incomplete, contradictory and uncertain evidence.

      • Date: September 2009
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 26
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: failures, errors, faults, dependability, judgement, occurrence nets, abstraction, formal analysis

      Staff

      Professor Maciej Koutny
      Professor of Computing Science

      Professor Brian Randell
      Emeritus Professor, and Senior Research Investigator