• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

A model-based safety analysis approach for high-integrity socio-technical component-based systems

Sefer, Edin January 2015 (has links)
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. / CONCERTO project

Page generated in 0.0843 seconds