0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Buy Now

Behavioral Intervals in Embedded Software - Timing and Power Analysis of Embedded Real-Time Software Processes (Paperback, Softcover reprint of hardcover 1st ed. 2002) Loot Price: R2,942
Discovery Miles 29 420
Behavioral Intervals in Embedded Software - Timing and Power Analysis of Embedded Real-Time Software Processes (Paperback,...

Behavioral Intervals in Embedded Software - Timing and Power Analysis of Embedded Real-Time Software Processes (Paperback, Softcover reprint of hardcover 1st ed. 2002)

Fabian Wolf

 (sign in to rate)
Loot Price R2,942 Discovery Miles 29 420 | Repayment Terms: R276 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Behavioral Intervals in Embedded Software introduces a comprehensive approach to timing, power, and communication analysis of embedded software processes. Embedded software timing, power and communication are typically not unique but occur in intervals which result from data dependent behavior, environment timing and target system properties.
In system design, these intervals are used in many ways. In some cases, only the worst case is of interest, e.g. for single processor schedulability analysis, in another context both best and worst cases are relevant, such as for multiprocessor scheduling. In all these cases, these behavioral intervals of the individual software processes are fundamental data needed to analyze system behavior. With growing importance of embedded software, formal analysis of behavioral intervals has met increasing interest. Major contributions were the introduction of implicit path enumeration and the inclusion of cache analysis. While all approaches are conservative, i.e. all possible timing behavior (or communication, power consumption) is included in the resulting intervals, the main differences are in the architecture features that are covered by the hardware model and the width of the conservative interval. The closer this interval to the real timing bounds, the higher is the practical use of formal analysis.
The current analysis techniques leverage on previous work in compiler technology by using basic blocks as elementary units for architecture modeling and path analysis. The work presented here opens a new direction moving from basic block based analysis to an analysis based on larger program segments with a single execution path. Such program segments frequently extend over many basic blocks, in particular in embedded system applications.
The approach combines the generality and accuracy of formal analysis with the modeling precision of cycle true simulation without compromising formal completeness. The results show that with this combination of tracing and formal analysis both higher precision than previous approaches leading to tighter and more realistic intervals can be obtained and easier adaptation due to the use of standard off-the-shelf cache simulators, cycle-true processor models or evaluation boards is possible.
Behavioral Intervals in Embedded Software will be a useful reference for academics as well as research scientists who are active in the field of Design Automation and Embedded Systems.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: December 2010
First published: 2002
Authors: Fabian Wolf
Dimensions: 244 x 170 x 11mm (L x W x T)
Format: Paperback
Pages: 190
Edition: Softcover reprint of hardcover 1st ed. 2002
ISBN-13: 978-1-4419-5296-7
Categories: Books > Reference & Interdisciplinary > Communication studies > Information theory > Cybernetics & systems theory
Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)
Books > Professional & Technical > Mechanical engineering & materials > Production engineering > Reliability engineering
Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
Promotions
LSN: 1-4419-5296-9
Barcode: 9781441952967

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Exploring Future Opportunities of…
Madhulika Bhatia, Tanupriya Choudhury, … Hardcover R7,437 Discovery Miles 74 370
Applied Affective Computing
Leimin Tian, Sharon Oviatt, … Hardcover R2,697 Discovery Miles 26 970
Probabilistic and Causal Inference - The…
Hector Geffner, Rina Dechter, … Hardcover R4,320 Discovery Miles 43 200
The Future You - How Artificial…
Harry Glorikian Hardcover R839 Discovery Miles 8 390
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,417 Discovery Miles 144 170
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,407 Discovery Miles 144 070
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,401 Discovery Miles 144 010
The Future of Technology in Education…
Harib Shaqsy Hardcover R929 R802 Discovery Miles 8 020
Deep Learning Applications for…
Monica R. Mundada, Seema S., … Hardcover R7,398 Discovery Miles 73 980
Socrates Digital (TM) for Learning and…
Mark Salisbury Hardcover R6,599 Discovery Miles 65 990
Real-time Linked Dataspaces
Edward Curry Hardcover R1,660 Discovery Miles 16 600
Information Technology Trends for a…
Francisco J. Garcia Penalvo Hardcover R5,934 Discovery Miles 59 340

See more

Partners