Failures: Their Definition, Modelling and Analysis Export

@incollection{citeulike:2491728, abstract = {This paper introduces the concept of a 'structured occurrence net', which as its name indicates is based on that of an 'occurrence net', a well-established formalism for an abstract record that represents causality and concurrency information concerning a single execution of a system. Structured occurrence nets consist of multiple occurrence nets, associated together by means of various types of relationship, and are intended for recording either the actual behaviour of complex systems as they interact and evolve, or evidence that is being gathered and analyzed concerning their alleged past behaviour. We provide a formal basis for the new formalism and show how it can be used to gain better understanding of complex fault-error-failure chains (i) among co-existing interacting systems, (ii) between systems and their sub-systems, and (iii) involving systems that are controlling, supporting, creating or modifying other systems. We then go on to discuss how, perhaps using extended versions of existing tools, structured occurrence nets could form a basis for improved techniques of system failure prevention and analysis.}, author = {Randell, Brian and Koutny, Maciej}, citeulike-article-id = {2491728}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-75292-9_18}, doi = {10.1007/978-3-540-75292-9_18}, journal = {Theoretical Aspects of Computing – ICTAC 2007}, keywords = {exception, fault-tolerant}, pages = {260--274}, posted-at = {2008-03-09 01:34:22}, priority = {5}, title = {Failures: Their Definition, Modelling and Analysis}, url = {http://dx.doi.org/10.1007/978-3-540-75292-9_18}, year = {2007} }

TY - CHAP ID - citeulike:2491728 L3 - citeulike-article-id:2491728 N2 - This paper introduces the concept of a ‘structured occurrence net’, which as its name indicates is based on that of an ‘occurrence net’, a well-established formalism for an abstract record that represents causality and concurrency information concerning a single execution of a system. Structured occurrence nets consist of multiple occurrence nets, associated together by means of various types of relationship, and are intended for recording either the actual behaviour of complex systems as they interact and evolve, or evidence that is being gathered and analyzed concerning their alleged past behaviour. We provide a formal basis for the new formalism and show how it can be used to gain better understanding of complex fault-error-failure chains (i) among co-existing interacting systems, (ii) between systems and their sub-systems, and (iii) involving systems that are controlling, supporting, creating or modifying other systems. We then go on to discuss how, perhaps using extended versions of existing tools, structured occurrence nets could form a basis for improved techniques of system failure prevention and analysis. JF - Theoretical Aspects of Computing – ICTAC 2007 EP - 274 TI - Failures: Their Definition, Modelling and Analysis SP - 260 KW - exception KW - fault-tolerant AU - Randell, Brian AU - Koutny, Maciej PY - 2007/// UR - http://dx.doi.org/10.1007/978-3-540-75292-9_18 ER -