The behavior of complex dependable systems poses severe safety issues due to hazards which may result from incorrect and unpredictable behavior. In order to prevent such hazards, system behavior has to be specified and checked incrementally, in order to defeat the overall system’s complexity. Modularity in system design is however not trivial due to the intrinsic monolithic nature of the control loop, typical of such systems. An additional problem is given by the fact that the current modeling paradigm tends at introducing additional interactive complexity due to the direct communication and synchronization mechanism among decomposed modules. It can be shown, however, that modular decomposition is feasible by revising the current communication and interaction paradigm. Physical interactions in physical systems denote in fact less evident conceptual structures, which host the overall interaction and synchronization knowledge among the component parts. By introducing additional system entities with the aim of hosting such knowledge in a localized and compact manner, we obtain a part-whole hierarchy of systems, called holarchy. Such systems are, at the same time, both parts and wholes within a holarchy, thus giving a formal characterization to Koestler’s holons.
Controlling hazards and safety in complex systems: a multi-layered part-whole approach to system safety / Pazzi, Luca. - In: BUSINESS SYSTEMS REVIEW. - ISSN 2280-3866. - ELETTRONICO. - Vol 1. Issue 1(2012), pp. 248-262.
|Data di pubblicazione:||2012|
|Titolo:||Controlling hazards and safety in complex systems: a multi-layered part-whole approach to system safety|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.7350/BSR.A17.2012|
|Volume:||Vol 1. Issue 1|
|Citazione:||Controlling hazards and safety in complex systems: a multi-layered part-whole approach to system safety / Pazzi, Luca. - In: BUSINESS SYSTEMS REVIEW. - ISSN 2280-3866. - ELETTRONICO. - Vol 1. Issue 1(2012), pp. 248-262.|
|Tipologia||Articolo su rivista|
I documenti presenti in Iris Unimore sono rilasciati con licenza Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Italia, salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris