Search for dissertations about: "Irfan Šljivo"

Found 2 swedish dissertations containing the words Irfan Šljivo.

  2. 1. Assurance Aware Contract-based Design for Safety-critical Systems

    Author : Irfan Sljivo; Hans Hansson; Barbara Gallina; Jan Carlson; Mario Trapp; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    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

  4. 2. Facilitating Reuse of Safety Case Artefacts Using Safety Contracts

    Author : Irfan Šljivo; Hans Hansson; Jan Carlson; Barbara Gallina; Ibrahim Habli; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    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