Sökning: "System Safety"

Visar resultat 11 - 15 av 1107 avhandlingar innehållade orden System Safety.

  1. 11. 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

  3. 12. Enhancing the Maintainability of Safety Cases Using Safety Contracts

    Författare :Omar Jaradat; Sasikumar Punnekkat; Iain Bate; Alexander Romanovsky; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

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

  4. 13. Industrial Safety: Principles for Safety Management based on Emperical Studies

    Författare :Petra Willquist; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety analysis; method; risk; occupational safety; production; food industry; accidents; manufacturing;

    Sammanfattning : Although safety management has developed considerably during the last decades, occupational accidents still contribute to work-related health problems worldwide. This thesis investigates occupational accidents in production environments, explores existing safety management and provides some insights into why it fails to function in a satisfactory manner. LÄS MER

  5. 14. Model-based System Testing of Safety-Critical Embedded Software

    Författare :Muhammad Nouman Zafar; Wasif Afzal; Eduard Paul Enoiu; Cyrille Artho; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : System-level testing of safety-critical embedded systems is complex and costly. MBT has shown promising results in terms of fault detection effectiveness and efficiency of test generation and execution. However, the industrial adoption of MBT approaches is slow and limited to specific industries and domains. LÄS MER

  7. 15. Safe Transitions to Manual Driving From Faulty Automated Driving System

    Författare :Josef Nilsson; RISE; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Driver takeover; functional safety; automated driving; safety; vehicle automation; driver capability; brake failure; controllability; driving simulator.;

    Sammanfattning : This thesis presents a method to assess the safety of transitions from automated to manual driving when vehicle automation fails. The method is based on contributions to the understanding of human driving behavior, also presented in this thesis. LÄS MER