首页 > 最新文献

2008 Fifth IEEE International Symposium on Embedded Computing最新文献

英文 中文
Research of NC Program Processor in Embedded Control System 嵌入式控制系统中数控程序处理器的研究
Pub Date : 2008-10-06 DOI: 10.1109/SEC.2008.17
Qikui Wang, Wei Li, Youdong Chen, Hongxing Wei, Yong Zou
NC program processor is an important module in Computer Numerical Control (CNC) system. NC program processor is divided into interpreter and look-ahead function. In the paper, the macro variable computation, the geometric transformation and the look-ahead pre-interpolation which is widely adopted in machining small-line blocks are introduced for their importance in modern CNC system. The former two works are executed in the interpreter, and the last one is performed in look-ahead pre-interpolation function. A method for five formats of computing macro variable is proposed as well as the proportion and rotation transformation in the interpreter. Then, four conditions including angle constraint between two NC blocks, chord constraint rule, length of the small-line and monotone rule are also discussed. NC program processor is implemented in an embedded control system based ARM (advanced RISC machine), DSP (digital signal processor) and FPGA (field programmable gate array) processors. Experiments show the system is reliable.
数控程序处理器是数控系统中的一个重要模块。数控程序处理器分为解释器和预查功能。本文介绍了在现代数控系统中广泛应用的宏变量计算、几何变换和前视预插补等方法。前两项工作在解释器中执行,后一项工作在预插值函数中执行。提出了五种宏变量格式的计算方法以及解释器中的比例和旋转变换。然后讨论了两个数控块之间的角度约束、弦约束规则、小线段长度和单调规则四种条件。数控程序处理器是在基于ARM(高级RISC机)、DSP(数字信号处理器)和FPGA(现场可编程门阵列)处理器的嵌入式控制系统中实现的。实验表明,该系统是可靠的。
{"title":"Research of NC Program Processor in Embedded Control System","authors":"Qikui Wang, Wei Li, Youdong Chen, Hongxing Wei, Yong Zou","doi":"10.1109/SEC.2008.17","DOIUrl":"https://doi.org/10.1109/SEC.2008.17","url":null,"abstract":"NC program processor is an important module in Computer Numerical Control (CNC) system. NC program processor is divided into interpreter and look-ahead function. In the paper, the macro variable computation, the geometric transformation and the look-ahead pre-interpolation which is widely adopted in machining small-line blocks are introduced for their importance in modern CNC system. The former two works are executed in the interpreter, and the last one is performed in look-ahead pre-interpolation function. A method for five formats of computing macro variable is proposed as well as the proportion and rotation transformation in the interpreter. Then, four conditions including angle constraint between two NC blocks, chord constraint rule, length of the small-line and monotone rule are also discussed. NC program processor is implemented in an embedded control system based ARM (advanced RISC machine), DSP (digital signal processor) and FPGA (field programmable gate array) processors. Experiments show the system is reliable.","PeriodicalId":231129,"journal":{"name":"2008 Fifth IEEE International Symposium on Embedded Computing","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122784267","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Design of a Reconfigurable Robot Controller Based on FPGA 基于FPGA的可重构机器人控制器设计
Pub Date : 2008-10-06 DOI: 10.1109/SEC.2008.33
M. Xu, Wenzhang Zhu, Ying Zou
With the development of the micro-electronics and computer technology, especially with the expansion of field programmable gate array (FPGA), the reconfigurable system technology is becoming the key issue of research and application. In this paper, the principle of the dynamically reconfigurable FPGA, the method and flow of the configurable design are introduced. Based on the application requirement of the modular reconfigurable robot (MRR), a designing method of reconfigurable robot controller is proposed, which is based on the Advanced RISC Machine (ARM) processor and FPGA. The design principle, internal logic function design and the design course of the reconfiguration method are presented. Finally, the experiments of the MRR prove the feasibility of the reconfigurable robot controller to different configuration requirement of MRR and the efficiency of the software and hardware resource.
随着微电子技术和计算机技术的发展,特别是随着现场可编程门阵列(FPGA)的广泛应用,可重构系统技术正成为研究和应用的关键问题。本文介绍了动态可重构FPGA的原理、可重构设计的方法和流程。针对模块化可重构机器人的应用需求,提出了一种基于ARM处理器和FPGA的可重构机器人控制器设计方法。介绍了重构方法的设计原理、内部逻辑功能设计和设计过程。最后,通过MRR的实验验证了可重构机器人控制器满足MRR不同配置要求的可行性以及软硬件资源的效率。
{"title":"Design of a Reconfigurable Robot Controller Based on FPGA","authors":"M. Xu, Wenzhang Zhu, Ying Zou","doi":"10.1109/SEC.2008.33","DOIUrl":"https://doi.org/10.1109/SEC.2008.33","url":null,"abstract":"With the development of the micro-electronics and computer technology, especially with the expansion of field programmable gate array (FPGA), the reconfigurable system technology is becoming the key issue of research and application. In this paper, the principle of the dynamically reconfigurable FPGA, the method and flow of the configurable design are introduced. Based on the application requirement of the modular reconfigurable robot (MRR), a designing method of reconfigurable robot controller is proposed, which is based on the Advanced RISC Machine (ARM) processor and FPGA. The design principle, internal logic function design and the design course of the reconfiguration method are presented. Finally, the experiments of the MRR prove the feasibility of the reconfigurable robot controller to different configuration requirement of MRR and the efficiency of the software and hardware resource.","PeriodicalId":231129,"journal":{"name":"2008 Fifth IEEE International Symposium on Embedded Computing","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124791792","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Shadow Stack Scratch-Pad-Memory for Low Power SoC 用于低功耗SoC的阴影堆栈刮擦存储器
Pub Date : 2008-10-06 DOI: 10.1109/SEC.2008.74
Ling Ming, Shi Xianqiang, Zhang Yu
In many embedded system, researches focus on how to use on-chip memory, like SPM, to reduce the energy consumption generated by off-chip memory, such as SDRAM or DRAM. They put the often use instructions and important data into on-chip memory to reduce the power because off-chip memory consumes a large of energy than on-chip memory. However, stack is a key factor that impacts the power consumption, since when function is called, the passing parameter, local variables and temporary data will use stack. We organize a shadow stack scratch-pad memory which operation behavior is somewhat like Cache, to store the stack data to reduce the stack access of off-chip memory. This memory architecture is called S3PM. The S3PM has two segments to remap the off-chip memory, leading CPU to access the S3PM when the access address is in the range of remapped area byS3PM. The paper proposes a novel memory subsystem architecture which constituted by the off-chip SDRAM, on-chip S3PM and traditional SPM. The S3PM is used to remap the stack off-chip memory which address is accessed high frequently while traditional SPM is used to store instruction and data. The results shows that the S3PM can reduce many energy but using a little size of on-chip memory.
在许多嵌入式系统中,研究的重点是如何利用片上存储器(如SPM)来降低片外存储器(如SDRAM或DRAM)产生的能量消耗。他们将经常使用的指令和重要数据放入片上存储器,以降低功耗,因为片外存储器比片上存储器消耗更多的能量。然而,堆栈是影响功耗的关键因素,因为当函数被调用时,传递的参数、局部变量和临时数据将使用堆栈。为了减少片外存储器对堆栈的访问,我们组织了一个操作行为类似于缓存的影子堆栈刮擦存储器来存储堆栈数据。这种内存架构称为S3PM。S3PM有两个段用于重新映射片外内存,当访问地址在S3PM重新映射的区域范围内时,CPU将访问S3PM。提出了一种由片外SDRAM、片内S3PM和传统SPM组成的新型存储子系统体系结构。S3PM用于重新映射地址访问频率高的堆栈片外存储器,而传统的SPM用于存储指令和数据。结果表明,S3PM可以在使用少量片上存储器的情况下减少大量能量。
{"title":"Shadow Stack Scratch-Pad-Memory for Low Power SoC","authors":"Ling Ming, Shi Xianqiang, Zhang Yu","doi":"10.1109/SEC.2008.74","DOIUrl":"https://doi.org/10.1109/SEC.2008.74","url":null,"abstract":"In many embedded system, researches focus on how to use on-chip memory, like SPM, to reduce the energy consumption generated by off-chip memory, such as SDRAM or DRAM. They put the often use instructions and important data into on-chip memory to reduce the power because off-chip memory consumes a large of energy than on-chip memory. However, stack is a key factor that impacts the power consumption, since when function is called, the passing parameter, local variables and temporary data will use stack. We organize a shadow stack scratch-pad memory which operation behavior is somewhat like Cache, to store the stack data to reduce the stack access of off-chip memory. This memory architecture is called S3PM. The S3PM has two segments to remap the off-chip memory, leading CPU to access the S3PM when the access address is in the range of remapped area byS3PM. The paper proposes a novel memory subsystem architecture which constituted by the off-chip SDRAM, on-chip S3PM and traditional SPM. The S3PM is used to remap the stack off-chip memory which address is accessed high frequently while traditional SPM is used to store instruction and data. The results shows that the S3PM can reduce many energy but using a little size of on-chip memory.","PeriodicalId":231129,"journal":{"name":"2008 Fifth IEEE International Symposium on Embedded Computing","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127132476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Real-Time Implementation of Multiple Sub-array Beam-Space MUSIC Based on FPGA and DSP Array 基于FPGA和DSP阵列的多子阵列波束空间MUSIC实时实现
Pub Date : 2008-10-06 DOI: 10.1109/SEC.2008.6
Bin Yao, Haisen S. Li, Tian Zhou, Baowei Chen, H. Yu
Multiple sub-array beam-space MUSIC (MSB-MUSIC) is a new beam-space high resolution DOA estimation algorithm. In order to solve the problem of huge computation load of the algorithm, a real-time processing scheme based on FPGA and DSP array is proposed and implemented on the hardware. In the hardware platform MSB-MUSIC with 80 channels data is real-time implemented, where both the digital down conversion based on CORDIC and the eigenvalue decomposition using the two-side CORDIC based parallel Jacobi algorithm are implemented on the FPGA. The calculation of the covariance matrix and MUSIC angular spectra are implemented on DSP array, respectively. The parallel processing platform has been applied to the shallow water high resolution multi-beam echo sounder, and the lake test proves that the system can achieve the high performance.
多子阵列波束空间MUSIC (MSB-MUSIC)是一种新的波束空间高分辨率DOA估计算法。为了解决算法计算量大的问题,提出了一种基于FPGA和DSP阵列的实时处理方案,并在硬件上进行了实现。在硬件平台上实时实现了80通道数据的MSB-MUSIC,其中基于CORDIC的数字下变频和基于双向CORDIC并行Jacobi算法的特征值分解在FPGA上实现。在DSP阵列上分别实现了协方差矩阵和MUSIC角谱的计算。该并行处理平台已应用于浅水高分辨率多波束测深仪,湖泊试验证明该系统能够达到较高的性能。
{"title":"Real-Time Implementation of Multiple Sub-array Beam-Space MUSIC Based on FPGA and DSP Array","authors":"Bin Yao, Haisen S. Li, Tian Zhou, Baowei Chen, H. Yu","doi":"10.1109/SEC.2008.6","DOIUrl":"https://doi.org/10.1109/SEC.2008.6","url":null,"abstract":"Multiple sub-array beam-space MUSIC (MSB-MUSIC) is a new beam-space high resolution DOA estimation algorithm. In order to solve the problem of huge computation load of the algorithm, a real-time processing scheme based on FPGA and DSP array is proposed and implemented on the hardware. In the hardware platform MSB-MUSIC with 80 channels data is real-time implemented, where both the digital down conversion based on CORDIC and the eigenvalue decomposition using the two-side CORDIC based parallel Jacobi algorithm are implemented on the FPGA. The calculation of the covariance matrix and MUSIC angular spectra are implemented on DSP array, respectively. The parallel processing platform has been applied to the shallow water high resolution multi-beam echo sounder, and the lake test proves that the system can achieve the high performance.","PeriodicalId":231129,"journal":{"name":"2008 Fifth IEEE International Symposium on Embedded Computing","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116931358","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
A Precise Coverage Control Protocol with Limited Communication in Wireless Sensor Networks 无线传感器网络中有限通信的精确覆盖控制协议
Pub Date : 2008-10-06 DOI: 10.1109/SEC.2008.66
Hanmei Luo, Huanzhao Wang
In this paper, we address the problem of maximizing sensor networks lifetime under coverage constraint. A Distributed Coverage Control Strategy based on Precise Coverage Degree (DSP) is proposed for both homogeneous and heterogeneous sensor networks randomly deployed. We extend the coverage degree concept by defining Pure Coverage and Joint Coverage. DSP adopts the probabilistic sense model, which is a more practical model compared with the binary sensing model. In DSP, each node calculates the coverage degree locally, so it can provide differentiated service of coverage degree, which can be adjusted dynamically according to the precision requirement by the application. Our protocol takes the complicated boundary effect into account. Experiments results show that with k-coverage guarantee, DSP can reduce the number of the active nodes and prolong the networks lifetime effectively. In addition, DSP can balance the energy consumption, and the protocol needs limited communication.
在本文中,我们讨论了在覆盖约束下传感器网络寿命最大化的问题。针对随机部署的同构和异构传感器网络,提出了一种基于精确覆盖度(DSP)的分布式覆盖控制策略。我们通过定义纯覆盖和联合覆盖扩展了覆盖度的概念。DSP采用概率感知模型,与二元感知模型相比,它是一种更实用的模型。在DSP中,每个节点在本地计算覆盖度,因此可以提供覆盖度的差异化服务,可以根据应用的精度要求动态调整。我们的方案考虑了复杂的边界效应。实验结果表明,在保证k覆盖的情况下,DSP可以有效地减少活动节点的数量,延长网络的生存期。此外,DSP可以平衡能量消耗,并且协议需要有限的通信。
{"title":"A Precise Coverage Control Protocol with Limited Communication in Wireless Sensor Networks","authors":"Hanmei Luo, Huanzhao Wang","doi":"10.1109/SEC.2008.66","DOIUrl":"https://doi.org/10.1109/SEC.2008.66","url":null,"abstract":"In this paper, we address the problem of maximizing sensor networks lifetime under coverage constraint. A Distributed Coverage Control Strategy based on Precise Coverage Degree (DSP) is proposed for both homogeneous and heterogeneous sensor networks randomly deployed. We extend the coverage degree concept by defining Pure Coverage and Joint Coverage. DSP adopts the probabilistic sense model, which is a more practical model compared with the binary sensing model. In DSP, each node calculates the coverage degree locally, so it can provide differentiated service of coverage degree, which can be adjusted dynamically according to the precision requirement by the application. Our protocol takes the complicated boundary effect into account. Experiments results show that with k-coverage guarantee, DSP can reduce the number of the active nodes and prolong the networks lifetime effectively. In addition, DSP can balance the energy consumption, and the protocol needs limited communication.","PeriodicalId":231129,"journal":{"name":"2008 Fifth IEEE International Symposium on Embedded Computing","volume":"432 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123035162","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
An Extended Petri Net EPRES for Embedded System Modeling 嵌入式系统建模的扩展Petri网EPRES
Pub Date : 2008-10-06 DOI: 10.1109/SEC.2008.42
Sen Liu, C. Mu
An appropriate formal model should be established to perform simulation analysis in prophase of embedded system design. This paper analyzes the current Petri net models and presents an EPRES model which gives its structural definition, graphical representation and behavioral rules concretely. The places were extended to two types such as control places and data places in EPRES. Transition function and transition time delay were introduced. Then EPRES can specify and analyze the function realization, resource consumption and time constraint. Finally, an example of the EPRES representation of an embedded system is given to show that EPRES is suitable for embedded system modeling.
在嵌入式系统设计前期,需要建立合适的形式化模型进行仿真分析。分析了现有的Petri网模型,提出了一种EPRES模型,给出了模型的结构定义、图形表示和行为规则。在EPRES中将位置扩展为控制位置和数据位置两种类型。引入了过渡函数和过渡时滞。然后,EPRES可以指定和分析功能实现、资源消耗和时间约束。最后,以嵌入式系统的EPRES表示为例,说明了EPRES在嵌入式系统建模中的适用性。
{"title":"An Extended Petri Net EPRES for Embedded System Modeling","authors":"Sen Liu, C. Mu","doi":"10.1109/SEC.2008.42","DOIUrl":"https://doi.org/10.1109/SEC.2008.42","url":null,"abstract":"An appropriate formal model should be established to perform simulation analysis in prophase of embedded system design. This paper analyzes the current Petri net models and presents an EPRES model which gives its structural definition, graphical representation and behavioral rules concretely. The places were extended to two types such as control places and data places in EPRES. Transition function and transition time delay were introduced. Then EPRES can specify and analyze the function realization, resource consumption and time constraint. Finally, an example of the EPRES representation of an embedded system is given to show that EPRES is suitable for embedded system modeling.","PeriodicalId":231129,"journal":{"name":"2008 Fifth IEEE International Symposium on Embedded Computing","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133756275","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A Secure Data Aggregation Algorithm Based on Behavior Trust in Wireless Sensor Networks 基于行为信任的无线传感器网络安全数据聚合算法
Pub Date : 2008-10-06 DOI: 10.1109/SEC.2008.15
Ming-zheng Zhou, Jin-sheng Xu, Cheng Zhu
In wireless sensor networks (WSNs), secure data aggregation is an important application. Previous works are implemented by authentication among neighboring sensors. Considering that in many cases, data aggregation is both spatial and temporal correlation, this paper proposes a distributed and localized secure data aggregation algorithm based on behavior trust (BTDA). The security and reliability of the algorithm are implemented by using statistical hypothesis test for matching the reading sequence of sensors and statistical characteristics of the data aggregation. Simulation shows the algorithm efficiently.
在无线传感器网络中,安全数据聚合是一个重要的应用。以前的工作是通过相邻传感器之间的认证来实现的。考虑到在很多情况下,数据聚合既具有空间相关性,又具有时间相关性,本文提出了一种基于行为信任(BTDA)的分布式、本地化安全数据聚合算法。通过统计假设检验来匹配传感器的读取序列和数据聚合的统计特征,实现了算法的安全性和可靠性。仿真结果表明了该算法的有效性。
{"title":"A Secure Data Aggregation Algorithm Based on Behavior Trust in Wireless Sensor Networks","authors":"Ming-zheng Zhou, Jin-sheng Xu, Cheng Zhu","doi":"10.1109/SEC.2008.15","DOIUrl":"https://doi.org/10.1109/SEC.2008.15","url":null,"abstract":"In wireless sensor networks (WSNs), secure data aggregation is an important application. Previous works are implemented by authentication among neighboring sensors. Considering that in many cases, data aggregation is both spatial and temporal correlation, this paper proposes a distributed and localized secure data aggregation algorithm based on behavior trust (BTDA). The security and reliability of the algorithm are implemented by using statistical hypothesis test for matching the reading sequence of sensors and statistical characteristics of the data aggregation. Simulation shows the algorithm efficiently.","PeriodicalId":231129,"journal":{"name":"2008 Fifth IEEE International Symposium on Embedded Computing","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133180951","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Design and Realization of Omni-directional Mobile Robot Body Based on Zigbee Technology 基于Zigbee技术的全向移动机器人本体设计与实现
Pub Date : 2008-10-06 DOI: 10.1109/SEC.2008.73
Ding Ru, Zheng Tong, Z. Li, L. Gang
The Omni-directional mobile robot based on Zigbee technology is designed in this paper according to the conception of remote-cerebellum. The hardware design and realization scheme of primary function module in the robot is introduced in detail. And the analysis and illustration of the robot are also present in this paper.
本文根据远程小脑的概念,设计了基于Zigbee技术的全向移动机器人。详细介绍了机器人主要功能模块的硬件设计和实现方案。并对该机器人进行了分析和说明。
{"title":"Design and Realization of Omni-directional Mobile Robot Body Based on Zigbee Technology","authors":"Ding Ru, Zheng Tong, Z. Li, L. Gang","doi":"10.1109/SEC.2008.73","DOIUrl":"https://doi.org/10.1109/SEC.2008.73","url":null,"abstract":"The Omni-directional mobile robot based on Zigbee technology is designed in this paper according to the conception of remote-cerebellum. The hardware design and realization scheme of primary function module in the robot is introduced in detail. And the analysis and illustration of the robot are also present in this paper.","PeriodicalId":231129,"journal":{"name":"2008 Fifth IEEE International Symposium on Embedded Computing","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122003175","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Research on Embedded Surveillance Platform in Severe Environment 恶劣环境下嵌入式监控平台的研究
Pub Date : 2008-10-06 DOI: 10.1109/SEC.2008.39
Ma Sen, Shang Yuan-yuan, Jie Yi, Bai Meng
In the coal mine, open field or a severe surveillance environment, the use of computers and data collection card to achieve surveillance task is fairly dangerous and unreliable. This paper analyzes platform selection in special surveillance environment based on such problems as the high possibility of flammability and explosion, high humidity and lots of dust in surveillance environment, and the inconvenience of separate, long distance surveillance fields. It also proposes the concept of establishing the embedded surveillance platform. Finally a surveillance platform based on system on programmable chip (SOPC) is presented. The result shows that the embedded platform can afford the task in severe environment.
在煤矿、露天或恶劣的监控环境中,使用计算机和数据采集卡来实现监控任务是相当危险和不可靠的。针对监控环境中易燃性、爆炸性大、湿度大、粉尘多、监控场地分散、远程监控不方便等问题,分析了特殊监控环境下平台的选择。提出了建立嵌入式监控平台的概念。最后提出了一个基于可编程芯片系统(SOPC)的监控平台。结果表明,该嵌入式平台能够承担恶劣环境下的任务。
{"title":"Research on Embedded Surveillance Platform in Severe Environment","authors":"Ma Sen, Shang Yuan-yuan, Jie Yi, Bai Meng","doi":"10.1109/SEC.2008.39","DOIUrl":"https://doi.org/10.1109/SEC.2008.39","url":null,"abstract":"In the coal mine, open field or a severe surveillance environment, the use of computers and data collection card to achieve surveillance task is fairly dangerous and unreliable. This paper analyzes platform selection in special surveillance environment based on such problems as the high possibility of flammability and explosion, high humidity and lots of dust in surveillance environment, and the inconvenience of separate, long distance surveillance fields. It also proposes the concept of establishing the embedded surveillance platform. Finally a surveillance platform based on system on programmable chip (SOPC) is presented. The result shows that the embedded platform can afford the task in severe environment.","PeriodicalId":231129,"journal":{"name":"2008 Fifth IEEE International Symposium on Embedded Computing","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127761946","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Validation of ASIP Architecture Description ASIP架构描述的验证
Pub Date : 2008-10-06 DOI: 10.1109/SEC.2008.49
Yanyan Gao, Xi Li, Jie Yu
Validation is one of the most complex and expensive tasks in current Application Specific Instruction Set Processors (ASIP) design process. Many existing approaches employ a multiple-level approach to efficiently design and verify ASIP design. This paper presents a novel extended timed Petri net model called HDPN-Hardware Design based-on Petri Net to model systems at multiple levels, and introduces a verification scheme based on HDPN to satisfy the requirement of Design Space Exploration (DSE). This paper focuses on formal modeling and verification ASIP architecture. And a DLX pipelined processor is presented to demonstrate the validity and usage of this method.
验证是当前应用特定指令集处理器(ASIP)设计过程中最复杂、最昂贵的任务之一。许多现有的方法采用多级方法来有效地设计和验证ASIP设计。提出了一种新的扩展时间Petri网模型——基于Petri网的HDPN-硬件设计模型,对系统进行多层次建模,并介绍了一种基于HDPN的验证方案,以满足设计空间探索(Design Space Exploration, DSE)的要求。本文重点研究了ASIP体系结构的形式化建模和验证。最后以一个DLX流水线处理器为例,验证了该方法的有效性和实用性。
{"title":"Validation of ASIP Architecture Description","authors":"Yanyan Gao, Xi Li, Jie Yu","doi":"10.1109/SEC.2008.49","DOIUrl":"https://doi.org/10.1109/SEC.2008.49","url":null,"abstract":"Validation is one of the most complex and expensive tasks in current Application Specific Instruction Set Processors (ASIP) design process. Many existing approaches employ a multiple-level approach to efficiently design and verify ASIP design. This paper presents a novel extended timed Petri net model called HDPN-Hardware Design based-on Petri Net to model systems at multiple levels, and introduces a verification scheme based on HDPN to satisfy the requirement of Design Space Exploration (DSE). This paper focuses on formal modeling and verification ASIP architecture. And a DLX pipelined processor is presented to demonstrate the validity and usage of this method.","PeriodicalId":231129,"journal":{"name":"2008 Fifth IEEE International Symposium on Embedded Computing","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114496771","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
期刊
2008 Fifth IEEE International Symposium on Embedded Computing
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1