Search for dissertations about: "Iain Bate"
Found 4 swedish dissertations containing the words Iain Bate.
-
1. New Strategies for Ensuring Time and Value Correctness in Dependable Real-Time Systems
Abstract : Dependable real-time embedded systems are typically composed of a number of heterogeneous computing nodes, heterogeneous networks that connect them and tasks with multiple criticality levels allocated to the nodes. The heterogeneous nature of the hardware, results in a varying vulnerability to different types of hardware failures. READ MORE
-
2. Safety Analysis of Systems-of-Systems
Abstract : Safety-critical systems may fail dangerously with severe consequences to the health of the involved humans, costly equipment, the environment, or other valuable assets of a stakeholder. For these classes of systems, the developers are obliged to analyze each potentially hazardous situation thoroughly. READ MORE
-
3. Enhancing the Maintainability of Safety Cases Using Safety Contracts
Abstract : Safety critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. These systems require high quality and dependability levels in them, where system safety is a major property that should be adequately assured to avoid any severe outcomes. READ MORE
-
4. An ALARP Stop-Test Decision for the Worst-Case Timing Characteristics of Safety-Critical Systems
Abstract : Safety-critical systems are those in which failure can lead to loss of people’s lives, or catastrophic damage to the environment. Timeliness is an important requirement in safety-critical systems, which relates to the notion of response time, i.e., the time a system takes to respond to stimuli from the environment. READ MORE