Sökning: "Iain Bate"
Hittade 4 avhandlingar innehållade orden Iain Bate.
1. New Strategies for Ensuring Time and Value Correctness in Dependable Real-Time Systems
Sammanfattning : 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. LÄS MER
2. Safety Analysis of Systems-of-Systems
Sammanfattning : 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. LÄS MER
3. Enhancing the Maintainability of Safety Cases Using Safety Contracts
Sammanfattning : 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. LÄS MER
4. An ALARP Stop-Test Decision for the Worst-Case Timing Characteristics of Safety-Critical Systems
Sammanfattning : 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. LÄS MER