A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A Formal Model for Performance and Energy Evaluation of Embedded Systems
2011
EURASIP Journal on Embedded Systems
Preserved Fulltext
This paper proposes an approach based on Coloured Petri Nets for evaluating embedded systems performance and energy consumption. ...
Embedded systems designers need to verify their design choices to find the proper platform and software that satisfy a given set of requirements. ...
Conclusions This work presented a method for evaluating energy consumption and performance in embedded systems. ...
doi:10.1155/2011/316510
fatcat:ol66dnsybvgj3hjvh235q2uxje
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. ...
The approach presented in this paper applies a multi-objective optimization strategy to find optimal redundancy levels for different architectural elements. ...
Integration and Deployment Architectures for Automotive Software Systems and C4-509: Dependability optimization on architectural level of system design). ...
doi:10.1007/978-3-642-13821-8_6
fatcat:znfq6xfihfht7miujijqolko6e
Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL
2015
2015 IEEE Computer Society Annual Symposium on VLSI
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
By providing formal semantics to the EAST-ADL language, as a network of priced timed automata, it becomes possible to reason about feasibility and worst-case resource consumption of the embedded components ...
The growing complexity of modern automotive embedded systems requires new techniques for model-based design that take into consideration both software and hardware constraints, and enable verification ...
Other researchers have tried to address the problem of establishing a generic formal foundation for modeling and analysis of resources in embedded systems [15] , from low-level code resource estimates ...
doi:10.1109/isvlsi.2015.103
dblp:conf/isvlsi/MarinescuES15
fatcat:gf7vrkvqnbatdieftec2sotz54
An Energy Characterization Framework for Software-Based Embedded Systems
2006
2006 IEEE/ACM/IFIP Workshop on Embedded Systems for Real Time Multimedia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We use our approach for estimating the energy consumption of two commercial microprocessors with their on-chip caches and an offchip SDRAM. ...
This paper proposes an energy characterization framework which helps designers in developing a fast and accurate energy model for a target processor-based system. ...
This work is also supported by Core Research for Evolutional Science and Technology (CREST) project of Japan Science and Technology Corporation (JST). We are grateful for their supports. ...
doi:10.1109/estmed.2006.321275
dblp:conf/estimedia/LeeIMYF06
fatcat:bzss4xvsvbfabjosvnwvnpc6mu
Fast Evaluation of Power Consumption of Embedded Systems Using DIPLODOCUS
2013
2013 39th Euromicro Conference on Software Engineering and Advanced Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The main objective of our research works is to provide methods and tools to quickly estimate the power consumption at the first steps of a system design. ...
So enhanced DIPLODOCUS offers the possibility to evaluate different power management policies, and to estimate the system power consumption. ...
[21] proposed a first approach for evaluating the power consumption in embedded systems at a high-level through the introduction of the concept of Instruction Level Power Analysis (ILPA). ...
doi:10.1109/seaa.2013.8
dblp:conf/euromicro/AbdallahA13
fatcat:34uvb3uuvncgzdltvzzwkwnbuq
An Approach Based in Petri Net for Requirement Analysis
[chapter]
2010
Petri Nets Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Without loss of generalization, this work aims to depict the mapping process of UML-IO into a Time Petri Net with Energy constraints (ETPN) in order to estimate the energy consumption and execution time ...
Hence, we consider UML in combination with MARTE (UML Profile for Modeling and Analysis of Real-Time and Embedded systems) as specification language for the design of ERTS. ...
Another future work is related to stressing simulation and analysis capabilities to get as much significant information as possible from the Time Petri Net models. www.intechopen.com 2GVTK 0GVU #RRNKECVKQPU ...
doi:10.5772/7495
fatcat:5mevqil7mnbq3efqmwh5gy7j3m
A Power Consumption Estimation Approach for Embedded Software Design Using Trace Analysis
2015
2015 41st Euromicro Conference on Software Engineering and Advanced Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
With the explosion of advanced power control knobs such as dynamic voltage frequency scaling, mastering energy constraints in embedded systems is becoming challenging for software developers. ...
In this paper, we propose a lightweight and cost-effective approach suitable for software developers. ...
CONCLUSION A power consumption estimation approach for embedded software design using trace analysis has been presented. ...
doi:10.1109/seaa.2015.34
dblp:conf/euromicro/AtitallahMHDG15
fatcat:jztvi5kd6na2dojk47gicmx3ou
Hunting Energy Bugs in Embedded Systems: A Software-Model-In-the-Loop Approach
2022
Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Power consumption has become a major design constraint, especially for battery-powered embedded systems. ...
This article proposes a power-estimation approach in MDD for software application models in early development phases. ...
There are also approaches in MDD to model software applications and hardware aspects of embedded systems for a power consumption estimation based on UML and MARTE. ...
doi:10.3390/electronics11131937
fatcat:k7twsqqs7zd4hiddgehen3fgba
Control-theoretic dynamic voltage scaling for embedded controllers
[article]
2008
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Dynamic voltage scaling (DVS) has been incorporated into modern microprocessors as a promising technique for exploring the trade-off between energy consumption and system performance. ...
For microprocessors used in real-time embedded systems, minimizing power consumption is difficult due to the timing constraints. ...
For brevity, it is called estimated nominal execution time. • ĉ i : estimated execution time at actual CPU speed associated with α, which satisfies ĉ i = ĉ i,nom /α. • c i,nom : actual execution time at ...
arXiv:0806.0132v1
fatcat:nknhi3lc7vhmngmtpjgbgercg4
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability
2008
2008 International Conference on Computational Intelligence for Modelling Control & Automation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Next, we describe our own approach for tackling such predictions, through an illustration on a small example that deals with estimations of energy consumption. ...
In this paper, we give a short overview of existing prediction models for performance and reliability, targeting popular component-based frameworks. ...
We also want to express our gratitude to the Swedish national strategic research center PROGRESS, supported by the Swedish Foundation for Strategic Research (SSF) and Mälardalen University, for co-funding ...
doi:10.1109/cimca.2008.190
dblp:conf/cimca/CausevicPS08
fatcat:t63nkhrwzfabvbzy2otfrhnudu
xTune
2012
ACM Transactions on Embedded Computing Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Integration of formal analysis with dynamic behavior from system execution results in a feedback loop that enables model refinement and further optimization of policies and parameters. ...
Specifically, an executable formal specification is developed for each layer of the mobile system under consideration. ...
In the case of statistical quantitative analysis, we estimate the expected value of certain observables such as Average energy consumption for t time units within a confidence interval (δ) and an error ...
doi:10.1145/2362336.2362340
fatcat:22rpg3r3i5cp5g5gznxy5vx53m
Low Power Hardware-Software Partitioning Algorithm for Heterogeneous Distributed Embedded Systems
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The trends towards energy-efficient design of distributed embedded systems indicate the need for low power hardware-software partitioning algorithms, which are not enough emphasized so far. ...
Hardware-software partitioning is one of the most crucial steps in the design of embedded systems, which is the process of partitioning an embedded system specification into hardware and software modules ...
a specified processor m s represents the hardware energy consumption and execution time for a given vertex i v on a specified hardware unit n h the hardware unit n h . ...
doi:10.1007/11802167_71
fatcat:xrf5efoaufehjixk57offnhaja
Accurate energy characterization of OS services in embedded systems
2012
EURASIP Journal on Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Because the operating system (OS) is a basic component of the embedded system, the reduction and characterization of its energy consumption is a main challenge for the designers. ...
As technology scales for increased circuit density and performance, the management of power consumption in embedded systems is becoming critical. ...
[9] present a performance and energy consumption simulator for embedded system executing an application code. ...
doi:10.1186/1687-3963-2012-6
fatcat:h5vjzbdgajby7ighrfrat2jrga
Real-time analysis of resource-constrained distributed systems by simulation-guided model checking
2008
ACM SIGBED Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This research proposes a model-based design flow for the dynamic real-time analysis of resource-constrained distributed systems. ...
We propose an analysis framework that combines simulations and model checking for performance evaluation and real-time verification. ...
, such as real-time properties, end-to-end performance and energy consumption. ...
doi:10.1145/1366283.1366290
fatcat:udpxgw2vgvc3ldz6cf73romtsy
Energy-Aware Model-Driven Development of a Wearable Healthcare Device
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper we propose the application of a well-founded model-driven energy-aware approach to tackle the energy consumption in such solutions addressing all their critical subsystems: control software ...
Additionally we have explored several system architectures involving software and hardware at the modelling level, being able to choose the optimal one for the current implementation. ...
Model execution and production of energy consumption estimations (Model 3): results on a high-fidelity energy consumption estimation based on the previous models capturing the interactions and the characterization ...
doi:10.1007/978-3-319-63194-3_4
fatcat:vfz55q4irngehavob5azsi3l7e
« Previous
Showing results 1 — 15 out of 28,561 results