https://www.mdu.se/

mdu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Facilitating the Maintenance of Safety Cases
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-9347-1949
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0003-2415-8219
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0001-5269-3900
2015 (Engelska)Ingår i: The 3rd International Conference on Reliability, Safety and Hazard - Advances in Reliability, Maintenance and Safety ICRES-ARMS'15, 2015, Vol. F5Konferensbidrag, Publicerat paper (Refereegranskat)
Ort, förlag, år, upplaga, sidor
2015. Vol. F5
Nationell ämneskategori
Teknik och teknologier Datorsystem
Identifikatorer
URN: urn:nbn:se:mdh:diva-28147DOI: 10.1007/978-3-319-23597-4_25Scopus ID: 2-s2.0-85043754923OAI: oai:DiVA.org:mdh-28147DiVA, id: diva2:818579
Konferens
The 3rd International Conference on Reliability, Safety and Hazard - Advances in Reliability, Maintenance and Safety ICRES-ARMS'15, 1-4 Jun 2015, Luleå, Sweden
Projekt
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsTillgänglig från: 2015-06-09 Skapad: 2015-06-08 Senast uppdaterad: 2018-03-29Bibliografiskt granskad
Ingår i avhandling
1. Enhancing the Maintainability of Safety Cases Using Safety Contracts
Öppna denna publikation i ny flik eller fönster >>Enhancing the Maintainability of Safety Cases Using Safety Contracts
2015 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
Abstract [en]

Safety critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. These systems require high quality and dependability levels in them, where system safety is a major property that should be adequately assured to avoid any severe outcomes. Many safety critical systems in different domains (e.g., avionics, railway, automotive, etc.) are subject to a certification. The certification process is based on an evaluation of whether the associated hazards to a system are mitigated to an acceptable level. Safety cases are often required to demonstrate how a regulatory body can reasonably conclude that a system is acceptably safe from the evidence available. The development of safety cases has become common practice in many safety critical system domains. However, safety cases are costly since they need significant amount of time and efforts to produce. This cost can be dramatically increased (even for already certified systems) due to system changes as they require maintaining the safety case before it can be submitted for certification. Anticipating potential changes is useful since it reveals traceable consequences that will eventually reduce the maintenance efforts. However, considering a complete list of anticipated changes is difficult. What can be easier though is to determine the flexibility of system components to changes.

Sensitivity analysis has been proposed as a useful tool to measure the flexibility of the different system properties to changes. Furthermore, the concept of contracts have been proposed as a means for facilitating the change management process due to their ability to record the dependencies among system's components. In this thesis, we use sensitivity analysis to support changes prediction and prioritisation. We also use safety contracts to record the information of changes that will ultimately advise the engineers what to consider and check when changes actually happen.

Ort, förlag, år, upplaga, sidor
Västerås: Mälardalen University, 2015
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 220
Nationell ämneskategori
Programvaruteknik
Forskningsämne
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-29133 (URN)978-91-7485-238-7 (ISBN)
Presentation
2015-11-13, Mälardalens högskola, Delta, Västerås, 13:15 (Engelska)
Opponent
Handledare
Tillgänglig från: 2015-10-07 Skapad: 2015-09-25 Senast uppdaterad: 2018-01-11Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Jaradat, OmarBate, IainPunnekkat, Sasikumar

Sök vidare i DiVA

Av författaren/redaktören
Jaradat, OmarBate, IainPunnekkat, Sasikumar
Av organisationen
Inbyggda system
Teknik och teknologierDatorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 49 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf