Sökning: "Safety critical software"

Visar resultat 1 - 5 av 72 uppsatser innehållade orden Safety critical software.

  1. 1. Efficient FBD Test Generation Through Program Slicing

    Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Christian Hurtig; [2018]
    Nyckelord :Function Block Diagram; Testing; FBD; PLC;

    Sammanfattning : Program slicing has been used as a way to improve the efficiency of debugging and program analysis. Nowadays, automated test generation is being used to create tests automatically by analysing the program structure and suggesting necessary tests. LÄS MER

  2. 2. UPPSALA UNIVERSITETSHUS - Brandteknisk riskvärdering

    L3-uppsats, Lunds universitet/Avdelningen för Brandteknik

    Författare :Manne Malmberg; Jakob Kullmann; Felicia Klint; Aron Fransson; [2018]
    Nyckelord :Uppsala Universitetshus; Brandteknisk riskvärdering; BTR; brand på scen; brand i garderob; brand i kläder; aula; FDS; Pathfinder; Smokeview; mänskligt beteenden; RSET; ASET; utrymning; brandscenario; riskidentifiering; Technology and Engineering;

    Sammanfattning : Uppsala University building was built in the 19th century. A larger renovation was conducted in 2016, when the buildings fire protection systems was improved. This report investigates and evaluates the existing fire protection with consideration to both human safety and economic damage. LÄS MER

  3. 3. Measuring Combinatorial Coverage of Manual Testing

    Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Miraldi Fifo; [2018]
    Nyckelord :Combinatorial Testing; Measuring Combinatorial Coverage; Manual Testing;

    Sammanfattning : Introduction: Software testing is a very important activity which assures the quality of the software under test. It becomes crucial in safety-critical systems, where an unexpected behavior of the software can even cause loss of human life or environmental disasters. LÄS MER

  4. 4. DFT Calculations of -Zr-Hydride

    Magister-uppsats, Malmö universitet/Teknik och samhälle

    Författare :Christina Bjerken; [2018]
    Nyckelord :;

    Sammanfattning : Zirconium alloys are considered to be the main structural materials within the cores of nuclear reactors. The need for a better efficiency of the nuclear industry is a driving force for the improvement of the properties of the alloys used, i.e.corrosion resistance and mechanical behavior. LÄS MER

  5. 5. A Tool-Supported Method for Fallacies Detection in Process-Based Argumentation

    Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Laura Gómez Rodríguez; [2018]
    Nyckelord :Process models; safety cases; process-based argumentation; argumentation fallacies; model transformation;

    Sammanfattning : Process-based arguments aim at demonstrating that a process, compliant with a standard, has been followed during the development of a safety-critical system. Compliance with these processes is mandatory for certification purposes, so the generation of process-based arguments is essential, but also a very costly and time-consuming task. LÄS MER