Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach

Name: Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach
Brand: Cuvillier Verlag
SKU: 9783954048014
Price: 39.41 EUR
Availability: InStock

Autor: Moritz Neukirchner

Jazyk:

Väzba: Brožovaná

Vydavateľ: Cuvillier Verlag

Dostupnosť: Očakávané naskladnenie

Naskladnenie 07. 06. 2026

39.41 €

The design of safety-critical systems is governed by safety standards, which impose requirements on...

Informácie o knihe

Autor

Moritz Neukirchner

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

206

EAN

9783954048014

ISBN

3954048019

Enbook ID

12828640

Vydavateľ

Cuvillier Verlag

Hmotnosť

274

Rozmery

148 x 210 x 11

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Pavlli Manvtii Commentarivs in M. Tvllii Ciceronis Epistolas Ad Diversos, Volume 1

Superfoods That Kickstart Your Weight Loss

The Ultimate Stress-Relief Plan for Women

Rowan's Reading Log

Bloom

Powder, Spur, And Spear: A Sporting Medley (1889)

On the Challenges of Managing the Third Sector

South of Black Forgiveness

Water Power

Course in General Linguistics

Letters on Theron and Aspasio. Addressed to the Author. In two Volumes. The Third Edition. With two Prefaces, and two Appendixes. Containing an Accoun

Derailed

Afloat

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Modlitby za uzdravenie a oslobodenie rodín

Je couds avec la FéeCarobosse - 16 sacs & accessoires pour enfants qui déchirent !

UN VIAJE POR LA HISTORIA FERROVIARIA DE CATALUNYA

Neľahké životy

1, 2, 3 Hooop Cinde - Kutsal Cicek; 7 Yas

En el laberinto

Puck. Triunfa

Materialien zu Schopenhauers 'Die Welt als Wille und Vorstellung'

Cours de Code Penal Et Lecons de Legislation Criminelle (Ed.1873)