28,561 Hits in 7.6 sec

A Formal Model for Performance and Energy Evaluation of Embedded Systems

Bruno Nogueira, Paulo Maciel, Eduardo Tavares, Ermeson Andrade, Ricardo Massa, Gustavo Callou, Rodolfo Ferraz
2011 EURASIP Journal on Embedded Systems  
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]

Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske
2010 Lecture Notes in Computer Science  
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

Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu
2015 2015 IEEE Computer Society Annual Symposium on VLSI  
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

Donghoon Lee, Tohru Ishihara, Masanori Muroyama, Hiroto Yasuura, Farzan Fallah
2006 2006 IEEE/ACM/IFIP Workshop on Embedded Systems for Real Time Multimedia  
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

Feriel Ben Abdallah, Ludovic Apvrille
2013 2013 39th Euromicro Conference on Software Engineering and Advanced Applications  
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]

Ermeson Andrade, Paulo Maciel, Gustavo Callou, Bruno Nogueira, Carlos Araujo
2010 Petri Nets Applications  
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. 2GVTK 0GVU #RRNKECVKQPU  ... 
doi:10.5772/7495 fatcat:5mevqil7mnbq3efqmwh5gy7j3m

A Power Consumption Estimation Approach for Embedded Software Design Using Trace Analysis

Yassine Ben Atitallah, Julien Mottin, Nicolas Hili, Thomas Ducroux, Guillaume Godet-Bar
2015 2015 41st Euromicro Conference on Software Engineering and Advanced Applications  
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

Marco Schaarschmidt, Michael Uelschen, Elke Pulvermüller
2022 Electronics  
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]

Feng Xia, Yu-Chu Tian, Youxian Sun, Jinxiang Dong
2008 arXiv   pre-print
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

Aida Causevic, Paul Pettersson, Cristina Seceleanu
2008 2008 International Conference on Computational Intelligence for Modelling Control & Automation  
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


Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian
2012 ACM Transactions on Embedded Computing Systems  
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]

Tianyi Ma, Jun Yang, Xinglan Wang
2006 Lecture Notes in Computer Science  
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

Bassem Ouni, Cécile Belleudy, Eric Senn
2012 EURASIP Journal on Embedded Systems  
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

Gabor Madl, Nikil Dutt
2008 ACM SIGBED Review  
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]

José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen
2017 Lecture Notes in Computer Science  
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