Sökning: "Safety Critical"

Visar resultat 1 - 5 av 478 avhandlingar innehållade orden Safety Critical.

1. 1. Risks Related to the Use of Software Tools when Developing Cyber-Physical Systems : A Critical Perspective on the Future of Developing Complex, Safety-Critical Systems

   Författare :Fredrik Asplund; Martin Törngren; Jad El-Khoury; John McDermid; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automation; Certification; Process Risks; Safety; Safety-Critical; Standards; Support Environments; Tool Integration; Machine Design; Maskinkonstruktion;

   Sammanfattning : The increasing complexity and size of modern Cyber-Physical Systems (CPS) has led to a sharp decline in productivity among CPS designers. Requirements on safety aggravate this problem further, both by being difficult to ensure and due to their high importance to the public. LÄS MER

3. 2. Safety in the making : studies on the discursive construction of risk and safety in the chemical industry

   Författare :Joel Rasmussen; Birgitta Höijer; Åsa Kroon Lundell; Mark Elam; Örebro universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; safety; risk; occupational health and safety; organizations; chemical industry; discourse; discursive practices; discursive strategies; power; governmentality; responsibilization; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; Media and communication studies; Medie- och kommunikationsvetenskap; Media and Communication Studies; Medie- och kommunikationsvetenskap;

   Sammanfattning : This compilation thesis aims to analyse how risk and safety are constructed, reproduced, and negotiated by communicative means in safety-critical workplaces. It conceptualizes these communicative moments of shaping and reshaping risk and safety as enmeshed in multiple forms of governing. LÄS MER

4. 3. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

   Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

   Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER

5. 4. An Ontological Approach to Safety Analysis of Safety-Critical Systems

   Författare :Jiale Zhou; Kristina Lundqvist; Ibrahim Habli; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; hazard analysis; ontologies; safety-critical systems; safety requirements elicitation; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical systems (SCSs) have become an intrinsic part of human dailylife in multiple domains, such as automotive, avionics, and rail industries. Such systems are not only required to implement the functionality they should provide, but also have to satisfy a set of safety requirements in order to ensure the mitigation of hazardous consequences. LÄS MER

7. 5. Safety at Rail-Road Level Crossings

   Författare :Mohammad Shahriari; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; driver behaviour; risk analysis; traffic safety; rail road crossings; safety;

   Sammanfattning : Safety related to traffic at rail/road level crossings has long been a major issue for rail operators all over the world. Eliminating these level crossings entirely would be a desirable solution. However converting them into separate types is very expensive and not reasonable in many cases, e.g. LÄS MER