Search for dissertations about: "safety-critical"

Showing result 1 - 5 of 116 swedish dissertations containing the word safety-critical.

  1. 1. Formal Specification and Verification of Safety-Critical Software

    Author : Daniel Larsson; [2006]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

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

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

    University dissertation from Västerås : Mälardalen University

    Author : Nesredin Mahmud; Mälardalens högskola.; [2019]
    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

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

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Fredrik Asplund; KTH.; [2014]
    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

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

    University dissertation from Västerås : Mälardalen University

    Author : Jiale Zhou; Mälardalens högskola.; [2017]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; hazard analysis; ontologies; safety-critical systems; safety requirements elicitation; Computer Science; datavetenskap;

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

  5. 5. On Security in Safety-Critical Process Control

    University dissertation from Västerås : Mälardalen University

    Author : Johan Åkerberg; Mälardalens högskola.; [2009]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; SOCIAL SCIENCES Statistics; computer and systems science Informatics; computer and systems science Computer and systems science; SAMHÄLLSVETENSKAP Statistik; data- och systemvetenskap Informatik; data- och systemvetenskap Data- och systemvetenskap; Computer Science; datavetenskap;

    Abstract : This Licentiate thesis is about security in automation networks with emphasis on fieldbus communication. In the process industry, network and system security have become even more important since the introduction of Ethernet-based fieldbus protocols. READ MORE