首页 > 最新文献

7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)最新文献

英文 中文
Designing embedded systems with MARTE: A PIM to PSM converter 基于MARTE的嵌入式系统设计:PIM - PSM转换器
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356602
R. D. Medeiros, Miguel Góis, D. Rossi, Vanderlei Bonato
With the significant increase in complexity of system-on-chip arise the necessity of embedded systems designers to work with more flexible and detailed modelling rules. The MARTE (Modelling and Analysis of Real Time and Embedded Systems) modelling language developed by OMG (Object Management Group) to design embedded systems, supporting realtime constraints, allows specification and integration of models designed on System (Hw/Sw), Hardware(HW) and Software(Sw) levels. This language enables the MDA methodology (Model-Driven Architecture) to be employed for the development of embedded systems in a standard way independently of implementation technology. In this context, this paper presents a work in progress converter, called I2S, in which platform-independent models (PIM) are automatically converted to specific models (PSM) for the Altera and Xilinx platforms, being the latter one still under development. It also describes how the models are specified and interpreted in MARTE and how the PIM to PSM transformations occur. The PSM models generated by the converter are synthesizable to FPGA (Field-Programmable Gate Array) devices, allowing its application to real-world problems.
随着片上系统复杂性的显著增加,嵌入式系统设计人员需要使用更灵活和详细的建模规则。由OMG(对象管理组织)开发的MARTE(实时和嵌入式系统建模与分析)建模语言用于设计嵌入式系统,支持实时约束,允许在系统(硬件/软件)、硬件(硬件)和软件(软件)级别上设计模型的规范和集成。这种语言使MDA方法(模型驱动架构)能够以独立于实现技术的标准方式用于嵌入式系统的开发。在这种情况下,本文提出了一种正在进行的转换器,称为I2S,其中平台无关模型(PIM)自动转换为Altera和Xilinx平台的特定模型(PSM),后者仍在开发中。它还描述了如何在MARTE中指定和解释模型,以及如何进行PIM到PSM的转换。转换器生成的PSM模型可合成为FPGA(现场可编程门阵列)器件,使其能够应用于实际问题。
{"title":"Designing embedded systems with MARTE: A PIM to PSM converter","authors":"R. D. Medeiros, Miguel Góis, D. Rossi, Vanderlei Bonato","doi":"10.1109/SIES.2012.6356602","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356602","url":null,"abstract":"With the significant increase in complexity of system-on-chip arise the necessity of embedded systems designers to work with more flexible and detailed modelling rules. The MARTE (Modelling and Analysis of Real Time and Embedded Systems) modelling language developed by OMG (Object Management Group) to design embedded systems, supporting realtime constraints, allows specification and integration of models designed on System (Hw/Sw), Hardware(HW) and Software(Sw) levels. This language enables the MDA methodology (Model-Driven Architecture) to be employed for the development of embedded systems in a standard way independently of implementation technology. In this context, this paper presents a work in progress converter, called I2S, in which platform-independent models (PIM) are automatically converted to specific models (PSM) for the Altera and Xilinx platforms, being the latter one still under development. It also describes how the models are specified and interpreted in MARTE and how the PIM to PSM transformations occur. The PSM models generated by the converter are synthesizable to FPGA (Field-Programmable Gate Array) devices, allowing its application to real-world problems.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133575796","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 Networked Control Systems (NCSs) on the basis of interplays between Quality of Control and Quality of Service 基于控制质量和服务质量相互作用的网络化控制系统设计
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356573
H. Nguyen, G. Juanole
The goal of this paper is to consider a co-design approach between the controller of a process control application and the frame scheduling of a Local Area Network (LAN). More precisely we present a bi-directional relation between the Quality of Control (QoC) provided by the controller and the Quality of Service (QoS) provided by the LAN (relation noted QoS⇋QoC). We present, first, the implementation of the relation QoS→QoC on the basis of a compensation method for time delays called dominant pole method, and second, the implementation of the relation QoC→QoS on the basis of the hybrid priorities for the frame scheduling. The final objective is the implementation of the bidirectional relation QoS⇋QoC which is the combination of the both relations QoS→QoC and QoC→QoS in order to have a more efficient NCSs design.
本文的目标是考虑过程控制应用程序的控制器与局域网(LAN)的帧调度之间的协同设计方法。更确切地说,我们提出了控制器提供的控制质量(QoC)和局域网提供的服务质量(QoS)之间的双向关系(关系记作QoS⇋QoC)。首先,我们提出了基于时滞补偿方法的QoS→QoS关系的实现;其次,我们提出了基于帧调度混合优先级的QoS关系的实现。最后一个目标是实现QoS→QoC和QoC→QoS这两个关系的组合的双向关系QoS⇋QoC,以实现更有效的ncs设计。
{"title":"Design of Networked Control Systems (NCSs) on the basis of interplays between Quality of Control and Quality of Service","authors":"H. Nguyen, G. Juanole","doi":"10.1109/SIES.2012.6356573","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356573","url":null,"abstract":"The goal of this paper is to consider a co-design approach between the controller of a process control application and the frame scheduling of a Local Area Network (LAN). More precisely we present a bi-directional relation between the Quality of Control (QoC) provided by the controller and the Quality of Service (QoS) provided by the LAN (relation noted QoS⇋QoC). We present, first, the implementation of the relation QoS→QoC on the basis of a compensation method for time delays called dominant pole method, and second, the implementation of the relation QoC→QoS on the basis of the hybrid priorities for the frame scheduling. The final objective is the implementation of the bidirectional relation QoS⇋QoC which is the combination of the both relations QoS→QoC and QoC→QoS in order to have a more efficient NCSs design.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134330062","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
Implementing hierarchical scheduling to support multi-mode system 实现分层调度,支持多模式系统
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356606
R. Inam, Mikael Sjödin, Reinder J. Brfi
Multi-mode embedded real-time systems exhibit a specific behavior for each mode and upon a mode-change request, the task-set and timing interfaces of the system need to be changed. Hierarchical Scheduling Framework (HSF) is a known technique to partition the CPU time into a number of hierarchically divided subsystems each consists of its own task set. We propose to implement a multi-mode system using a two-level HSF and provide a skeleton (framework) for an adaptive HSFs supporting multi-modes. Upon a mode-change request, the timing interface of each subsystem is changed, thus making the hierarchical scheduling adaptive in nature. We address the main goals for the implementation and describe the initial design details of the Multi-Mode Adaptive Hierarchical Scheduling Framework (MMAHSF) with the emphasis of doing minimal changes to the underlying kernel.
多模式嵌入式实时系统在每个模式下都表现出特定的行为,并且在模式更改请求时,需要更改系统的任务集和定时接口。分层调度框架(HSF)是一种已知的将CPU时间划分为若干分层划分的子系统的技术,每个子系统由其自己的任务集组成。我们建议使用两级HSF实现多模式系统,并为支持多模式的自适应HSF提供一个骨架(框架)。在模式变更请求发生时,改变各子系统的时序接口,从而使分层调度具有自适应性质。我们解决了实现的主要目标,并描述了多模式自适应分层调度框架(MMAHSF)的初始设计细节,重点是对底层内核进行最小的更改。
{"title":"Implementing hierarchical scheduling to support multi-mode system","authors":"R. Inam, Mikael Sjödin, Reinder J. Brfi","doi":"10.1109/SIES.2012.6356606","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356606","url":null,"abstract":"Multi-mode embedded real-time systems exhibit a specific behavior for each mode and upon a mode-change request, the task-set and timing interfaces of the system need to be changed. Hierarchical Scheduling Framework (HSF) is a known technique to partition the CPU time into a number of hierarchically divided subsystems each consists of its own task set. We propose to implement a multi-mode system using a two-level HSF and provide a skeleton (framework) for an adaptive HSFs supporting multi-modes. Upon a mode-change request, the timing interface of each subsystem is changed, thus making the hierarchical scheduling adaptive in nature. We address the main goals for the implementation and describe the initial design details of the Multi-Mode Adaptive Hierarchical Scheduling Framework (MMAHSF) with the emphasis of doing minimal changes to the underlying kernel.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"819 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116419570","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
Worst-case delay analysis on a real-time heterogeneous network 实时异构网络的最坏情况时延分析
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356565
Xiaoting Li, Jean-Luc Scharbarg, C. Fraboul
A heterogeneous network, where a switched Ethernet backbone interconnects several existing CAN buses via bridges, is a promising candidate to build a large scale network. For real-time applications, deterministic communication is a key issue. A worst-case delay analysis on such a network has to deal with heterogeneity properties, such as different bandwidths, scheduling policies and bridging strategies. In this paper, two approaches are proposed. The first one is based on a hierarchical component-based approach. The second one is an adapted Trajectory approach which integrates heterogeneity properties. Moreover, pessimism introduced by the adapted Trajectory approach is analyzed and an optimization of this approach is proposed.
异构网络是一种由交换式以太网骨干网通过网桥连接多个现有CAN总线的网络,是构建大规模网络的一种很有前途的选择。对于实时应用程序,确定性通信是一个关键问题。这种网络的最坏情况延迟分析必须处理异构特性,如不同的带宽、调度策略和桥接策略。本文提出了两种方法。第一种是基于分层的基于组件的方法。第二种方法是结合非均质性的自适应轨迹方法。分析了自适应轨迹法引入的悲观情绪,并对该方法进行了优化。
{"title":"Worst-case delay analysis on a real-time heterogeneous network","authors":"Xiaoting Li, Jean-Luc Scharbarg, C. Fraboul","doi":"10.1109/SIES.2012.6356565","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356565","url":null,"abstract":"A heterogeneous network, where a switched Ethernet backbone interconnects several existing CAN buses via bridges, is a promising candidate to build a large scale network. For real-time applications, deterministic communication is a key issue. A worst-case delay analysis on such a network has to deal with heterogeneity properties, such as different bandwidths, scheduling policies and bridging strategies. In this paper, two approaches are proposed. The first one is based on a hierarchical component-based approach. The second one is an adapted Trajectory approach which integrates heterogeneity properties. Moreover, pessimism introduced by the adapted Trajectory approach is analyzed and an optimization of this approach is proposed.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"356 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121695885","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}
引用次数: 11
Optimized software mapping for advanced driver assistance systems 优化软件映射先进的驾驶辅助系统
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356584
Timo Schönwald, A. Viehl, O. Bringmann, W. Rosenstiel
In this paper, we present a novel approach for automated latency-optimized mapping of processes onto cores of NoC-based MPSoCs. During the mapping determination, the routing algorithm for packet-based communication is taken into account. The basic idea of the presented approach is the reduction of communication conflicts on the communication network links for reducing the overall communication latency and hence for increasing the total system performance. The presented approach is based on the idea of force-directed scheduling (FDS) from high-level synthesis. It maps the problem of conflict avoidance to forces for deriving an optimized process mapping. We present results obtained from two advanced driver assistance systems (ADAS), a traffic sign recognition and a depth map computation for a stereo camera system used for object recognition. As hardware platform we used a Tilera TILEPro64 processor system.
在本文中,我们提出了一种将进程自动映射到基于noc的mpsoc内核上的新方法。在确定映射时,考虑了基于分组通信的路由算法。提出的方法的基本思想是减少通信网络链路上的通信冲突,以减少总体通信延迟,从而提高系统的总体性能。该方法基于高级综合的力定向调度思想。它将冲突避免问题映射到派生优化过程映射的力。我们介绍了两个先进的驾驶员辅助系统(ADAS)的结果,一个交通标志识别和一个用于物体识别的立体相机系统的深度图计算。硬件平台采用Tilera tile64处理器系统。
{"title":"Optimized software mapping for advanced driver assistance systems","authors":"Timo Schönwald, A. Viehl, O. Bringmann, W. Rosenstiel","doi":"10.1109/SIES.2012.6356584","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356584","url":null,"abstract":"In this paper, we present a novel approach for automated latency-optimized mapping of processes onto cores of NoC-based MPSoCs. During the mapping determination, the routing algorithm for packet-based communication is taken into account. The basic idea of the presented approach is the reduction of communication conflicts on the communication network links for reducing the overall communication latency and hence for increasing the total system performance. The presented approach is based on the idea of force-directed scheduling (FDS) from high-level synthesis. It maps the problem of conflict avoidance to forces for deriving an optimized process mapping. We present results obtained from two advanced driver assistance systems (ADAS), a traffic sign recognition and a depth map computation for a stereo camera system used for object recognition. As hardware platform we used a Tilera TILEPro64 processor system.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127811446","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
Opportunistic hierarchical classification for power optimization in wearable movement monitoring systems 可穿戴运动监测系统功率优化的机会分层分类
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356575
Francesco Fraternali, Mahsan Rofouei, N. Alshurafa, Hassan Ghasemzadeh, L. Benini, M. Sarrafzadeh
Patient monitoring systems are becoming increasingly important in accurately diagnosing and treating growing worldwide chronic conditions especially the obesity epidemic. The ubiquitous nature of wearable sensors, such as the readily available embedded accelerometers in smart phones, provides physicians with an opportunity to remotely monitor their patient's daily activity. There have been several developments in the area of activity recognition using wearable sensors. However, due to power constraints, resource efficient algorithms are necessary in order to perform accurate realtime activity recognition while consuming minimal energy. In this paper, we present a two-tier architecture for optimizing power consumption in such systems. While the first tier relies on a hierarchical classification approach, the second one manages the activation and deactivation of the classification system. We demonstrate this using a series of binary Support Vector Machine classifiers. The proposed approach, however, is classifier independent. Experimenting with subjects performing different daily activities such as walking, going upstairs and down-stairs, standing and sitting, our approach achieves a power savings of 87%, while maintaining 92% classification accuracy.
患者监测系统在准确诊断和治疗日益增长的全球慢性疾病,特别是肥胖流行病方面变得越来越重要。无处不在的可穿戴传感器,如智能手机中随时可用的嵌入式加速度计,为医生提供了远程监控患者日常活动的机会。在使用可穿戴传感器的活动识别领域已经取得了一些进展。然而,由于功率限制,为了在消耗最小能量的情况下执行准确的实时活动识别,需要资源高效的算法。在本文中,我们提出了一个两层架构来优化这类系统的功耗。虽然第一层依赖于分层分类方法,但第二层管理分类系统的激活和停用。我们使用一系列二进制支持向量机分类器来证明这一点。然而,提出的方法是独立于分类器的。实验对象进行不同的日常活动,如走路、上楼下楼、站立和坐着,我们的方法实现了87%的节能,同时保持了92%的分类准确率。
{"title":"Opportunistic hierarchical classification for power optimization in wearable movement monitoring systems","authors":"Francesco Fraternali, Mahsan Rofouei, N. Alshurafa, Hassan Ghasemzadeh, L. Benini, M. Sarrafzadeh","doi":"10.1109/SIES.2012.6356575","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356575","url":null,"abstract":"Patient monitoring systems are becoming increasingly important in accurately diagnosing and treating growing worldwide chronic conditions especially the obesity epidemic. The ubiquitous nature of wearable sensors, such as the readily available embedded accelerometers in smart phones, provides physicians with an opportunity to remotely monitor their patient's daily activity. There have been several developments in the area of activity recognition using wearable sensors. However, due to power constraints, resource efficient algorithms are necessary in order to perform accurate realtime activity recognition while consuming minimal energy. In this paper, we present a two-tier architecture for optimizing power consumption in such systems. While the first tier relies on a hierarchical classification approach, the second one manages the activation and deactivation of the classification system. We demonstrate this using a series of binary Support Vector Machine classifiers. The proposed approach, however, is classifier independent. Experimenting with subjects performing different daily activities such as walking, going upstairs and down-stairs, standing and sitting, our approach achieves a power savings of 87%, while maintaining 92% classification accuracy.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129208182","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}
引用次数: 9
System configuration check against security policies in industrial networks 根据工业网络中的安全策略检查系统配置
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356591
M. Cheminod, L. Durante, A. Valenzano
Awareness that networked embedded systems are vulnerable to cyber-threats has been constantly raising since some years ago. In the industrial arena recent severe attacks, such as the popular case of the Stuxnet worm, have completely debunked the myth of security of embedded devices based on their isolation. Indeed, the ever increasing dependence of many industrial systems on digital communication networks is causing the cyber-security requirements to become a priority in their planning, design, deployment and management. This paper deals with our experience in checking the conformance of a distributed industrial automation system, which includes several types of embedded devices, with respect to a set of security policies defined at the global system level. In particular, the focus of the paper is on the use of modeling techniques and semi-automated s/w tools to verify the configuration of devices and services with attention to the correct use of their security capabilities to support the desired set of policies.
自几年前以来,人们对网络嵌入式系统易受网络威胁的认识一直在不断提高。在工业领域,最近的严重攻击,如流行的Stuxnet蠕虫病毒,已经彻底揭穿了基于嵌入式设备隔离的安全神话。事实上,越来越多的工业系统对数字通信网络的依赖导致网络安全要求成为其规划、设计、部署和管理的优先事项。本文讨论了我们在检查分布式工业自动化系统的一致性方面的经验,其中包括几种类型的嵌入式设备,以及在全局系统级别定义的一组安全策略。特别是,本文的重点是使用建模技术和半自动s/w工具来验证设备和服务的配置,并注意正确使用其安全功能以支持所需的策略集。
{"title":"System configuration check against security policies in industrial networks","authors":"M. Cheminod, L. Durante, A. Valenzano","doi":"10.1109/SIES.2012.6356591","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356591","url":null,"abstract":"Awareness that networked embedded systems are vulnerable to cyber-threats has been constantly raising since some years ago. In the industrial arena recent severe attacks, such as the popular case of the Stuxnet worm, have completely debunked the myth of security of embedded devices based on their isolation. Indeed, the ever increasing dependence of many industrial systems on digital communication networks is causing the cyber-security requirements to become a priority in their planning, design, deployment and management. This paper deals with our experience in checking the conformance of a distributed industrial automation system, which includes several types of embedded devices, with respect to a set of security policies defined at the global system level. In particular, the focus of the paper is on the use of modeling techniques and semi-automated s/w tools to verify the configuration of devices and services with attention to the correct use of their security capabilities to support the desired set of policies.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123497260","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
Model-driven virtual prototyping for real-time simulation of distributed embedded systems 分布式嵌入式系统实时仿真的模型驱动虚拟样机
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356586
J. Zimmermann, Stefan Hauck-Stattelmann, A. Viehl, O. Bringmann, W. Rosenstiel
In this paper, we present an approach to generate a virtual execution platform in SystemC to advance the development of software-intensive real-time embedded systems including early validation and verification. These virtual execution platforms allow the execution of embedded software with strict consideration of the underlying hardware platform configuration in order to reduce subsequent development costs and to allow a short time-to-market by tailoring and exploring distributed embedded hardware and software architectures. Starting from abstract UML-based descriptions of the software and hardware architecture as well as integrated abstractions of legacy code, model transformation techniques are used during the model-driven generation process. The combination of source code level timing and power annotations obtained from binary legacy code analysis with a layered approach for TLM-based simulation of non-functional properties in a common virtual prototyping methodology allows a fast and accurate simulation of the embedded system model. We further show the synchronization and co-simulation of the embedded hardware/software with vehicle dynamics including human-in-the-loop. To substantiate our allegation we present experimental results expressing the high performance and accuracy of the elaborated virtual prototyping framework as well as its applicability within different application areas and use cases.
在本文中,我们提出了一种在SystemC中生成虚拟执行平台的方法,以促进软件密集型实时嵌入式系统的开发,包括早期验证和验证。这些虚拟执行平台允许在严格考虑底层硬件平台配置的情况下执行嵌入式软件,以减少后续开发成本,并通过裁剪和探索分布式嵌入式硬件和软件架构缩短上市时间。从基于uml的软件和硬件架构的抽象描述以及遗留代码的集成抽象开始,在模型驱动的生成过程中使用模型转换技术。从二进制遗留代码分析中获得的源代码级时序和功率注释与基于tlm的非功能属性仿真的分层方法相结合,在通用虚拟原型方法中允许对嵌入式系统模型进行快速和准确的仿真。我们进一步展示了嵌入式硬件/软件与车辆动力学(包括人在环)的同步和联合仿真。为了证实我们的说法,我们提出了实验结果,表达了精心设计的虚拟原型框架的高性能和准确性,以及它在不同应用领域和用例中的适用性。
{"title":"Model-driven virtual prototyping for real-time simulation of distributed embedded systems","authors":"J. Zimmermann, Stefan Hauck-Stattelmann, A. Viehl, O. Bringmann, W. Rosenstiel","doi":"10.1109/SIES.2012.6356586","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356586","url":null,"abstract":"In this paper, we present an approach to generate a virtual execution platform in SystemC to advance the development of software-intensive real-time embedded systems including early validation and verification. These virtual execution platforms allow the execution of embedded software with strict consideration of the underlying hardware platform configuration in order to reduce subsequent development costs and to allow a short time-to-market by tailoring and exploring distributed embedded hardware and software architectures. Starting from abstract UML-based descriptions of the software and hardware architecture as well as integrated abstractions of legacy code, model transformation techniques are used during the model-driven generation process. The combination of source code level timing and power annotations obtained from binary legacy code analysis with a layered approach for TLM-based simulation of non-functional properties in a common virtual prototyping methodology allows a fast and accurate simulation of the embedded system model. We further show the synchronization and co-simulation of the embedded hardware/software with vehicle dynamics including human-in-the-loop. To substantiate our allegation we present experimental results expressing the high performance and accuracy of the elaborated virtual prototyping framework as well as its applicability within different application areas and use cases.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116749708","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 predicate-aware modulo scheduling for improving resource efficiency of coarse grained reconfigurable architectures 用于提高粗粒度可重构体系结构资源效率的谓词感知模调度
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356604
J. Jiang, Kuen-Cheng Chiang, J. Shann
A coarse-grain reconfigurable architecture is an important technology for exploiting the parallelism of a program without compromise of the flexibility and has been adopted for high-performance embedded systems. However, the utilization of hardware resources may be limited by a large number of conditional executed operations. This paper represents a predicate-aware modulo scheduling which may map disjoint operations into the same processing element to reduce the requirements of hardware resources. Moreover, a weighted mapping decision algorithm has also been proposed to improve the execution performance for reconfigurable architecture. Our experimental results indicate that the initiation interval of a loop of the selected benchmarks may be reduced by 12% to 25.2% compared with a related work.
粗粒度可重构体系结构是在不牺牲灵活性的前提下开发程序并行性的一种重要技术,已被广泛应用于高性能嵌入式系统。然而,硬件资源的利用可能会受到大量条件执行操作的限制。本文提出了一种谓词感知的模调度方法,它可以将不相交的操作映射到相同的处理元素中,以减少对硬件资源的需求。此外,为了提高可重构体系结构的执行性能,还提出了一种加权映射决策算法。我们的实验结果表明,与相关工作相比,所选基准的回路启动间隔可缩短12%至25.2%。
{"title":"A predicate-aware modulo scheduling for improving resource efficiency of coarse grained reconfigurable architectures","authors":"J. Jiang, Kuen-Cheng Chiang, J. Shann","doi":"10.1109/SIES.2012.6356604","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356604","url":null,"abstract":"A coarse-grain reconfigurable architecture is an important technology for exploiting the parallelism of a program without compromise of the flexibility and has been adopted for high-performance embedded systems. However, the utilization of hardware resources may be limited by a large number of conditional executed operations. This paper represents a predicate-aware modulo scheduling which may map disjoint operations into the same processing element to reduce the requirements of hardware resources. Moreover, a weighted mapping decision algorithm has also been proposed to improve the execution performance for reconfigurable architecture. Our experimental results indicate that the initiation interval of a loop of the selected benchmarks may be reduced by 12% to 25.2% compared with a related work.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"215 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126016817","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
A performance study of Audio Video Bridging in aeronautic Ethernet networks 航空以太网中音视频桥接的性能研究
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356571
Emanuel Heidinger, Fabien Geyer, S. Schneele, M. Paulitsch
Audio-Video-Bridging (AVB) is a promising new commercially available Ethernet-based standard providing mechanism for audio and video transmission over Ethernet supporting demanding audio and video transmission delay requirements. This paper addresses the applicability of using AVB in a fully-switched Ethernet network that covers safety-related functions in the aeronautics. Avionic systems leveraging such digital networks have stringent requirements in terms of audio quality, latency, and jitter; e.g., latency can be at most a few milliseconds. The result of this work is a performance study of audio transmission approaches in aeronautics where we address AVB without synchronization and AVB synchronization with 802.1AS. We pay special attention to the failure mode of losing synchronization during operation. Two real-world scenarios are addressed in the experimental results - a demonstration of a switched Ethernet aircraft cabin and a demonstration for a highly safety-related audio system. For these two scenarios hard performance bounds are required in terms of synchronous playback that cannot easily be fulfilled, especially when time synchronization is lost.
音视频桥接(AVB)是一种很有前途的新型商用基于以太网的标准,提供了通过以太网进行音频和视频传输的机制,支持苛刻的音频和视频传输延迟要求。本文讨论了在涵盖航空安全相关功能的全交换以太网中使用AVB的适用性。利用这种数字网络的航空电子系统在音频质量、延迟和抖动方面有严格的要求;例如,延迟最多可以是几毫秒。这项工作的结果是对航空领域音频传输方法的性能研究,其中我们解决了不同步的AVB和使用802.1AS的AVB同步。我们特别关注在运行过程中失去同步的故障模式。实验结果解决了两个现实场景-交换以太网飞机机舱的演示和高度安全相关的音频系统的演示。对于这两种场景,同步回放需要硬性能界限,这很难实现,特别是在时间同步丢失的情况下。
{"title":"A performance study of Audio Video Bridging in aeronautic Ethernet networks","authors":"Emanuel Heidinger, Fabien Geyer, S. Schneele, M. Paulitsch","doi":"10.1109/SIES.2012.6356571","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356571","url":null,"abstract":"Audio-Video-Bridging (AVB) is a promising new commercially available Ethernet-based standard providing mechanism for audio and video transmission over Ethernet supporting demanding audio and video transmission delay requirements. This paper addresses the applicability of using AVB in a fully-switched Ethernet network that covers safety-related functions in the aeronautics. Avionic systems leveraging such digital networks have stringent requirements in terms of audio quality, latency, and jitter; e.g., latency can be at most a few milliseconds. The result of this work is a performance study of audio transmission approaches in aeronautics where we address AVB without synchronization and AVB synchronization with 802.1AS. We pay special attention to the failure mode of losing synchronization during operation. Two real-world scenarios are addressed in the experimental results - a demonstration of a switched Ethernet aircraft cabin and a demonstration for a highly safety-related audio system. For these two scenarios hard performance bounds are required in terms of synchronous playback that cannot easily be fulfilled, especially when time synchronization is lost.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127932190","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}
引用次数: 27
期刊
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)
全部 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