Search for dissertations about: "safety-critical domain"

Showing result 1 - 5 of 39 swedish dissertations containing the words safety-critical domain.

2. 1. Design of Assured and Efficient Safety-critical Systems

   Author : Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
   Keywords : 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;

   Abstract : 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. READ MORE

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

   Author : Mazen Mohamad; Göteborgs universitet; []
   Keywords : 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;

   Abstract : 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. READ MORE

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

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

   Abstract : 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. READ MORE

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

   Author : Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
   Keywords : 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;

   Abstract : 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. READ MORE

7. 5. Formal Verification of Tree Ensembles in Safety-Critical Applications

   Author : John Törnblom; Simin Nadjm-Tehrani; Ingemar Söderquist; Joao Marques-Silva; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Machine learning; Tree ensembles;

   Abstract : In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of learning complicated pattern recognition tasks and sophisticated decision policies, two key capabilities in autonomous cyber-physical systems. READ MORE