Cantitate/Preț
Produs
Total produse
Vezi coșul
Behavioral Intervals in Embedded Software de Fabian Wolf

Behavioral Intervals in Embedded Software

Autor Fabian Wolf
en Limba Engleză Hardback – 31 iul 2002
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.
Citește tot Restrânge

Preț: 66707 lei

Preț vechi: 83383 lei
-20%

Puncte Express: 1001
Paperback 63700 lei
Hardback 66707 lei

Carte tipărită la comandă

Livrare economică 01-15 decembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9781402071355
ISBN-10: 1402071353
Pagini: 216
Ilustrații: XXII, 190 p.
Dimensiuni: 160 x 241 x 17 mm
Greutate: 0.44 kg
Ediția:2002
Editura: Springer
Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

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.

Caracteristici

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

Notă biografică

Prof. Dr. Fabian Wolf hat in verschiedenen leitenden Funktionen die Softwareentwicklung im VW-Konzern vorangetrieben. Parallel unterrichtet er das Fach "Fahrzeuginformatik" an der TU Clausthal.
Prof. Dr.-Ing. Konrad Reif leitet den Studiengang Fahrzeugelektronik und mechatronische Systeme an der Dualen Hochschule Baden-Württemberg, Ravensburg, Campus Friedrichshafen, ist Lehrbeauftragter an der Technischen Universität München und verantwortet die inhaltliche Herausgabe der Bosch Fachinformation Automobil.