𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

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

✍ Scribed by Fabian Wolf (auth.)


Publisher
Springer US
Year
2002
Tongue
English
Leaves
206
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


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.

✦ Table of Contents


Front Matter....Pages i-xxii
Introduction....Pages 1-8
Software Running Time Analysis....Pages 9-30
A Formal Approach to SYMTA....Pages 31-50
Formal Cache Analysis in SYMTA....Pages 51-82
Program Segment Cost Analysis....Pages 83-102
Experiments and Results....Pages 103-128
Summary and Conclusion....Pages 129-130
Back Matter....Pages 131-189

✦ Subjects


Computer-Aided Engineering (CAD, CAE) and Design; Special Purpose and Application-Based Systems; Computing Methodologies; Systems Theory, Control; Quality Control, Reliability, Safety and Risk


πŸ“œ SIMILAR VOLUMES


Performance Analysis of Real-Time Embedd
✍ Yau-Tsun Steven Li, Sharad Malik (auth.) πŸ“‚ Library πŸ“… 1999 πŸ› Springer US 🌐 English

<p>Embedded systems are characterized by the presence of processors running application-specific software. Recent years have seen a large growth of such systems, and this trend is projected to continue with the growth of systems on a chip. Many of these systems have strict performance and cost requi

Embedded Software Timing
✍ Peter Gliwa πŸ“‚ Library πŸ“… 2021 πŸ› Springer 🌐 English

Without correct timing, there is no safe and reliable embedded software. This book shows how to consider timing early in the development process for embedded systems, how to solve acute timing problems, how to perform timing optimization, and how to address the aspect of timing verification. The

Real-Time Software Design for Embedded S
✍ Hassan Gomaa πŸ“‚ Library πŸ“… 2016 πŸ› Cambridge University Press 🌐 English

This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE and shows how to apply the COMET/RTE design method to real-world problems. The author covers key topics such as architectural patterns for distributed and hier

DSP Software Development Techniques for
✍ Robert Oshana πŸ“‚ Library πŸ“… 2006 πŸ› Newnes 🌐 English

Today's embedded and real-time systems contain a mix of processor types: off-the-shelf microcontrollers, digital signal processors (DSPs), and custom processors. The decreasing cost of DSPs has made these sophisticated chips very attractive for a number of embedded and real-time applications, includ

Analysis and Synthesis of Distributed Re
✍ Paul Pop, Petru Eles, Zebo Peng (auth.) πŸ“‚ Library πŸ“… 2004 πŸ› Springer US 🌐 English

<p><P>Embedded computer systems are now everywhere: from alarm clocks to PDAs, from mobile phones to cars, almost all the devices we use are controlled by embedded computers. An important class of embedded computer systems is that of hard real-time systems, which have to fulfill strict timing requir

Embedded and Real Time System Developmen
✍ Diego Alonso, Francisco SΓ‘nchez-Ledesma, Juan Pastor, BΓ‘rbara Álvarez (auth.), M πŸ“‚ Library πŸ“… 2014 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><p>Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This creates a big challenge for embedded and real-time software development processes and there is a