Adaptive Resilience of Complex Safety-Critical Sociotechnical Systems: Toward a Unified Conceptual Framework and Its Formalization

Abstract

Resilience is commonly understood as the capacity for a system to maintain a desirable state while undergoing adversity or to return to a desirable state as quickly as possible after being impacted. In this paper, we focus on resilience for complex sociotechnical systems (STS), specifically those where safety is an important aspect. Two main desiderata for safety-critical STS to be resilient are adaptive capacity and adaptation. Formal studies integrating human cognition and social aspects are needed to quantify the capacity to adapt and the effects of adaptation. We propose a conceptual framework to elaborate on the concept of resilience of safety-critical STS, based on adaptive capacity and adaptation and how this can be formalized. A set of mechanisms is identified that is necessary for STS to have the capacity to adapt. Mechanisms belonging to adaptive capacity include situation awareness, sensemaking, monitoring, decision-making, coordination, and learning. It is posited that the two mechanisms required to perform adaptation are anticipation and responding. This framework attempts to coherently integrate the key components of the multifaceted concept of STS Equationsadaptive resilience. This can then be used to pursue the formal representation of Equationsadaptive resilience, its modeling, and its operationalization in real-world safety-critical STS.

An Agent-Based Model for Situational Awareness at Workplace

“…The validity of the proposed agent-based modeling of situational awareness is tested via The temporal trace language is an appropriate formal language for describing agent-based modeling of complicated sociotechnical systems. The temporal trace language is a logic-based language that may be used to explicitly characterize the dynamic features of systems and to formalize agent-based modeling [52]. Using boolean connectives, the set of wellformed temporal trace language formulae is inductively stated in a formal fashion (such as ¬, ∀, ∃, ≡,∧,∨, ⟹ ).…”

Self-confidence at Workplace: Cognitive Agent Modeling and Analysis

“…The Temporal Trace Language is a formal language that may be used to describe agent-based modeling of complex sociotechnical systems. The Temporal Trace Language is a logic-based language for clearly describing dynamic aspects of systems and formalizing agent-based modeling [58]. The set of well-formed temporal trace language equations is inductively presented in a formal manner using Boolean connectives (such as ¬, ∀, ∃, ≡,∧,∨, ⟹ ).…”

Policy Recommendations for Integrating Resilience into the Management of Cultural Landscapes

“…Adaptive resilience acknowledges system complexity and dynamicity. In order to be resilient, a system must be capable of adapting at multiple scales, both in the short and long term, to the constantly shifting dynamics and complexities of the system [31,32].…”