Sökning: "Irfan Sljivo"

Hittade 2 avhandlingar innehållade orden Irfan Sljivo.

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

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning :  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. LÄS MER