Behavioral Intervals in Embedded Software

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

106,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Zusammenfassung

Academics and research scientists who are active in the field of Design Automation and Embedded Systems

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.

Details

Erscheinungsjahr:	2002
Fachbereich:	Anwendungs-Software
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Inhalt:	xxii 190 S.
ISBN-13:	9781402071355
ISBN-10:	1402071353
Sprache:	Englisch
Ausstattung / Beilage:	HC runder Rücken kaschiert
Einband:	Gebunden
Autor:	Wolf, Fabian
Hersteller:	Springer US Springer New York Springer US, New York, N.Y.
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	241 x 160 x 17 mm
Von/Mit:	Fabian Wolf
Erscheinungsdatum:	31.07.2002
Gewicht:	0,494 kg

Artikel-ID: 102571615

Zusammenfassung

Academics and research scientists who are active in the field of Design Automation and Embedded Systems

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2002
Fachbereich:	Anwendungs-Software
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Inhalt:	xxii 190 S.
ISBN-13:	9781402071355
ISBN-10:	1402071353
Sprache:	Englisch
Ausstattung / Beilage:	HC runder Rücken kaschiert
Einband:	Gebunden
Autor:	Wolf, Fabian
Hersteller:	Springer US Springer New York Springer US, New York, N.Y.
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	241 x 160 x 17 mm
Von/Mit:	Fabian Wolf
Erscheinungsdatum:	31.07.2002
Gewicht:	0,494 kg