CN103019903B - 嵌入式设备能耗仿真评测*** - Google Patents
嵌入式设备能耗仿真评测*** Download PDFInfo
- Publication number
- CN103019903B CN103019903B CN201310020199.XA CN201310020199A CN103019903B CN 103019903 B CN103019903 B CN 103019903B CN 201310020199 A CN201310020199 A CN 201310020199A CN 103019903 B CN103019903 B CN 103019903B
- Authority
- CN
- China
- Prior art keywords
- energy consumption
- model
- event
- embedded
- aadl
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/36—Circuit design at the analogue level
- G06F30/367—Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2119/00—Details relating to the type or aim of the analysis or the optimisation
- G06F2119/06—Power analysis or power optimisation
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Microelectronics & Electronic Packaging (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
Description
Claims (10)
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310020199.XA CN103019903B (zh) | 2013-01-18 | 2013-01-18 | 嵌入式设备能耗仿真评测*** |
US13/856,329 US9003343B2 (en) | 2013-01-18 | 2013-04-03 | Energy consumption simulation and evaluation system for embedded device |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310020199.XA CN103019903B (zh) | 2013-01-18 | 2013-01-18 | 嵌入式设备能耗仿真评测*** |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103019903A CN103019903A (zh) | 2013-04-03 |
CN103019903B true CN103019903B (zh) | 2014-11-26 |
Family
ID=47968532
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201310020199.XA Active CN103019903B (zh) | 2013-01-18 | 2013-01-18 | 嵌入式设备能耗仿真评测*** |
Country Status (2)
Country | Link |
---|---|
US (1) | US9003343B2 (zh) |
CN (1) | CN103019903B (zh) |
Families Citing this family (45)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9722813B2 (en) | 2008-09-08 | 2017-08-01 | Tendril Networks, Inc. | Consumer directed energy management systems and methods |
US10678279B2 (en) | 2012-08-01 | 2020-06-09 | Tendril Oe, Llc | Optimization of energy use through model-based simulations |
US20140107999A1 (en) * | 2012-10-12 | 2014-04-17 | Silicon Integration Initiative, Inc. | Multi-level abstract power modeling method |
US9423779B2 (en) | 2013-02-06 | 2016-08-23 | Tendril Networks, Inc. | Dynamically adaptive personalized smart energy profiles |
US9310815B2 (en) | 2013-02-12 | 2016-04-12 | Tendril Networks, Inc. | Setpoint adjustment-based duty cycling |
CN103838937B (zh) * | 2014-03-27 | 2017-01-04 | 北京国电通网络技术有限公司 | 一种能耗仿真建模*** |
US9503623B2 (en) | 2014-06-03 | 2016-11-22 | Applied Minds, Llc | Color night vision cameras, systems, and methods thereof |
US9996637B2 (en) * | 2015-07-30 | 2018-06-12 | International Business Machines Corporation | Method for verifying hardware/software co-designs |
CN105389200A (zh) * | 2015-12-16 | 2016-03-09 | 浪潮(北京)电子信息产业有限公司 | 用于超大规模芯片验证的多组激励批量仿真方法及*** |
EP3436749A4 (en) * | 2016-04-01 | 2019-12-11 | Tendril Networks, Inc. | ORCHESTRATED ENERGY |
CN106202681A (zh) * | 2016-07-04 | 2016-12-07 | 北京空间飞行器总体设计部 | 可重用的卫星电源能量平衡仿真***及其建模方法 |
US10452794B2 (en) * | 2016-08-25 | 2019-10-22 | Baker Hughes, A Ge Company, Llc | Generating a script for performing a well operation job |
US11481699B2 (en) * | 2017-03-28 | 2022-10-25 | Siemens Aktiengesellschaft | Method and device for estimating the lifecycle of a component |
US10439889B2 (en) * | 2017-05-16 | 2019-10-08 | Microsoft Technology Licensing, Llc | High fidelity network emulation |
CN107302562B (zh) * | 2017-05-23 | 2019-12-03 | 中国科学院计算技术研究所 | 一种物联网终端设备的自适应命令处理***与方法 |
CN108376221B (zh) * | 2018-02-27 | 2021-07-13 | 哈尔滨工业大学 | 一种基于aadl模型扩展的软件***安全性验证与评估方法 |
CN108595959B (zh) * | 2018-03-27 | 2021-10-22 | 西北工业大学 | 基于确定性随机Petri网的AADL模型安全性评估方法 |
CN108829933B (zh) * | 2018-05-22 | 2023-04-07 | 北京天泽智云科技有限公司 | 一种半导体制造设备的预测性维护与健康管理的方法 |
CN109598063B (zh) * | 2018-12-04 | 2022-11-04 | 中国航空无线电电子研究所 | 一种基于aadl的数据链组网动态模型驱动方法 |
CN110059329B (zh) * | 2018-12-05 | 2023-06-20 | 中国航空工业集团公司西安飞机设计研究所 | 一种精细化的机电***能量综合仿真方法及综合仿真*** |
CN110134599B (zh) * | 2019-05-09 | 2023-06-23 | 中国航空工业集团公司西安航空计算技术研究所 | 一种***体系结构错误行为验证方法及装置 |
CA3147754A1 (en) | 2019-07-24 | 2021-01-28 | Adriana KNATCHBULL-HUGESSEN | Adaptive thermal comfort learning for optimized hvac control |
CN110489862A (zh) * | 2019-08-19 | 2019-11-22 | 重庆大学 | 一种复杂机电***寿命预测方法 |
CN110442338B (zh) * | 2019-08-21 | 2023-09-19 | 北京神舟航天软件技术有限公司 | 一种结构分析与设计语言aadl模型的仿真方法 |
US11606393B2 (en) * | 2019-08-29 | 2023-03-14 | Nec Corporation | Node classification in dynamic networks using graph factorization |
CN110737441B (zh) * | 2019-09-03 | 2023-08-01 | 中国航空无线电电子研究所 | 一种基于微服务架构的ima配置生成方法 |
CN111045932B (zh) * | 2019-11-25 | 2023-06-16 | 杭州网易再顾科技有限公司 | 业务***仿真处理方法、装置、电子设备及存储介质 |
CN111176658B (zh) * | 2019-12-17 | 2022-09-20 | 西北工业大学 | 基于元对象机制的AADL到Simulink模型自动转换方法 |
CN110991092A (zh) * | 2020-01-03 | 2020-04-10 | 中冶赛迪技术研究中心有限公司 | 一种余能一体化利用计算方法及*** |
CN111274699A (zh) * | 2020-01-19 | 2020-06-12 | 北京航空航天大学 | 一种基于smartIflow的AADL模型的安全性分析方法 |
CN111274733B (zh) * | 2020-02-03 | 2023-09-01 | 上海美控智慧建筑有限公司 | 数据处理方法、数据处理装置、空调***和存储介质 |
CN111444089A (zh) * | 2020-03-18 | 2020-07-24 | 中国人民解放军海军航空大学 | 基于cgspn的测试性分析方法、装置及设备 |
CN111552636B (zh) * | 2020-04-17 | 2022-11-15 | 中国航空无线电电子研究所 | 一种应用fmi协议支持aadl集成仿真的方法 |
CN112115583A (zh) * | 2020-08-20 | 2020-12-22 | 深圳领威科技有限公司 | 一种基于数值仿真的压铸机性能评估方法及评估*** |
CN112306476B (zh) * | 2020-11-03 | 2023-04-14 | 中国航空工业集团公司西安航空计算技术研究所 | 一种嵌入式***安全性建模方法 |
CN112100870B (zh) * | 2020-11-18 | 2021-04-20 | 中国电力科学研究院有限公司 | 一种综合能源***的动态仿真***和方法 |
CN113065302B (zh) * | 2021-03-23 | 2023-03-17 | 芯华章科技股份有限公司 | 用于仿真逻辑***设计的方法、仿真器及可读存储介质 |
CN112926109B (zh) * | 2021-03-30 | 2022-06-24 | 北京计算机技术及应用研究所 | 一种复杂嵌入式***虚拟运行环境可视化建模方法 |
CN113691893B (zh) * | 2021-08-09 | 2022-09-06 | 武汉理工大学 | 一种压力机能耗远程智能监控平台及方法 |
CN113610616B (zh) * | 2021-08-16 | 2023-10-13 | 傲林科技有限公司 | 一种基于事件网的财务勾稽关系分析方法和分析*** |
CN113610313B (zh) * | 2021-08-16 | 2024-02-06 | 傲林科技有限公司 | 一种基于事件网的成本还原优化方法、***及存储介质 |
CN113610419B (zh) * | 2021-08-16 | 2023-10-13 | 傲林科技有限公司 | 一种基于事件网的事中监控分析方法、***及存储介质 |
CN113609631B (zh) * | 2021-08-16 | 2023-11-14 | 傲林科技有限公司 | 基于事件网络拓扑图的创建方法、装置及电子设备 |
CN115454614B (zh) * | 2022-11-14 | 2023-03-24 | 安徽大学 | 一种机器人集群能量补给智能调度方法 |
CN116804942B (zh) * | 2023-06-26 | 2024-04-02 | 广东凯普科技智造有限公司 | 一种基于事件驱动的单片机操作***实现方法 |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6263303B1 (en) * | 1998-10-26 | 2001-07-17 | Sony Corporation | Simulator architecture |
US20070288885A1 (en) * | 2006-05-17 | 2007-12-13 | The Mathworks, Inc. | Action languages for unified modeling language model |
CN100385411C (zh) * | 2006-07-04 | 2008-04-30 | 浙江大学 | 一种嵌入式***模拟器中的动态软件能耗测试方法 |
CN101901186B (zh) * | 2010-07-08 | 2012-06-06 | 西北工业大学 | 一种嵌入式***可靠性分析与评估方法 |
-
2013
- 2013-01-18 CN CN201310020199.XA patent/CN103019903B/zh active Active
- 2013-04-03 US US13/856,329 patent/US9003343B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
US20140208287A1 (en) | 2014-07-24 |
CN103019903A (zh) | 2013-04-03 |
US9003343B2 (en) | 2015-04-07 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103019903B (zh) | 嵌入式设备能耗仿真评测*** | |
Fraboulet et al. | Worldsens: development and prototyping tools for application specific wireless sensors networks | |
Lessmann et al. | Comparative study of wireless network simulators | |
Hammad et al. | Implementation and development of an offline co-simulation testbed for studies of power systems cyber security and control verification | |
CN103634154B (zh) | 网络状态的模拟***及其模拟方法 | |
Wan et al. | Composition challenges and approaches for cyber physical systems | |
CN108460199B (zh) | Cni建模*** | |
Sun et al. | Verifying stateful timed CSP using implicit clocks and zone abstraction | |
Weber et al. | Discrete event simulation framework for power aware wireless sensor networks | |
Lalomia et al. | A hybrid framework for soft real-time wsn simulation | |
Porter et al. | Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation | |
Xu et al. | Modeling the Execution Architecture of a Mobile Phone Software System by Colored Petri Nets | |
Gandini et al. | A framework for automated detection of power-related software errors in industrial verification processes | |
Klein | Dianemu: A java based generic simulation environment for distributed protocols | |
Bernardeschi et al. | Early prototyping of wireless sensor network algorithms in PVS | |
Song et al. | Hy-Sim: Model based hybrid simulation framework for WSN application development | |
Xu et al. | Modeling execution architecture of software system using colored Petri nets | |
Khalili et al. | PDETool: A multi-formalism modeling tool for discrete-event systems based on SDES description | |
Piotrowski et al. | Sens4u: Wireless sensor network applications for environment monitoring made easy | |
Zboril Jr et al. | Simulation for Wireless Sensor Networks with Intelligent Nodes | |
Wainer et al. | A model-driven technique for development of embedded systems based on the DEVS formalism | |
Jóźwiak et al. | Quality-driven model-based architecture synthesis for real-time embedded SoCs | |
Kocı et al. | Simulation based design of control systems using DEVS and Petri Nets | |
Jakobsen | Formal methods for design and simulation of embedded systems | |
Innocenti et al. | Active-DEVS: a computational model for the simulation of forest fire propagation |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
TR01 | Transfer of patent right |
Effective date of registration: 20170911 Address after: 150001 No. 434, postal street, Nangang District, Heilongjiang, Harbin Patentee after: Harbin Institute of Technology National University Science Park Development Co., Ltd. Address before: 150001 Harbin, Nangang, West District, large straight street, No. 92 Patentee before: Harbin Institute of Technology |
|
TR01 | Transfer of patent right | ||
TR01 | Transfer of patent right |
Effective date of registration: 20171026 Address after: Harbin Daoli District Road No. 66 150001 AJ Heilongjiang ZTE 21 home property 2 building area 2 Patentee after: Harbin Zhengyuan Technology Information Technology Co. Ltd. Address before: 150001 No. 434, postal street, Nangang District, Heilongjiang, Harbin Patentee before: Harbin Institute of Technology National University Science Park Development Co., Ltd. |
|
TR01 | Transfer of patent right |