Behavioral Intervals in Embedded Software

Timing and Power Analysis of Embedded Real-Time Software Processes
Softcover Nachdruck of hardcover 1. Auflage 2002
ISBN: 978-1-4419-5296-7
Verlag: Springer US

Buch, Englisch, 190 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 382 g

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.

Zielgruppe

Research

Autoren/Hrsg.

Wolf, Fabian

Fachgebiete

• Technische Wissenschaften Technik Allgemein Konstruktionslehre und -technik
• Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie
• Technische Wissenschaften Technik Allgemein Computeranwendungen in der Technik
• Technische Wissenschaften Technik Allgemein Technische Zuverlässigkeit, Sicherheitstechnik
• Technische Wissenschaften Maschinenbau | Werkstoffkunde Produktionstechnik Industrielle Qualitätskontrolle
• Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
• Geisteswissenschaften Design Produktdesign, Industriedesign
• Mathematik | Informatik EDV | Informatik Angewandte Informatik Computeranwendungen in Wissenschaft & Technologie
• Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Angewandte Mathematik, Mathematische Modelle
• Mathematik | Informatik Mathematik Mathematische Analysis Variationsrechnung
• Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
• Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computer-Aided Design (CAD)

Inhaltsverzeichnis

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.