Search for dissertations about: "Irfan Sljivo"
Found 2 swedish dissertations containing the words Irfan Sljivo.
-
1. Assurance Aware Contract-based Design for Safety-critical Systems
Abstract : Safety-critical systems are those systems whose malfunctioning can result in harm or loss of human life, or damage to property or the environment. Such systems usually need to comply with a domain-specific safety standard, which often require a safety case in form of an explained argument supported by evidence to show that the system is acceptably safe to operate in a given context. READ MORE
-
2. Facilitating Reuse of Safety Case Artefacts Using Safety Contracts
Abstract : Safety-critical systems usually need to comply with a domain-specific safety standard, which often require a safety case in form of an explained argument supported by evidence to show that the system is acceptably safe to operate in a given context. Developing such systems to comply with a safety standard is a time-consuming and costly process. READ MORE