Essays about: "safety-critical"

Showing result 1 - 5 of 115 essays containing the word safety-critical.

  1. 1. Real time Rust on multi-core microcontrollers

    University essay from Luleå tekniska universitet/Datavetenskap

    Author : Jorge Aparicio Rivera; [2020]
    Keywords : Rust; real-time; memory safety; embedded; static analysis; stack resource policy; stack analysis; arm; cortex-m;

    Abstract : Today the majority of embedded software is written in C or C++ using the thread paradigm. C and C++ are memory unsafe programming languages that often appear in CVE (Common Vulnerability and Exploits) reports. READ MORE

  2. 2. A Comparative Analysis of Argumentation Languages in the Context of Safety Case Development

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Sirisha Bai Govardhan Rao; [2019]
    Keywords : safety case argumentation languages; safety case argumentation notations; documentation of safety cases;

    Abstract : The safety case creation has become an explicit requirement in most of the safety-critical domains to ensure the safety of a system or an application. In the process of developing a safety case, the foremost requirement is choosing an efficient argumentation language which fulfills all the functionalities needed to develop a safety case. READ MORE


    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Aleksandar Matović; [2019]
    Keywords : model-checking; security; safety-critical; rebeca; modeling security implications;

    Abstract : Security is widely recognized as an important property that is tightly interdependentwith safety in safety-critical systems. The goal of this thesis is to conduct case studies on the implications that security attacks may have on the safety of these systems. READ MORE

  4. 4. Behaviour-Aware Motion Planning for Autonomous Vehicles Incorporating Human Driving Style

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS); KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Kristiyan Lazarov; Badi Mirzai; [2019]
    Keywords : Autonomous vehicles; human-robot interaction; game theory; human driving style;

    Abstract : This paper proposes a model to ensure safe and realistic human-robot interaction for an autonomous vehicle interacting with a human-driven vehicle, by incorporating the driving style of the human driver. The interaction is modeled as a game, where both agents try to maximize future rewards. READ MORE

  5. 5. Systematically uncovering mutants in testing safety critical software : Using symbolic execution on surviving mutants from mutation testing

    University essay from Linköpings universitet/Programvara och system; Linköpings universitet/Programvara och system

    Author : Niklas Pettersson; Nils Petersson; [2019]
    Keywords : Mutation Testing; Symbolic Execution; Dextool;

    Abstract : This thesis investigates how symbolic execution and constraint solving can be used for detecting equivalent and non-equivalent mutants in mutation testing. The presented method proposes a driver implementation, realized as a plugin for Dextool, to differentiate original and mutated code from each other by executing both versions symbolically using KLEE. READ MORE