Sökning: "Barbara Gallina"

Visar resultat 6 - 8 av 8 avhandlingar innehållade orden Barbara Gallina.

  1. 6. Organizational Changes-aware Safety-centered Risk Assessment in Augmented Reality-equipped Socio-technical Systems

    Författare :Soheila Sheikh Bahaei; Barbara Gallina; Muhammad Atif Javed; Philippe Palanque; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : In the last two to three decades, organizations have extremely changed. Post normal accident theory argues about implication of new organizational changes such as digitalization which may lead to new kinds of accidents called post normal accidents. LÄS MER

  2. 7. 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. 8. 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