Sökning: "communicate safety"

Visar resultat 1 - 5 av 40 avhandlingar innehållade orden communicate safety.

1. 1. Ethical Issues in the Adoption and Implementation of Vision Zero Policies in Road Safety

   Författare :Henok Girma Abebe; Karin Edvardsson Björnberg; Sven Ove Hansson; Matts-Åke Belin; Elin Palm; KTH; []
   Nyckelord :HUMANIORA; HUMANITIES; Ethics; Equity; Road Safety; Vision Zero; Responsibility; Systems Thinking; Risk; Drivin; Philosophy; Filosofi;

   Sammanfattning : The aim of this doctoral thesis is to analyze ethical issues in the adoption and implementation of Vision Zero policies. The first article analyses criticisms against Vision Zero goals and measures promoted to reach them. We identify and assess “moral”, “operational”, and “rationality-based” arguments against Vision Zero. LÄS MER

3. 2. Contracts-Based Maintenance of Safety Cases

   Författare :Omar Jaradat; Sasikumar Punnekkat; Mark Nicholson; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning : Safety critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. System safety is a major property that shall be adequately assured to avoid any severe outcomes in safety critical systems. LÄS MER

4. 3. Safety management on multi-employer worksites : Responsibilities and power relations in the mining industry

   Författare :Magnus Nygren; Lena Abrahamsson; Mats Jakobsson; Johan Sanne; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Arbetsvetenskap; Human Work Sciences;

   Sammanfattning : The focus of this thesis is on the division of legal responsibilities for occupational safety management on multi-employer worksites in the mining industry. The empirical basis is a study conducted between 2013 and 2016 consisting of interviews and observations focusing on primarily managers, supervisors, coordinators and safety specialists from a Swedish mining company and a number of its contractors. LÄS MER

5. 4. Proving Safety and Security of Binary Programs

   Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

   Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER

7. 5. Distributed computing and safety critical systems in Ada

   Författare :Kristina Lundqvist; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information technology; Informationsteknik; Computer Systems; Datorteknik;

   Sammanfattning : A system architecture for building large distributed real-time systems is presented. By placing the core run-time system (RTS) functionality in a edicatednetwork node, called the controller, distribution of a single Ada 83 program with preservation of the tasking semantics is possible. LÄS MER