Establishing Sufficient Temporal Independence Efficiently

Establishing Sufficient Temporal Independence Efficiently

A Monitoring Approach

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.

€ 40,95

Waarom bestellen bij Scheltema?

Vanaf €15,- aan nieuwe Nederlandstalige boeken gratis verzending.

Gratis retourneren.

Boektype Verkrijgbaar in extra informatie Voorraad Prijs Levertijd Uw bestelling
Nieuw Webshop € 40,95

Afwijkende levertijd: 5 werkdagen.

ISBN
9783954048014
Uitgever
Van Ditmar Boekenimport B.V.
Druk vanaf
1e
Verschenen
01-01-2014
Taal
Engels
Bladzijden
202 pp.
Bindwijze
Paperback
Rubriek
Literatuur

Bij een bestelling kunt u online direct afrekenen. U kunt betalen met iDeal, Master Card, Visa, American Express, Paypal, Mister Cash en de Digitale Boekenbon. Vanzelfsprekend worden deze gegevens ook over een beveiligde (SSL) verbinding verstuurd waarmee uw veiligheid is gegarandeerd.

Verzendkosten en levertijden

Alle nieuwe, Nederlandstalige boeken boven de € 15 verzenden wij gratis, daaronder betaalt u € 1,95.  Bij tweedehands, ramsj en anderstalige boeken betaalt u € 1,95 + € 0,95 per besteld boek. Voor verzending naar België wordt € 1,95 + € 1,95 per boek gerekend. Bij verzending naar Duitsland rekenen wij € 20 per bestelling. Naar overige landen verzenden wij niet.


Over het algemeen worden nieuwe Nederlandstalige boeken die u voor 23.00 bestelt, de volgende dag thuisbezorgd. Tweedehands boeken en ramsj worden op werkdagen dagelijks verzonden. Als u de bestelling vóór 15.00 uur plaatst, heeft u de boeken meestal de volgende dag in huis.

Let op: vanwege grote drukte bij PostNL kan de levertijd momenteel helaas langer zijn dan u van ons gewend bent.

Reserveren

Nieuwe, tweedehands boeken en ramsj kunt u reserveren wanneer deze op voorraad zijn. U kunt uw reservering direct online betalen of u betaalt bij het afhalen van uw reservering in de winkel. De betaalwijze kunt u aangeven bij stap 3 'Betaalwijze'.

Loading...

.
pro-mbooks1 : scheltema