Behavioral Intervals in Embedded Software (Hardcover)
Fabian Wolf
Sold by Grand Eagle Retail, Bensenville, IL, U.S.A.
AbeBooks Seller since October 12, 2005
New - Hardcover
Condition: New
Ships within U.S.A.
Quantity: 1 available
Add to basketSold by Grand Eagle Retail, Bensenville, IL, U.S.A.
AbeBooks Seller since October 12, 2005
Condition: New
Quantity: 1 available
Add to basketHardcover. This title 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 behaviour, 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, for example, for single processor schedulability analysis, whereas in another context both best and worst cases are relevant, such as for multiprocessor scheduling. In all these cases, these behavioural intervals of the individual software processes are fundamental data needed to analyze system behaviour. With growing importance of embedded software, formal analysis of behavioural intervals has met increasing interest. While all approaches are conservative, that is, all possible timing behaviour (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. Analysis techniques leverage on previous work in compiler technology by using basic blocks as elementary units for architecture modelling and path analysis. The work presented here offers an alternative direction, moving from basic block-based analysis to an analysis based on larger program segments with a single execution path. Behavioral Intervals in Embedded Software introduces a comprehensive approach to timing, power, and communication analysis of embedded software processes. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller Inventory # 9781402071355
"About this title" may belong to another edition of this title.
We guarantee the condition of every book as it¿s described on the Abebooks web sites. If you¿ve changed
your mind about a book that you¿ve ordered, please use the Ask bookseller a question link to contact us
and we¿ll respond within 2 business days.
Books ship from California and Michigan.
Orders usually ship within 2 business days. All books within the US ship free of charge. Delivery is 4-14 business days anywhere in the United States.
Books ship from California and Michigan.
If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
| Order quantity | 6 to 16 business days | 6 to 14 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.00 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.