发布求助
文献互助 智能选刊 最新文献

2006 International Symposium on Industrial Embedded Systems最新文献

筛选
英文 中文
A heuristic based method for automatic deployment of distributed component based applications 基于启发式的分布式组件应用程序自动部署方法
2006 International Symposium on Industrial Embedded Systems Pub Date : 2006-10-18 DOI: 10.1109/IES.2006.357471
M. Khalgui, X. Rebeuf
{"title":"A heuristic based method for automatic deployment of distributed component based applications","authors":"M. Khalgui, X. Rebeuf","doi":"10.1109/IES.2006.357471","DOIUrl":"https://doi.org/10.1109/IES.2006.357471","url":null,"abstract":"This paper deals with the deployment of industrial control applications on distributed execution supports. These applications are developed according to the IEC 61499 standard. They are based on compositions of event triggered components. The execution support is a network of computational units scheduling OS tasks. The deployment problem consists then in associating components executions to OS tasks. We resolve this problem by proposing a method based on a heuristic and a schedulability analysis. This method has to take into account the execution support limitation while satisfying functional and temporal constraints on application components.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134639226","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}
引用次数: 8
From UML to Petri Nets for non functional Property Verification 从UML到Petri网的非功能属性验证
2006 International Symposium on Industrial Embedded Systems Pub Date : 2006-10-18 DOI: 10.1109/IES.2006.357475
F. Mallet, Marie-Agnès Peraldi-Frati, C. André
{"title":"From UML to Petri Nets for non functional Property Verification","authors":"F. Mallet, Marie-Agnès Peraldi-Frati, C. André","doi":"10.1109/IES.2006.357475","DOIUrl":"https://doi.org/10.1109/IES.2006.357475","url":null,"abstract":"Real-time embedded architectures consist of software and hardware parts. Meeting non-functional constraints (e.g., real-time constraints) greatly depends on the mappings from the system functionalities to software and hardware components. Thus, there is a strong demand for precise architecture and allocation modeling, amenable to performance analysis. The paper proposes a model-driven approach for the assessment of the quality of allocations of the system functionalities to the architecture. We consider two technical domains: the UML domain for the definition of the model elements, and a non functional property analysis domain, external to UML, used for formal verification. This paper focuses on 1) the specification of expected behavior by UML activities, specialized to support the synchronous paradigm, 2) the definition of an analysis model for temporal properties: the Modular and Hierarchical Time Petri Nets, 3) the transformation from the specification model to the analysis model.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"216 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127604957","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}
引用次数: 12
A Complex Protocol Layer as a linux User-Space Process 作为linux用户空间进程的复杂协议层
2006 International Symposium on Industrial Embedded Systems Pub Date : 2006-10-18 DOI: 10.1109/IES.2006.357478
Antonio Barros, F. Pacheco, L. M. Pinho
{"title":"A Complex Protocol Layer as a linux User-Space Process","authors":"Antonio Barros, F. Pacheco, L. M. Pinho","doi":"10.1109/IES.2006.357478","DOIUrl":"https://doi.org/10.1109/IES.2006.357478","url":null,"abstract":"With the current complexity of communication protocols, implementing its layers totally in the kernel of the operating system is too cumbersome, and it does not allow use of the capabilities only available in user space processes. However, building protocols as user space processes must not impair the responsiveness of the communication. Therefore, in this paper we present a layer of a communication protocol, which, due to its complexity, was implemented in a user space process. Lower layers of the protocol are, for responsiveness issues, implemented in the kernel. This protocol was developed to support large-scale power-line communication (PLC) with timing requirements.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125137406","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}
引用次数: 2
Testing of Hybrid Real-time Systems Using FPGA Platform 基于FPGA平台的混合实时系统测试
2006 International Symposium on Industrial Embedded Systems Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357472
J. Krakora, Z. Hanzálek
{"title":"Testing of Hybrid Real-time Systems Using FPGA Platform","authors":"J. Krakora, Z. Hanzálek","doi":"10.1109/IES.2006.357472","DOIUrl":"https://doi.org/10.1109/IES.2006.357472","url":null,"abstract":"This paper presents a hybrid hardware-in-the-loop (HIL) methodology based on both the discrete event system, given by timed automata, and the continuous systems, given by difference equations. The methodology is implemented using an FPGA platform. It guarantees not only the speed enhancement but also the time accuracy and extensibility with no performance loss. Compared to the operating system based platforms, the FPGA platform is able to achieve much faster sampling frequency. Methodology FPGA implementation is generated by using Xilinx System Generator, bit exact toolbox for Matlab/Simulink.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122805005","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}
引用次数: 2
Scheduler-based Multi-Bank Main Memory Configuration for Energy Reduction 基于调度器的多银行主存节能配置
2006 International Symposium on Industrial Embedded Systems Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357460
H. Fradj, C. Belleudy, M. Auguin
{"title":"Scheduler-based Multi-Bank Main Memory Configuration for Energy Reduction","authors":"H. Fradj, C. Belleudy, M. Auguin","doi":"10.1109/IES.2006.357460","DOIUrl":"https://doi.org/10.1109/IES.2006.357460","url":null,"abstract":"Modern DRAM technologies offer power management features for energy consumption optimization. It consists of multi-banking the addressing space instead of monolithic memory. The main advantage in this approach is the capability of setting banks in low power modes when they are not accessed, such that only the accessed bank is maintained in active mode. In this paper we investigate how this power management capability can be handled for real-time and multitasking applications. We aim to find, based on the application scheduler, both an efficient allocation of application's tasks to memory banks, and the corresponding memory configuration that lessen the energy consumption: number of banks and the size of each bank. Results show the effectiveness of this approach and the large energy savings.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"3 Suppl N 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116895581","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
Real-Time and Embedded System Verification Based on Formal Requirements 基于形式化需求的实时嵌入式系统验证
2006 International Symposium on Industrial Embedded Systems Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357467
Benjamin Fontan, L. Apvrille, Pierre de Saqui-Sannes, J. Courtiat
{"title":"Real-Time and Embedded System Verification Based on Formal Requirements","authors":"Benjamin Fontan, L. Apvrille, Pierre de Saqui-Sannes, J. Courtiat","doi":"10.1109/IES.2006.357467","DOIUrl":"https://doi.org/10.1109/IES.2006.357467","url":null,"abstract":"TURTLE is a real-time UML profile supported by a toolkit which enables application of formal verification techniques to the analysis, design and deployment phases of systems design trajectory. This paper extends the TURTLE methodology with a requirement capture phase. SysML requirement diagrams are introduced. Temporal requirements (TR) are formally expressed using a dedicated language based on Allen's interval algebra. TRs serve as starting point to automatically synthesize observers and to guide the verification process applied to the TURTLE model of the system. Verification results are automatically collected in traceability matrices. A Hybrid Sport Utility Vehicle serves as example.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122019796","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}
引用次数: 7
Exploiting Memory-Boundedness in Energy-Efficient Hard Real-Time Scheduling 在高能效硬实时调度中利用内存约束性
2006 International Symposium on Industrial Embedded Systems Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357463
M. Spiga, Mattia Spiga, A. Alimonda, S. Carta, F. Aymerich
{"title":"Exploiting Memory-Boundedness in Energy-Efficient Hard Real-Time Scheduling","authors":"M. Spiga, Mattia Spiga, A. Alimonda, S. Carta, F. Aymerich","doi":"10.1109/IES.2006.357463","DOIUrl":"https://doi.org/10.1109/IES.2006.357463","url":null,"abstract":"Dynamic voltage and frequency scaling (DVFS) has been extensively exploited in the context of hard real-time systems for the development of energy efficient task scheduling algorithms. However, when tasks are memory bounded, further energy improvement could be obtained. In this paper we analyze the effect of memory boundedness in a state-of-the-art energy efficient hard real-time scheduling algorithm, and we propose a new technique to take into account these effects to substantially improve energy efficiency of the scheduling algorithm while still preventing deadline misses. The proposed technique is compared to a state-of-the-art hard real-time scheduling algorithm from energy efficiency viewpoint. Results show an energy reduction from 15% to 90% depending on the amount of memory boundedness of the task.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128784172","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
Efficient Design and Implementation on FPGA of a MicroBlaze Peripheral for Processing Direct Electrical Networks Measurements 用于处理直接电网测量的MicroBlaze外围设备的FPGA高效设计与实现
2006 International Symposium on Industrial Embedded Systems Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357486
J. Viejo, M. J. Díaz, A. Millán, E. Ostúa, J. Juan, P. Ruiz-de-Clavijo, David Guerrero Martos
{"title":"Efficient Design and Implementation on FPGA of a MicroBlaze Peripheral for Processing Direct Electrical Networks Measurements","authors":"J. Viejo, M. J. Díaz, A. Millán, E. Ostúa, J. Juan, P. Ruiz-de-Clavijo, David Guerrero Martos","doi":"10.1109/IES.2006.357486","DOIUrl":"https://doi.org/10.1109/IES.2006.357486","url":null,"abstract":"This contribution successfully accomplished the design and implementation of an advanced DSP circuit for direct measurements of electrical network parameters (RMS and real and reactive power) with application to network monitoring and quality assurance. The device is implemented on a mid-range Xilinx Spartan-3 family FPGA and includes an OPE interface so that it can be integrated as a standard peripheral of a microprocessor system like the MicroBlaze. Special attention has been paid to resources optimization and accuracy with simulated error below 1%.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127764966","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
NOCDEX: Network on Chip Design Space Exploration Through Direct Execution and Options Selection Through Principal Component Analysis 通过直接执行的芯片网络设计空间探索和通过主成分分析的选择
2006 International Symposium on Industrial Embedded Systems Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357469
Xinyu Li, O. Hammami
{"title":"NOCDEX: Network on Chip Design Space Exploration Through Direct Execution and Options Selection Through Principal Component Analysis","authors":"Xinyu Li, O. Hammami","doi":"10.1109/IES.2006.357469","DOIUrl":"https://doi.org/10.1109/IES.2006.357469","url":null,"abstract":"The design of system on chip (SoC) is getting more and more complex. One of the challenges is to find out an interconnection topology and a set of architecture parameters which minimize the area and power consumption while satisfying design constraint. The object of this paper is to propose a new design space exploration methodology for network on chip which use (1) hardware emulation for fast performance evaluation (2) actual post synthesis place and route for area results and (3) actual optimal implementation frequency to compute execution time rather than number of cycles. Based on these values, a statistical tool based on principal component analysis brings productivity gains for network on chip designer to quickly select network on chip components appropriate parameters value. Generally speaking the paper introduces fully automatic network on chip implementation cross-layer analysis in an integrated manner. Case studies validate our approach.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115784888","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}
引用次数: 15
System Level Design with UML: a Unified Approach 用UML进行系统级设计:一种统一的方法
2006 International Symposium on Industrial Embedded Systems Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357482
S. Rouxel, G. Gogniat, J. Diguet, J. Philippe, C. Moy
{"title":"System Level Design with UML: a Unified Approach","authors":"S. Rouxel, G. Gogniat, J. Diguet, J. Philippe, C. Moy","doi":"10.1109/IES.2006.357482","DOIUrl":"https://doi.org/10.1109/IES.2006.357482","url":null,"abstract":"This paper describes a fast prototyping tool targeting software radio applications. It is based on the Unified Modeling Language (UML) and combines a Software Defined Radio UML profile for implementing a real MDA approach with EDA tools for multi-level verifications from the type compatibility to the scheduling and memory use analysis over an heterogeneous platform. Our approach relies on performance analysis to improve architecture and application matching thanks to non-functional criteria. The main contributions of our work are the improvement of the original meta-model of the Software Radio UML profile which is currently under standardization and its integration within a unified design framework. From a high abstraction level of a software application we perform extensive verifications and analysis to validate the designer hardware architecture choice and the corresponding implementations.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124490076","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
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信