skip to content
Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes Preview this item
ClosePreview this item
Checking...

Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes

Author: Fabian Wolf
Publisher: Boston, MA : Springer US, 2002.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Fabian Wolf
ISBN: 9781475736496 1475736495
OCLC Number: 851815837
Description: 1 online resource (xxii, 189 pages)
Contents: 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.
Responsibility: by Fabian Wolf.

Abstract:

Behavioral Intervals in Embedded Software introduces a comprehensive approach to timing, power, and communication analysis of embedded software processes.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/851815837> # Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "851815837" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/990824#Place/boston_ma> ; # Boston, MA
   schema:about <http://id.worldcat.org/fast/1141421> ; # System safety
   schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://dewey.info/class/620.00420285/e23/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh87007398> ; # Software engineering
   schema:about <http://id.worldcat.org/fast/906956> ; # Electronic data processing
   schema:about <http://id.loc.gov/authorities/subjects/sh85131742> ; # System safety
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://id.loc.gov/authorities/subjects/sh85042288> ; # Electronic data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/990824#Topic/systems_theory> ; # Systems theory
   schema:about <http://id.worldcat.org/fast/872701> ; # Computer-aided design
   schema:about <http://id.loc.gov/authorities/subjects/sh85029476> ; # Computer-aided design
   schema:bookFormat schema:EBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/990824#Person/wolf_fabian> ; # Fabian Wolf
   schema:datePublished "2002" ;
   schema: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."@en ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/990824> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/990824#CreativeWork/> ;
   schema:name "Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes"@en ;
   schema:productID "851815837" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/851815837#PublicationEvent/boston_ma_springer_us_2002> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/990824#Agent/springer_us> ; # Springer US
   schema:url <http://dx.doi.org/10.1007/978-1-4757-3649-6> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3086430> ;
   schema:url <http://link.springer.com/10.1007/978-1-4757-3649-6> ;
   schema:workExample <http://worldcat.org/isbn/9781475736496> ;
   schema:workExample <http://dx.doi.org/10.1007/978-1-4757-3649-6> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/851815837> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/990824#Person/wolf_fabian> # Fabian Wolf
    a schema:Person ;
   schema:familyName "Wolf" ;
   schema:givenName "Fabian" ;
   schema:name "Fabian Wolf" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029476> # Computer-aided design
    a schema:Intangible ;
   schema:name "Computer-aided design"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85042288> # Electronic data processing
    a schema:Intangible ;
   schema:name "Electronic data processing"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85131742> # System safety
    a schema:Intangible ;
   schema:name "System safety"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh87007398> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/1141421> # System safety
    a schema:Intangible ;
   schema:name "System safety"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/872701> # Computer-aided design
    a schema:Intangible ;
   schema:name "Computer-aided design"@en ;
    .

<http://id.worldcat.org/fast/906956> # Electronic data processing
    a schema:Intangible ;
   schema:name "Electronic data processing"@en ;
    .

<http://link.springer.com/10.1007/978-1-4757-3649-6>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://worldcat.org/entity/work/data/990824#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/851815837> ; # Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes
    .

<http://worldcat.org/isbn/9781475736496>
    a schema:ProductModel ;
   schema:isbn "1475736495" ;
   schema:isbn "9781475736496" ;
    .

<http://www.worldcat.org/title/-/oclc/851815837>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/851815837> ; # Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes
   schema:dateModified "2017-09-02" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.