Embedded systems designers need to verify their design choices to find the proper platform
and software that satisfy a given set of requirements. In this context, it is essential to adopt …

There are often low-level migration policies that are enforced by the platform providers to
reduce the cost associated with the consumption of energy. There are also high-level …

Measurement is an important activity whenever design embedded systems, as it provides
means for platform characterization and selection as well as system validation and …

This paper presents a formal description of an approach for model-based engineering of
energy-efficient automation systems. Energy consumption is an important decision criterion …

This paper presents an extension of the software tool TimeNET, which supports modeling
and analysis of stochastic Petri nets. The new extension implements a previously proposed …

Embedded systems that have timing constraints are classified as real-time systems. In these
systems, not only the logical results of computations are important, but also the time instant …

Power consumption is an increasingly important decision criterion that has to be included in
the search for good architectural and design alternatives of technical systems. This …

The widespread expansion of digital device market has forced embedded system
companies to deal with several additional challenges in order to provide complex systems in …

In recent years, the Electronic Design Automation (EDA) community shifted spotlights from
performance to energy efficiency. Consequently, energy consumption becomes a key …

Reliability and processing performance modeling is an important issue for aerospace and
space equipment designers. From system level perspective, one has to choose from …