Avancerad sökning

Visar resultat 1 - 5 av 60 avhandlingar som matchar ovanstående sökkriterier.

1. 1. 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

3. 2. Formal Specification and Verification of Safety-Critical Software

   Författare :Daniel Larsson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

   Sammanfattning : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. LÄS MER

4. 3. Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains

   Författare :Mazen Mohamad; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Assurance case; Evidence; Automotive systems; Safety-critical; Security claims; Arguments; Security; Security; Assurance case; Safety-critical; Automotive systems; Arguments; Evidence; Security claims;

   Sammanfattning : The increasing demand for connectivity in safety-critical domains has made security assurance a crucial consideration. In safety-critical industry, software, and connectivity have become integral to meeting market expectations. LÄS MER

5. 4. Automated Deductive Verification of Safety-Critical Embedded Software

   Författare :Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

   Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER

7. 5. 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