Essays about: "safety-critical"

Showing result 1 - 5 of 117 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 Concept for an Intrusion Detection System over Automotive Ethernet

    University essay from Lunds universitet/Institutionen för elektro- och informationsteknik

    Author : Hanna Lindwall; Pontus Ovhagen; [2020]
    Keywords : Intrusion Detection System; Deep Packet Inspection; Specification-based Detection; Anomaly-based Detection; V2G; Automotive Ethernet.; Technology and Engineering;

    Abstract : A modern automotive vehicle is a complex technical system, containing many electronic, mechanical, and software parts. Typically, a high-end vehicle contains 70 or more electronic control units (ECUs) on average. READ MORE

  3. 3. 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

  5. 5. 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