A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption

机译：一种估计嵌入式系统执行时间和能耗的正式方法

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper presents a formal approach for estimating the execution time and the energy consumption of embedded system using Coloured Petri Net. Experimental results have demonstrated an accuracy of 96% using the proposed formal method in comparison with the values obtained with the hardware platform. In addition to estimation purposes, several properties can be analyzed and verified using the proposed formal model.

机译：本文提出了一种使用有色Petri网估计嵌入式系统的执行时间和能耗的正式方法。实验结果表明，与使用硬件平台获得的值相比，使用所提出的形式方法的准确性为96％。除了估算目的之外，还可以使用建议的形式模型来分析和验证几个属性。

著录项

来源
《Integrated circuit and system design: Power and timing modeling, optimization and simulation》|2008年|P.379-388|共10页
会议地点 Lisbon(PT);Lisbon(PT)
作者
Gustavo Callou; Paulo Maciel; Ermeson Carneiro; Bruno Nogueira; Eduardo Tavares; Meuse Oliveira Jr.;
展开▼
作者单位

Informatics Center(CIn), Federal University of Pernambuco(UFPE) Recife, PE, Brazil;

rnInformatics Center(CIn), Federal University of Pernambuco(UFPE) Recife, PE, Brazil;

rnInformatics Center(CIn), Federal University of Pernambuco(UFPE) Recife, PE, Brazil;

rnInformatics Center(CIn), Federal University of Pernambuco(UFPE) Recife, PE, Brazil;

rnInformatics Center(CIn), Federal University of Pernambuco(UFPE) Recife, PE, Brazil;

rnInformatics Center(CIn), Federal University of Pernambuco(UFPE) Recife, PE, Brazil;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类设计与性能分析;
关键词
coloured petri net; simulation; embedded system; energy consumption and execution time;

机译：有色陪替氏网；模拟;嵌入式系统;能耗和执行时间;

相似文献

外文文献
中文文献
专利

1. A COTS-based approach for estimating performance and energy consumption of embedded real-time systems [J] . Ermeson Andrade, Paulo Maciel, Bruno Nogueira, Information Processing Letters . 2010,第14a15期

机译：基于COTS的方法来估计嵌入式实时系统的性能和能耗
2. Multi-objective optimization of energy consumption and execution time in a single level cache memory for embedded systems [J] . Josefa Diaz Alvarez, Jose L. Risco-Martin, J. Manuel Colmenar The Journal of Systems and Software . 2016,第JANa期

机译：嵌入式系统单级缓存中的能耗和执行时间的多目标优化
3. Energy consumption and execution time estimation of embedded system applications [J] . Gustavo Callou, Paulo Maciel, Eduardo Tavares, Microprocessors and microsystems . 2011,第4期

机译：嵌入式系统应用的能耗和执行时间估算
4. A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption [C] . Gustavo Callou, Paulo Maciel, Ermeson Carneiro, International Workshop on Power and Timing Modeling, Optimization and Simulation . 2009

机译：一种估算嵌入式系统执行时间和能量消耗的正式方法
5. The impact of dynamic voltage and frequency scaling on the energy consumption, schedulability and predictability of real-time embedded systems [D] . Mochocki, Bren Christopher. 2007

机译：动态电压和频率缩放对实时嵌入式系统的能耗，可调度性和可预测性的影响
6. Enucleated Weight/Enucleation Time Is It Appropriate for Estimating Enucleation Skills for Holmium Laser Enucleation of the Prostate? A Consideration of Energy Consumption [O] . Khae Hawn Kim, Kwang Taek Kim, Jin Kyu Oh, 2018

机译：去核重量/去核时间是否适合估算前列腺Hol激光去核的去核技能？能源消耗的考虑
7. A formal approach to multi-dimensional sensitivity analysis of embedded realtime systems [O] . Razvan Racu, Arne Hamann, Rolf Ernst 2006

机译：嵌入式实时系统多维灵敏度分析的正式方法

A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption

摘要

著录项

相似文献

相关主题

期刊订阅