Sökning: "safety argument"

Visar resultat 1 - 5 av 27 avhandlingar innehållade orden safety argument.

1. 1. Thick Concepts in Practice : Normative Aspects of Risk and Safety

   Författare :Niklas Möller; Sven Ove Hansson; Tim Lewens; KTH; []
   Nyckelord :HUMANIORA; HUMANITIES; thick concepts; non-naturalism; open question argument; risk analysis; safety; epistemic uncertainty; values in risk assessment; safety engineering; Philosophy subjects; Filosofiämnen;

   Sammanfattning : The thesis aims at analyzing the concepts of risk and safety as well as the class of concepts to which they belong, thick concepts, focusing in particular on the normative aspects involved. Essay I analyzes thick concepts, i.e. concepts such as cruelty and kindness that seem to combine descriptive and evaluative features. LÄS MER

3. 2. Safety Proofs for Automated Driving using Formal Methods

   Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety argument; automata learning; supervisory control theory; Automated driving; theorem proving; formal methods; formal verification; model checking;

   Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER

4. 3. Facilitating Reuse of Safety Case Artefacts Using Safety Contracts

   Författare :Irfan Šljivo; Hans Hansson; Jan Carlson; Barbara Gallina; Ibrahim Habli; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning :  Safety-critical systems usually need to comply with a domain-specific safety standard, which often require a safety case in form of an explained argument supported by evidence to show that the system is acceptably safe to operate in a given context. Developing such systems to comply with a safety standard is a time-consuming and costly process. LÄS MER

5. 4. Knowledge Closure and Knowledge Openness : A Study of Epistemic Closure Principles

   Författare :Levi Spectre; Peter Pagin; Åsa Wikforss; Stewart Cohen; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; knowledge; principle of epistemic closure; knowledge openness; evidence; epistemic principles; skepticism; fallibilism; principles of evidence; evidence openness; dogmatism; safety; chance; Bayesianism; Carnap; Cohen; Dretske; Hawthorne; Hempel; Kripke; Nozick; Pagin; Vogel; Williamson; Theoretical philosophy; Teoretisk filosofi; Theoretical Philosophy; teoretisk filosofi;

   Sammanfattning : The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. LÄS MER

7. 5. Integrating Ergonomics in Maintainability Design Process

   Författare :Kiumars Teymourian; Diego Galar; Dammika Senevirante; Phillip Tretten; Anna Syberfeldt; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Ergonomics; maintainability; safety; risk analysis; low back compression; ALBA; 3 D Static Strength Prediction Program; Operation and Maintenance Engineering; Drift och underhållsteknik;

   Sammanfattning : Engineered designed systems or products influence the intended humans through their interactions and interface with the systems. A system or product is an object whereas a human is a living complex system, and most of human characteristics, such as capabilities and limitations, are known. LÄS MER