Sökning: "Formal Safety"
Visar resultat 1 - 5 av 95 uppsatser innehållade orden Formal Safety.
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äkerhetSammanfattning : 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
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)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
3. Anomaly detection in surveillance camera data
Master-uppsats, Blekinge Tekniska Högskola/Institutionen för datavetenskapSammanfattning : 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
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)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
5. Practical Analysis of the Giskard Consensus Protoco
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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