Könyv Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach Moritz Neukirchner

Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 8-11 napon belül
13 821 Ft
The design of safety-critical systems is governed by safety standards, which impose requirements on...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2014
oldal
206
EAN
9783954048014
ISBN
3954048019
Enbook ID
12828640
Súly
274
Méretek
148 x 210 x 11

Teljes leírás

The design of safety-critical systems is governed by safety standards, which impose requirements on the design, test, and verification processes, as well as the architecture of an embedded system. Particularly, for the safety evaluation applicable standards demand to regard a system as a whole, rather than its individual components. To offer a way to reduce certification effort, the safety evaluation may be carried out individually whenever the considered components are sufficiently independent of each other. In this context, sufficient independence mandates that failures may not cascade from one component to another. This thesis presents an approach to prevent such cascading failures with respect to real-time properties, i.e. to establish sufficient temporal independence. Particularly, the focus is on methods that avoid static allocation of resources according to the worst-case but permit any application behavior that does not threaten real-time constraints. The approach taken in this thesis is by means of runtime monitoring of real-time properties. In this context several lightweight mechanisms for enforcement of state-of-the-art timing models are presented, and analyses are provided to determine configurations for such monitors that allow a maximum degree of runtime flexibility without voiding the independence requirements.

Érdekelheti

6 706 Ft

Rowan's Reading Log

Martha Day Zschock
3 161 Ft

Bloom

Simmons B. Buntin
3 940 Ft
6 002 Ft

Water Power

John Willis
8 500 Ft

Course in General Linguistics

Ferdinand de Saussure
12 525 Ft

Derailed

Jerry Tanner
10 334 Ft

Afloat

Guy De Maupassant
2 810 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Neľahké životy

Italo Calvino
6 113 Ft
3 050 Ft

En el laberinto

JUAN LOPEZ FERNANDEZ
6 269 Ft

Puck. Triunfa

Lisbeth Werner
7 694 Ft