Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach

by Moritz Neukirchner
Save 14% Save 14%
Current price ₹3,697.00
Original price ₹4,306.00
Original price ₹4,306.00
Original price ₹4,306.00
(-14%)
₹3,697.00
Current price ₹3,697.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783954048014
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Cuvillier
  • Publisher Imprint: Cuvillier
  • Publication Date:
  • Pages: 206
  • Original Price: GBP 33.12
  • Language: English
  • Edition: N/A
  • Item Weight: 250 grams
  • BISAC Subject(s): General

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.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us