Sökning: "Safety Standards"

Visar resultat 1 - 5 av 125 avhandlingar innehållade orden Safety Standards.

  1. 1. Risks Related to the Use of Software Tools when Developing Cyber-Physical Systems : A Critical Perspective on the Future of Developing Complex, Safety-Critical Systems

    Författare :Fredrik Asplund; Martin Törngren; Jad El-Khoury; John McDermid; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automation; Certification; Process Risks; Safety; Safety-Critical; Standards; Support Environments; Tool Integration; Machine Design; Maskinkonstruktion;

    Sammanfattning : The increasing complexity and size of modern Cyber-Physical Systems (CPS) has led to a sharp decline in productivity among CPS designers. Requirements on safety aggravate this problem further, both by being difficult to ensure and due to their high importance to the public. LÄS MER

  2. 2. Tool Integration and Safety : A Foundation for Analysing the Impact of Tool Integrationon Non-functional Properties

    Författare :Fredrik Asplund; Martin Törngren; Jad El-khoury; Jakob Axelsson; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Tool Integration; Integrated Development Environments; Embedded Systems; Safety Standards; Certification; Qualification; Systems Thinking; System Safety; STAMP; STPA;

    Sammanfattning : The increasing complexity of embedded systems development is becoming difficult to handle with development environments based on disjoint engineering tools. Support for interactions between various engineering tools, especially through automated means, has therefore received an increased amount of attention during the last few years. LÄS MER

  3. 3. Facilitating Automated Compliance Checking of Processes against Safety Standards

    Författare :Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz UL Muram; Rory O'Connor; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Compliance Checking; Safety-critical Systems; Safety Standards Formalization; Safety Processes; Computer Science; datavetenskap;

    Sammanfattning : A system is safety-critical if its malfunctioning could have catastrophic consequences for people, property or the environment, e.g., the failure in a car's braking system could be potentially tragic. To produce such type of systems, special procedures, and strategies, that permit their safer deployment into society, should be used. LÄS MER

  4. 4. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

    Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

    Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER

  5. 5. Documentation of Vital Signs in Electronic Health Records : A Patient Safety Issue

    Författare :Jean Stevenson-Ågren; Peter Bath; UK University of Sheffield; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; patient safety; vital signs; electronic health records; Health and Caring Sciences; Hälsovetenskap;

    Sammanfattning : Background and aim: Hospitals in the developed world are increasingly adopting digital systems such as electronic health records (EHRs) for all kinds of documentation. This move means that traditional paper case notes and nursing records are often documented in EHRs. LÄS MER