Sökning: "System Safety"

Visar resultat 21 - 25 av 1107 avhandlingar innehållade orden System Safety.

1. 21. Effects of hearing loss on traffic safety and mobility

   Författare :Birgitta Thorslund; Björn Lyxell; Björn Peters; Björn Lidestam; Håkan Alm; Statens väg- och transportforskningsinstitut; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Hearing; Driver; Driving veh ; Behaviour; Cognition; Mental load; Eye movement; Tactile; Warning; Signal; Driver assistance system; Navigation route ; Simulator driving ; Test; Safety; 841 Road: Road user behaviour; 841 Road: Road user behaviour;

   Sammanfattning : The aim of this PhD thesis was to investigate traffic safety and mobility for individuals with hearing loss (HL). Three studies were conducted: 1. a questionnaire survey aimed to evaluate differences in choice of transportation that might be related to HL, 2. LÄS MER

3. 22. Design of Assured and Efficient Safety-critical Systems

   Författare :Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER

4. 23. Safety Critical Software - Test Coverage vs Remaining Faults

   Författare :Johan Sundell; Kristina Lundqvist; Håkan Forsberg; Emelie Engström; Mälardalens universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety-critical software; software testing; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical software systems have traditionally been found in the aerospace-, nuclear- andmedical domains. As technology advances and software complexity increases, such systemscan be found in more and more applications, e.g. self driving cars. LÄS MER

5. 24. Den riskfyllda gemenskapen : Att hantera säkerhet på ett passagerarfartyg

   Författare :Christer Eldh; Boel Berner; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; cultural processes; organization; gender; risk; safety culture; passenger ship; safety management; passagerarfartyg; säkerhetsaspekter; riskhantering; risk; fartyg; kulturella aspekter; INTERDISCIPLINARY RESEARCH AREAS; TVÄRVETENSKAPLIGA FORSKNINGSOMRÅDEN;

   Sammanfattning : The purpose of this study was to examine how cultural processes and organisational conditions influence safety management in complex sociotechnical contexts. The object of investigation was a passenger ship where interviews and observations had been conducted for one year. LÄS MER

7. 25. Creating Safety in Air Traffic Control

   Författare :Johan M. Sanne; Boel Berner; Jane Summerton; Dave Randall; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Risk; safety; air traffic control; ethnography; schemes; rules; resources; cognitive; social; interaction; coordination; socio-technical systems; Social anthropology ethnography; Socialantrolopologi etnografi;

   Sammanfattning : Is flying safe? Indeed it is -- statistics tell us that it is far more dangerous to drive a car or take the train. But flight safety does not just happen. Instead, as it is argued in this book, it is created by a well-developed air traffic control system that continues to be highly effective -- despite increasing volumes of traffic. LÄS MER