期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
一种嵌入式系统模型的安全性分析验证方法 被引量:1
1
作者 石娇洁 胡军 +3 位作者 刘雪 马金晶 黄志球 程桢 《计算机技术与发展》 2015年第10期7-12,共6页
由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法... 由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法。具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及高级安全性建模与分析语言AltaRica的语义模型GTS的元模型,然后建立了从SysML/MARTE状态机模型到AltaRica模型的语义映射模型转换规则,并基于AMMA平台和故障树分析工具XFTA实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证框架的构建。最后给出了民用飞机系统中的机轮刹车系统设计模型的例子进行实例验证分析。实验结果表明,提出的嵌入式系统设计模型的安全性分析与验证方法是具有代表性和可执行性的。 展开更多
关键词 系统安全性分析 模型驱动 SysML/MARTE XFTA 状态机模型 嵌入式系统模型
下载PDF
Multilevel Power Modeling of Base Station and Its ICs 被引量:1
2
作者 WANG Wei LI Xiaoyang +2 位作者 LIU Dake CAI Zhaoyun GONG Chen 《China Communications》 SCIE CSCD 2015年第5期22-33,共12页
A new power estimation method is proposed for base station(BS) in this paper.Based on this method,a software platform for power estimation is developed.The proposed method models power consumption on different abstrac... A new power estimation method is proposed for base station(BS) in this paper.Based on this method,a software platform for power estimation is developed.The proposed method models power consumption on different abstraction levels by splitting a typical base station into several basic components at different levels in the view of embedded system design.In particular,our focus is on baseband IC(Integrate Circuit) due to it's the dominant power consumer in small cells.Baseband power model is based on arithmetic computing costs of selected algorithms.All computing and storage costs are calibrated using algorithm complexity,hardware architecture,activity ratio,silicon technology,and overheads on all hierarchies.Micro architecture and IC technology are considered.The model enables power comparison of different types of base stations configured with different baseband algorithms,micro architectures,and ICs.The model also supports cellular operators in power estimation of different deployment strategies and transmission schemes.The model is verified by comparing power consumption with a real LTE base station.By exposing more configuration freedoms,the platform can be used for power estimation of current and future base stations. 展开更多
关键词 baseband IC power consumption power modeling base station 5G
下载PDF
Channel Transmission Behavioral Modeling Dedicated to WSNs
3
作者 Nasreddine Nadim Boizard Jean Louis Christophe Escriba Fourniols Jean Yves 《Journal of Energy and Power Engineering》 2012年第7期1042-1049,共8页
The design, manufacture and deployment of embedded systems become increasingly complex and multidisciplinary process. Before the steps of manufacturing and deployment, a simulation and validation phase is necessary. G... The design, manufacture and deployment of embedded systems become increasingly complex and multidisciplinary process. Before the steps of manufacturing and deployment, a simulation and validation phase is necessary. Given the increasing complexity of systems such as telecommunications systems, control systems and others, a specific simulation and validation process must take place. This simulation ideally made in a single development environment should cover different areas and all components of the system. In this paper, the authors briefly describe the behavioral models of the elements of a large scale WSN (wireless sensors network) used to create simulator, focusing specifically on the model of the transmission channel, and how it can retrieve results from the behavioral simulator. In side to legacy network simulator, for the testing and modeling of communication protocols, this simulator should not omit WSN specific aspect, in accuracy it covers the modeling of node platforms, protocols, and real world phenomena. 展开更多
关键词 WSN VHDL-AMS BER PER.
下载PDF
Non-iterative parameter estimation of the 2R-1C model suitable for low-cost embedded hardware
4
作者 Mitar SIMI? Zdenka BABI? +1 位作者 Vladimir RISOJEVI? Goran MSTOJANOVI? 《Frontiers of Information Technology & Electronic Engineering》 SCIE EI CSCD 2020年第3期476-491,共16页
Parameter estimation of the 2 R-1 C model is usually performed using iterative methods that require high-performance processing units.Consequently,there is a strong motivation to develop less time-consuming and more p... Parameter estimation of the 2 R-1 C model is usually performed using iterative methods that require high-performance processing units.Consequently,there is a strong motivation to develop less time-consuming and more power-efficient parameter estimation methods.Such low-complexity algorithms would be suitable for implementation in portable microcontroller-based devices.In this study,we propose the quadratic interpolation non-iterative parameter estimation(QINIPE)method,based on quadratic interpolation of the imaginary part of the measured impedance,which enables more accurate estimation of the characteristic frequency.The 2 R-1 C model parameters are subsequently calculated from the real and imaginary parts of the measured impedance using a set of closed-form expressions.Comparative analysis conducted on the impedance data of the 2 R-1 C model obtained in both simulation and measurements shows that the proposed QINIPE method reduces the number of required measurement points by 80%in comparison with our previously reported non-iterative parameter estimation(NIPE)method,while keeping the relative estimation error to less than 1%for all estimated parameters.Both non-iterative methods are implemented on a microcontroller-based device;the estimation accuracy,RAM,flash memory usage,and execution time are monitored.Experiments show that the QINIPE method slightly increases the execution time by 0.576 ms(about 6.7%),and requires 24%(1.2 KB)more flash memory and just 2.4%(32 bytes)more RAM in comparison to the NIPE method.However,the impedance root mean square errors(RMSEs)of the QINIPE method are decreased to 42.8%(for the real part)and 64.5%(for the imaginary part)of the corresponding RMSEs obtained using the NIPE method.Moreover,we compared the QINIPE and the complex nonlinear least squares(CNLS)estimation of the 2 R-1 C model parameters.The results obtained show that although the estimation accuracy of the QINIPE is somewhat lower than the estimation accuracy of the CNLS,it is still satisfactory for many practical purposes and its execution time reduces to1/45–1/30. 展开更多
关键词 2R-1C model Embedded systems Parameter estimation Non-iterative methods Quadratic interpolation
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部