Behavioral Intervals in Embedded Software

Name: Behavioral Intervals in Embedded Software
SKU: 9781441952967
Price: 1479 SEK
Availability: InStock
Author: Fabian Wolf
ISBN: 9781441952967

Timing and Power Analysis of Embedded Real-Time Software Processes

Häftad, Engelska, 2010

AvFabian Wolf

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

1 479 kr

Skickas inom 5-8 vardagar

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.

Produktinformation

Utgivningsdatum2010-12-07
Mått170 x 244 x 12 mm
Vikt382 g
FormatHäftad
SpråkEngelska
Antal sidor190
FörlagSpringer-Verlag New York Inc.
ISBN9781441952967

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT
CAD-program inom Data och IT
Referensverk och tvärvetenskap inom Samhälle och politik

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.

Mer från samma författare

Frühkindliche Bildung - Mathematische Grundlagen spielerisch bewegt fördern

Fabian Wolf

Häftad, 2010

1 139 kr

Einfluss der Bindung in der Kindheit auf die Stabilität der Partnerschaft

Fabian Wolf

Häftad, 2011

449 kr

Software im Automobil

Fabian Wolf

Inbunden, 2023

1 219 kr

Softwareentwicklung für Kraftfahrzeuge

Konrad Reif, Fabian Wolf

Inbunden, 2023

879 kr

Du kanske också är intresserad av