A model-based safety analysis approach for high-integrity socio-technical component-based systems
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Designing high-integrity socio-technical systems requires a thorough understanding of all safety risks of such systems. For many years, safety risk assessment has been conducted separately for hardware, software, human, organizational and other entities in socio-technical systems. Safety risk assessment that does not consider all factors at the same time cannot adequately capture the wide variety of safety risk scenarios that need to be considered.
This thesis proposes a model-based analysis approach that allows interpretation of humans and organizations in terms of components and their behavior in terms of failure logic. The proposal is built on top of the tool-supported model-based failure logic analysis technique called CHESS-FLA. CHESS-FLA supports the analysis of the component-based system architectures to understand what can go wrong at a system level, by applying failure logic rules at a component level. CHESS-FLA addresses only hardware and software components and as such it is inadequate for the analysis of socio-technical systems.
This thesis proposes an extension of CHESS-FLA based on the preexisting classification (developed within SERA), of failures of socio entities. This extension combines CHESS-FLA and SERA - classification and delivers an approach named Concerto-FLA. Concerto-FLA is fully integrated into the CONCERTO framework allowing an automated analysis to be performed on architectures that contain human, organizational and technical entities present in socio-technical systems.
The use of the approach is demonstrated on a case study extracted from the petroleum domain. The effectiveness of the delivered tool is briefly evaluated based on the results from the case study.
Place, publisher, year, edition, pages
2015. , 75 p.
socio-technical systems, failure logic analysis, failure behavior, model-based
IdentifiersURN: urn:nbn:se:mdh:diva-29616OAI: oai:DiVA.org:mdh-29616DiVA: diva2:873767
Subject / course
Gallina, BarbaraMuccini, Henry