Behavioral Intervals in Embedded Software
Timing and Power Analysis of Embedded Real-Time Software Processes
2nd Edition
Published on 31. July 2002
Book
Hardback
XXII, 190 pages
978-1-4020-7135-5 (ISBN)
Description
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.
More details
Edition
2nd ed.
Language
English
Place of publication
New York
United States
Target group
Professional and scholarly
Research
Illustrations
XXII, 190 p.
Dimensions
Height: 241 mm
Width: 160 mm
Thickness: 17 mm
Weight
494 gr
ISBN-13
978-1-4020-7135-5 (9781402071355)
DOI
10.1007/978-1-4757-3649-6
Schweitzer Classification
Other editions
Additional editions
Fabian Wolf
Behavioral Intervals in Embedded Software
Timing and Power Analysis of Embedded Real-Time Software Processes
E-Book
03/2013
Springer
€96.29
Available for download
Fabian Wolf
Behavioral Intervals in Embedded Software
Timing and Power Analysis of Embedded Real-Time Software Processes
Book
12/2010
Springer
€106.99
Shipment within 15-20 days
Content
1. Introduction.- 2. Software Running Time Analysis.- 3. A Formal Approach to SYMTA.- 4. Formal Cache Analysis in SYMTA.- 5. Program Segment Cost Analysis.- 6. Experiments and Results.- 7. Summary and Conclusion.- Appendices.- System Implementation.- A.1 Overview.- A.2 Tool Flow.- A.3 SYMTA Designer Interface.- A.4 Path Analysis Software.- A.4.1 Symbolic Execution.- A.4.2 Process Mode Annotation.- A.4.3 Path Identification.- A.4.4 ILP Solution.- A.5 Cache Analysis Software.- A.5.1 Local Simulation.- A.5.2 Set Definition Propagation.- A.5.3 Future Work.- A.6 Architecture Modeling.- A.6.1 PSS: StrongARM Simulator.- A.6.2 Hardware Interfaces.- A.6.3 Communication Components.- A.6.4 Bus Controller.- A.6.5 Cache Simulation.- A.6.6 ICA: Data Book Implementation.- A.7 Software Power Analysis.- A.7.1 Power Measurement.- A.7.2 Instruction-Wise Power Analysis.- A.7.3 Example: SPARCIite Power Measurement.- A.7.4 Further Implementation Details.- A.7.5 ICA for SPARCIite Power Consumption.- A.8 Design Flow Integration in MEDIA.- A.8.1 System Property Intervals.- Generation of Experimental Results.- B.1 Path Analysis.- B.1.1 Symbolic Simulation.- B.1.2 ILP Solving.- B.2 Architecture Modeling.- B.2.1 StrongARM Simulation.- B.2.2 StrongARM Simulation Case Studies.- B.2.3 Measurement.- B.2.4 Measurement Case Study: Image Processing.- B.3 Intermediate Formats: Bubble Sort.- B.3.1 Source Code.- B.3.2 Symbolic Expressions.- B.3.3 Control Flow Graph.- B.3.4 ILP solver input.- B.4 Analysis Improvements in Previous Work.- B.5 Graphical Behavioral Interval Representation.- Abbreviations.- Biography.- Publications.