Sökning: "Formal Safety"

Visar resultat 1 - 5 av 95 uppsatser innehållade orden Formal Safety.

  1. 1. Dealing With The Unexpected in Prehospital Patientcare: The Lived Experience Of EMS Clinicians

    Magister-uppsats, Lunds universitet/Avdelningen för Riskhantering och Samhällssäkerhet

    Författare :Aart-Jan Ketelaar; [2024]
    Nyckelord :Patient safety; Prehospital patientcare; EMS clinician; Resilient healthcare; Human factors; Decision making; Learning; Expertise; Emergency care; Adapting; Complexity; Complex systems; Phenomenology; FLMU06; Social Sciences;

    Sammanfattning : Background In prehospital patient care, numerous patients are examined, treated, and transported. Some are acutely seriously ill, while others, though not acutely ill, necessitate ambulance transport due to their inability to do so independently. Among the latter group, patients may be sicker than initially estimated. LÄS MER

  3. 2. The industry adoption of innovative safety-analysis approaches for autonomous vehicles : A case study exploring the industry adoption of model-based safety analysis

    Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)

    Författare :Sam Khogasteh; [2023]
    Nyckelord :;

    Sammanfattning : In recent years, autonomous vehicles have been gaining traction as a technology that can revolutionize society and save approximately $800 billion per year in the U.S. alone. However, due to their complex and dynamic behavior, ensuring the safety of these vehicles has proven to be a challenge for traditional safety analysis methods. LÄS MER

  4. 3. Anomaly detection in surveillance camera data

    Master-uppsats, Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Författare :Viktoriia Semerenska; [2023]
    Nyckelord :Anomaly detection; Machine Learning; Supervised learning; Video Analytics; Artificial Intelligence;

    Sammanfattning : The importance of detecting anomalies in surveillance camera data cannot be overemphasized. With the increasing availability of surveillance cameras in public and private locations, the need for reliable and effective methods to detect anomalous behavior has become critical to public safety. LÄS MER

  5. 4. Occlusion-Aware Autonomous Highway Driving : Tracking safe velocity bounds on potential hidden traffic for improved trajectory planning

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Jonne van Haastregt; [2023]
    Nyckelord :Autonomous Driving; Occlusion-Awareness; Reachability Analysis; Highway driving; Formal Safety; Autonom Körning; Skymd-sikt-medveten; Nåbarhetsanalys; Motorvägskörning; Formell Säkerhet;

    Sammanfattning : In order to reach higher levels of autonomy in autonomous driving, it is important to consider potential occluded traffic participants. Current research has considered occlusion-aware autonomous driving in urban situations. LÄS MER

  7. 5. Practical Analysis of the Giskard Consensus Protoco

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Leon Sandner; [2023]
    Nyckelord :Distributed Ledger; Blockchain; Consensus Protocol; Giskard; Hyperledger Sawtooth; Distribuerade Huvudbok; Blockchain; Konsensus; Giskard; Hyperledger Sawtooth;

    Sammanfattning : Consensus protocols are the core of modern blockchain systems, such as the Bitcoin, Ethereum, and Algorand networks. Thanks to these protocols, participants in a blockchain network can reach consensus on which blocks to add to a blockchain, to have a consistent chain of blocks in the whole network. LÄS MER