首页 > 最新文献

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

英文 中文
Performance evaluation of Chirp Spread Spectrum ranging for indoor embedded navigation systems 室内嵌入式导航系统的Chirp扩频测距性能评价
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356603
P. Pivato, S. Dalpez, D. Macii
Wireless distance measurement techniques based on portable embedded platforms are expected to play a key role in several industrial and domestic applications. In this paper the ranging accuracy of a commercial Chirp Spread Spectrum (CSS) kit is evaluated experimentally in a real-world context. The proposed analysis provides more precise and exhaustive information than what it is usually reported in the technical literature. In fact, this paper is specifically focused on performance evaluation and it deals with the case of short-range indoor scenarios in both Line-of-Sight (LOS) and Non-Line-of-Sight (NLOS) repeatable conditions. The resulting analysis represents the first step towards the design of a custom indoor embedded navigation system for a smart rollator assisting impaired people to move safely in an indoor public environment.
基于便携式嵌入式平台的无线距离测量技术有望在一些工业和家庭应用中发挥关键作用。本文在实际环境中对商用啁啾扩频(CSS)套件的测距精度进行了实验评估。建议的分析提供了比通常在技术文献中报道的更精确和详尽的信息。实际上,本文专门关注性能评估,并讨论了视距(LOS)和非视距(NLOS)可重复条件下的短距离室内场景。由此产生的分析代表了设计定制室内嵌入式导航系统的第一步,该系统用于帮助残疾人在室内公共环境中安全移动的智能滚筒。
{"title":"Performance evaluation of Chirp Spread Spectrum ranging for indoor embedded navigation systems","authors":"P. Pivato, S. Dalpez, D. Macii","doi":"10.1109/SIES.2012.6356603","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356603","url":null,"abstract":"Wireless distance measurement techniques based on portable embedded platforms are expected to play a key role in several industrial and domestic applications. In this paper the ranging accuracy of a commercial Chirp Spread Spectrum (CSS) kit is evaluated experimentally in a real-world context. The proposed analysis provides more precise and exhaustive information than what it is usually reported in the technical literature. In fact, this paper is specifically focused on performance evaluation and it deals with the case of short-range indoor scenarios in both Line-of-Sight (LOS) and Non-Line-of-Sight (NLOS) repeatable conditions. The resulting analysis represents the first step towards the design of a custom indoor embedded navigation system for a smart rollator assisting impaired people to move safely in an indoor public environment.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"123 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":"116178406","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
Introducing database-centric support in AUTOSAR 引入AUTOSAR中以数据库为中心的支持
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356579
Andreas Hjertström, Dag Nyström, Mikael Sjödin
We propose to integrate a real-time database management system into the basic software of the AUTOSAR component model. This integration can be performed without violating the fundamental principles of the component-based approach of AUTOSAR. Our database-centric approach allows developers to focus on application development instead of reinventing data management techniques or develop solutions using internal data structures. We use state-of-the-art database pointer techniques to achieve predictable timing, and database proxies to maintain component encapsulation and independence of data-management strategies. The paper illustrates the feasibility of our proposal when database proxies are used to manage the data communication between components and to perform run-time monitoring on the virtual function bus. Our implementation results show that the above benefits do not come at the expense of less accurate timing predictions while only introducing a total application CPU overhead, in the order of 4%.
我们建议在AUTOSAR组件模型的基础软件中集成一个实时数据库管理系统。这种集成可以在不违反AUTOSAR基于组件方法的基本原则的情况下进行。我们以数据库为中心的方法允许开发人员专注于应用程序开发,而不是重新发明数据管理技术或使用内部数据结构开发解决方案。我们使用最先进的数据库指针技术来实现可预测的计时,并使用数据库代理来维护组件封装和数据管理策略的独立性。文中举例说明了在虚拟功能总线上使用数据库代理来管理组件之间的数据通信和执行运行时监控的可行性。我们的实现结果表明,上述好处并不是以不太准确的时间预测为代价的,而只是引入了大约4%的应用程序CPU开销。
{"title":"Introducing database-centric support in AUTOSAR","authors":"Andreas Hjertström, Dag Nyström, Mikael Sjödin","doi":"10.1109/SIES.2012.6356579","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356579","url":null,"abstract":"We propose to integrate a real-time database management system into the basic software of the AUTOSAR component model. This integration can be performed without violating the fundamental principles of the component-based approach of AUTOSAR. Our database-centric approach allows developers to focus on application development instead of reinventing data management techniques or develop solutions using internal data structures. We use state-of-the-art database pointer techniques to achieve predictable timing, and database proxies to maintain component encapsulation and independence of data-management strategies. The paper illustrates the feasibility of our proposal when database proxies are used to manage the data communication between components and to perform run-time monitoring on the virtual function bus. Our implementation results show that the above benefits do not come at the expense of less accurate timing predictions while only introducing a total application CPU overhead, in the order of 4%.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"12 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":"128850444","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
An improved preemption delay upper bound for floating non-preemptive region 改进的浮动非抢占区抢占延迟上界
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356570
J. Marinho, Vincent Nélis, Stefan M. Petters, I. Puaut
In embedded systems, the timing behaviour of the control mechanisms are sometimes of critical importance for the operational safety. These high criticality systems require strict compliance with the offline predicted task execution time. The execution of a task when subject to preemption may vary significantly in comparison to its non-preemptive execution. Hence, when preemptive scheduling is required to operate the workload, preemption delay estimation is of paramount importance. In this paper a preemption delay estimation method for floating non-preemptive scheduling policies is presented. This work builds on [1], extending the model and optimising it considerably. The preemption delay function is subject to a major tightness improvement, considering the WCET analysis context. Moreover more information is provided as well in the form of an extrinsic cache misses function, which enables the method to provide a solution in situations where the non-preemptive regions sizes are small. Finally experimental results from the implementation of the proposed solutions in Heptane are provided for real benchmarks which validate the significance of this work.
在嵌入式系统中,控制机制的定时行为有时对运行安全至关重要。这些高临界系统要求严格遵守离线预测任务执行时间。一个任务在被抢占时的执行与它的非抢占执行相比可能有很大的不同。因此,当需要抢占调度来操作工作负载时,抢占延迟估计是至关重要的。提出了一种浮动非抢占调度策略的抢占时延估计方法。这项工作建立在[1]的基础上,扩展了模型并大大优化了它。考虑到WCET分析上下文,抢占延迟函数的紧密性得到了很大的改进。此外,还以外部缓存缺失函数的形式提供了更多信息,这使得该方法能够在非抢占区域大小较小的情况下提供解决方案。最后给出了在庚烷中实现所提出的解决方案的实验结果,验证了本工作的意义。
{"title":"An improved preemption delay upper bound for floating non-preemptive region","authors":"J. Marinho, Vincent Nélis, Stefan M. Petters, I. Puaut","doi":"10.1109/SIES.2012.6356570","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356570","url":null,"abstract":"In embedded systems, the timing behaviour of the control mechanisms are sometimes of critical importance for the operational safety. These high criticality systems require strict compliance with the offline predicted task execution time. The execution of a task when subject to preemption may vary significantly in comparison to its non-preemptive execution. Hence, when preemptive scheduling is required to operate the workload, preemption delay estimation is of paramount importance. In this paper a preemption delay estimation method for floating non-preemptive scheduling policies is presented. This work builds on [1], extending the model and optimising it considerably. The preemption delay function is subject to a major tightness improvement, considering the WCET analysis context. Moreover more information is provided as well in the form of an extrinsic cache misses function, which enables the method to provide a solution in situations where the non-preemptive regions sizes are small. Finally experimental results from the implementation of the proposed solutions in Heptane are provided for real benchmarks which validate the significance of this work.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"27 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":"126663080","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
Probabilistic preemption control using frequency scaling for sporadic real-time tasks 基于频率缩放的偶发实时任务概率抢占控制
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356581
Abhilash Thekkilakattil, R. Dobrin, S. Punnekkat
Preemption related costs are major sources of unpredictability in the task execution times in a real-time system. We examine the possibility of using CPU frequency scaling to control the preemption behavior of real-time sporadic tasks scheduled using a preemptive Fixed Priority Scheduling (FPS) policy. Our combined offline-online method provides probabilistic preemption control guarantees by making use of the release time probabilities of the sporadic tasks. The offline phase derives the probability related deviation from the minimum inter-arrival time of tasks. The online algorithm uses this information to calculate appropriate CPU frequencies that guarantees non-preemptive task executions while preserving the overall system schedulability. The online algorithm has a linear complexity and does not lead to significant implementation overheads. Our evaluations demonstrate the effectiveness of the method as well as the possibility of energy-preemption trade offs. Even though we have considered FPS, our method can easily be extended to dynamic priority scheduling schemes.
抢占相关成本是实时系统中任务执行时间不可预测性的主要来源。我们研究了使用CPU频率缩放来控制使用抢占式固定优先级调度(FPS)策略调度的实时零星任务的抢占行为的可能性。我们的离线-在线结合方法利用零星任务的释放时间概率提供了概率抢占控制保证。离线阶段从任务的最小间隔到达时间派生出与概率相关的偏差。在线算法使用这些信息来计算适当的CPU频率,以保证非抢占式任务执行,同时保持整个系统的可调度性。在线算法具有线性复杂度,不会导致显著的实现开销。我们的评估证明了该方法的有效性以及能源优先权衡的可能性。尽管我们考虑了FPS,但我们的方法可以很容易地扩展到动态优先级调度方案。
{"title":"Probabilistic preemption control using frequency scaling for sporadic real-time tasks","authors":"Abhilash Thekkilakattil, R. Dobrin, S. Punnekkat","doi":"10.1109/SIES.2012.6356581","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356581","url":null,"abstract":"Preemption related costs are major sources of unpredictability in the task execution times in a real-time system. We examine the possibility of using CPU frequency scaling to control the preemption behavior of real-time sporadic tasks scheduled using a preemptive Fixed Priority Scheduling (FPS) policy. Our combined offline-online method provides probabilistic preemption control guarantees by making use of the release time probabilities of the sporadic tasks. The offline phase derives the probability related deviation from the minimum inter-arrival time of tasks. The online algorithm uses this information to calculate appropriate CPU frequencies that guarantees non-preemptive task executions while preserving the overall system schedulability. The online algorithm has a linear complexity and does not lead to significant implementation overheads. Our evaluations demonstrate the effectiveness of the method as well as the possibility of energy-preemption trade offs. Even though we have considered FPS, our method can easily be extended to dynamic priority scheduling schemes.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"37 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":"129071231","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
Response-time analysis for non-preemptive scheduling in multi-core systems with shared resources 共享资源多核系统非抢占调度的响应时间分析
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356585
Mircea Negrean, R. Ernst
There is an important class of scheduling strategies that has not been sufficiently covered by the real-time scheduling literature. The new multi-core extensions of the AUTOSAR automotive standard - the dominating automotive design worldwide - uses a combination of partitioned fixed-priority scheduling strategies with preemptive and non-preemptive execution and (potentially) arbitrary deadlines. Since multi-core systems in general use shared resources, this leads to the problem of analyzing preemptive and non-preemptive multiprocessor scheduling with shared resources. While preemptive scheduling has been well investigated in this setup, non-preemptive scheduling analysis is still open and cannot simply be derived. In this paper, we address this subject and present an analysis method which allows the calculation of response-times for tasks with arbitrary activations and deadlines which share resources in multi-core systems scheduled according to the partitioned fixed-priority non-preemptive scheduling. We consider this work an essential building block for the analysis of upcoming multi-core realtime applications where both preemptive and non-preemptive scheduling coexist.
有一类重要的调度策略没有被实时调度文献充分地涵盖。AUTOSAR汽车标准的新多核扩展-全球主导的汽车设计-使用分区固定优先级调度策略的组合,具有抢占式和非抢占式执行以及(潜在的)任意截止日期。由于多核系统通常使用共享资源,这就导致了分析具有共享资源的抢占式和非抢占式多处理器调度问题。虽然在这种情况下,抢占调度已经得到了很好的研究,但非抢占调度的分析仍然是开放的,不能简单地推导出来。在本文中,我们讨论了这一问题,并提出了一种分析方法,该方法允许计算具有任意激活和截止日期的任务的响应时间,这些任务在多核系统中根据分区固定优先级非抢占调度调度资源。我们认为这项工作是分析即将到来的多核实时应用程序的重要组成部分,其中抢占和非抢占调度共存。
{"title":"Response-time analysis for non-preemptive scheduling in multi-core systems with shared resources","authors":"Mircea Negrean, R. Ernst","doi":"10.1109/SIES.2012.6356585","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356585","url":null,"abstract":"There is an important class of scheduling strategies that has not been sufficiently covered by the real-time scheduling literature. The new multi-core extensions of the AUTOSAR automotive standard - the dominating automotive design worldwide - uses a combination of partitioned fixed-priority scheduling strategies with preemptive and non-preemptive execution and (potentially) arbitrary deadlines. Since multi-core systems in general use shared resources, this leads to the problem of analyzing preemptive and non-preemptive multiprocessor scheduling with shared resources. While preemptive scheduling has been well investigated in this setup, non-preemptive scheduling analysis is still open and cannot simply be derived. In this paper, we address this subject and present an analysis method which allows the calculation of response-times for tasks with arbitrary activations and deadlines which share resources in multi-core systems scheduled according to the partitioned fixed-priority non-preemptive scheduling. We consider this work an essential building block for the analysis of upcoming multi-core realtime applications where both preemptive and non-preemptive scheduling coexist.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"1 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":"128852116","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}
引用次数: 20
On the timing analysis of the dynamic segment of FlexRay FlexRay动态分段的时序分析
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356574
Unmesh D. Bordoloi, Bogdan Tanasa, P. Eles, Zebo Peng
FlexRay, developed by a consortium of over hundred automotive companies, is a real-time communication protocol for automotive networks. A communication cycle in FlexRay consists of an event-triggered component known as the dynamic (DYN) segment, apart from a time-triggered segment. Predicting the worst-case response time of messages transmitted on the DYN segment is a difficult problem. This is because a set of complex rules, apart from the priorities of the messages, govern the DYN segment protocol. In this paper, we survey techniques for the timing analysis of the DYN segment. We discuss the challenges associated with the timing analysis of the FlexRay protocol, the proposed techniques and their limitations.
FlexRay是由一百多家汽车公司组成的联盟开发的,是一种用于汽车网络的实时通信协议。FlexRay中的通信周期除了由时间触发的段外,还包括一个称为动态(DYN)段的事件触发组件。预测在DYN段上传输的消息的最坏情况响应时间是一个难题。这是因为除了消息的优先级之外,还有一组复杂的规则控制着DYN段协议。在本文中,我们概述了用于DYN分段的时序分析的技术。我们讨论了与FlexRay协议的时序分析相关的挑战,提出的技术及其局限性。
{"title":"On the timing analysis of the dynamic segment of FlexRay","authors":"Unmesh D. Bordoloi, Bogdan Tanasa, P. Eles, Zebo Peng","doi":"10.1109/SIES.2012.6356574","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356574","url":null,"abstract":"FlexRay, developed by a consortium of over hundred automotive companies, is a real-time communication protocol for automotive networks. A communication cycle in FlexRay consists of an event-triggered component known as the dynamic (DYN) segment, apart from a time-triggered segment. Predicting the worst-case response time of messages transmitted on the DYN segment is a difficult problem. This is because a set of complex rules, apart from the priorities of the messages, govern the DYN segment protocol. In this paper, we survey techniques for the timing analysis of the DYN segment. We discuss the challenges associated with the timing analysis of the FlexRay protocol, the proposed techniques and their limitations.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"4 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":"114276430","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
Miniaturized wireless sensor node for earthquake monitoring applications 用于地震监测应用的小型无线传感器节点
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356607
K. Wang, Z. Salcic, Mathew R. Wilson, Karl M. Brook
Miniaturized wireless sensor nodes have demonstrated promising use in many application fields. This paper presents a new wireless sensor node designed for earthquake simulation and structural health monitoring applications. The sensor node is based on an ultra-low power System-on-Chip (SoC) microcontroller with an integrated sub-1GHz radio core. The node is also equipped with a temperature sensor and a 3-axis accelerometer to monitor its ambient environment and geotechnical movements. The sensor is designed targeting minimum physical size and power consumption. The shake table earthquake-like simulation showed that the node can correctly measure typical seismic acceleration and work autonomously for up to 17 days with continuous acceleration measurement and 30 minutes of effective radio transmission every day.
小型化无线传感器节点在许多应用领域都有很好的应用前景。本文提出了一种用于地震模拟和结构健康监测的新型无线传感器节点。传感器节点基于超低功耗片上系统(SoC)微控制器,具有集成的sub-1GHz无线电核心。该节点还配备了一个温度传感器和一个3轴加速度计,以监测其周围环境和岩土运动。该传感器的设计目标是最小的物理尺寸和功耗。模拟结果表明,该节点可以正确测量典型的地震加速度,并且可以连续工作17天,每天进行30分钟的有效无线电传输。
{"title":"Miniaturized wireless sensor node for earthquake monitoring applications","authors":"K. Wang, Z. Salcic, Mathew R. Wilson, Karl M. Brook","doi":"10.1109/SIES.2012.6356607","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356607","url":null,"abstract":"Miniaturized wireless sensor nodes have demonstrated promising use in many application fields. This paper presents a new wireless sensor node designed for earthquake simulation and structural health monitoring applications. The sensor node is based on an ultra-low power System-on-Chip (SoC) microcontroller with an integrated sub-1GHz radio core. The node is also equipped with a temperature sensor and a 3-axis accelerometer to monitor its ambient environment and geotechnical movements. The sensor is designed targeting minimum physical size and power consumption. The shake table earthquake-like simulation showed that the node can correctly measure typical seismic acceleration and work autonomously for up to 17 days with continuous acceleration measurement and 30 minutes of effective radio transmission every day.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"206 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":"115738454","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
On voting strategies for loosely synchronized dependable real-time systems 松散同步可靠实时系统的投票策略
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356577
Hüseyin Aysan, R. Dobrin, S. Punnekkat, I. Bate
Hard real-time applications typically have to satisfy high dependability requirements in terms of fault tolerance in both the value and the time domains. Loosely synchronized real-time systems, which represent many of the systems that are developed, make any form of voting difficult as each replica may provide different outputs independent of whether there has been an error or not. This can also lead to false positives and false negatives which makes achieving fault tolerance, and hence dependability, difficult. We have earlier proposed a majority voting technique, “Voting on Time and Value” (VTV) that explicitly considers combinations of value and timing errors, targeting loosely-synchronised systems. In this paper, we extend VTV to enable voter parameter tuning to obtain the desired user specified trade-offs between the false positive and false negative rates in the voter outputs. We evaluate the performance of VTV against Compare Majority Voting (CMV), which is a known voting approach applicable in similar contexts, through extensive simulation studies. The results clearly demonstrate that VTV outperforms CMV in all scenarios with lower false negative rates.
硬实时应用程序通常必须在值域和时间域的容错方面满足高可靠性要求。松散同步的实时系统代表了许多已开发的系统,这使得任何形式的投票都变得困难,因为每个副本可能提供不同的输出,而与是否存在错误无关。这也可能导致误报和误报,从而使实现容错变得困难,从而使可靠性变得困难。我们早些时候提出了一种多数投票技术,“时间和价值投票”(VTV),它明确地考虑了价值和时间错误的组合,目标是松散同步的系统。在本文中,我们扩展了VTV,使选民参数可调,以获得期望用户指定的选民输出中假阳性和假阴性率之间的权衡。通过广泛的模拟研究,我们评估了VTV与比较多数投票(CMV)的性能,CMV是一种适用于类似环境的已知投票方法。结果清楚地表明,VTV在所有情况下都优于CMV,假阴性率更低。
{"title":"On voting strategies for loosely synchronized dependable real-time systems","authors":"Hüseyin Aysan, R. Dobrin, S. Punnekkat, I. Bate","doi":"10.1109/SIES.2012.6356577","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356577","url":null,"abstract":"Hard real-time applications typically have to satisfy high dependability requirements in terms of fault tolerance in both the value and the time domains. Loosely synchronized real-time systems, which represent many of the systems that are developed, make any form of voting difficult as each replica may provide different outputs independent of whether there has been an error or not. This can also lead to false positives and false negatives which makes achieving fault tolerance, and hence dependability, difficult. We have earlier proposed a majority voting technique, “Voting on Time and Value” (VTV) that explicitly considers combinations of value and timing errors, targeting loosely-synchronised systems. In this paper, we extend VTV to enable voter parameter tuning to obtain the desired user specified trade-offs between the false positive and false negative rates in the voter outputs. We evaluate the performance of VTV against Compare Majority Voting (CMV), which is a known voting approach applicable in similar contexts, through extensive simulation studies. The results clearly demonstrate that VTV outperforms CMV in all scenarios with lower false negative rates.","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":"116270765","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
Shared memory protection for spatial separation in multicore architectures 多核体系结构中空间分离的共享内存保护
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356601
A. Hattendorf, A. Raabe, A. Knoll
The introduction of multicore architectures in embedded systems allows system integrators to locate multiple applications on the same chip. In the context of certification separation of these applications is mandatory. Most current multicore systems have a low core count and programmers have a need for easily utilizable platforms. Therefore, most of the current multicore systems use shared memory architectures based on bus communication. In this paper we discuss several possible architectures for shared memory protection using local and shared MPUs and MMUs for architectures of this type. This analysis includes typical use cases for multicore systems and their compatibility to these architectures. It has a strong focus on the platform's suitability for mixed-critical workloads with some cores executing safety-critical, hard-real-time applications. This paper proposes a novel shared memory protection unit to efficiently enforce spatial separation of the shared memory among the cores. Preliminary synthesis results are provided along with latency considerations relevant for hard-real-time application.
嵌入式系统中多核架构的引入允许系统集成商在同一芯片上定位多个应用程序。在认证的上下文中,这些应用程序的分离是强制性的。目前大多数多核系统的核数都很低,程序员需要易于使用的平台。因此,当前的多核系统大多采用基于总线通信的共享内存架构。在本文中,我们讨论了几种可能的共享内存保护体系结构,使用本地和共享mpu和mmu用于这种类型的体系结构。此分析包括多核系统的典型用例及其与这些体系结构的兼容性。它非常关注平台对混合关键工作负载的适用性,其中一些核心执行安全关键的硬实时应用程序。本文提出了一种新的共享内存保护单元,可以有效地实现内核间共享内存的空间隔离。提供了初步的综合结果以及与硬实时应用程序相关的延迟考虑。
{"title":"Shared memory protection for spatial separation in multicore architectures","authors":"A. Hattendorf, A. Raabe, A. Knoll","doi":"10.1109/SIES.2012.6356601","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356601","url":null,"abstract":"The introduction of multicore architectures in embedded systems allows system integrators to locate multiple applications on the same chip. In the context of certification separation of these applications is mandatory. Most current multicore systems have a low core count and programmers have a need for easily utilizable platforms. Therefore, most of the current multicore systems use shared memory architectures based on bus communication. In this paper we discuss several possible architectures for shared memory protection using local and shared MPUs and MMUs for architectures of this type. This analysis includes typical use cases for multicore systems and their compatibility to these architectures. It has a strong focus on the platform's suitability for mixed-critical workloads with some cores executing safety-critical, hard-real-time applications. This paper proposes a novel shared memory protection unit to efficiently enforce spatial separation of the shared memory among the cores. Preliminary synthesis results are provided along with latency considerations relevant for hard-real-time application.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"41 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":"131666214","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
Enhancing security in CAN systems using a star coupling router 使用星型耦合路由器增强CAN系统的安全性
Pub Date : 2012-06-20 DOI: 10.1109/SIES.2012.6356590
R. Kammerer, Bernhard Frömel, Armin Wasicek
Controller Area Network (CAN) is the most widely used protocol in the automotive domain. Bus-based CAN does not provide any security mechanisms to counter manipulations like eavesdropping, fabrication of messages, or denial-of-service attacks. The vulnerabilities in bus-based CAN are alarming, because safety-critical subsystems (e.g., the power train) often deploy a CAN bus, and hence a failure propagation from the security domain to the safety domain can take place. In this paper we propose a star coupling router and a trust model for this router to overcome some of the security deficiencies present in bus-based CAN systems. The CAN router establishes a partitioning of a CAN bus into separate CAN segments and allows to rigorously check the traffic within the CAN system, including the value and time domains. We evaluate the introduced trust model on a prototype implementation of the CAN router by performing attacks that would be successful on classic bus-based CAN, but are detected and contained on router-based CAN. The router can consequently increase the security in automotive applications and render some of the attacks described in the literature (e.g., fuzzying attack) on a car useless. Since the CAN router offers ports that are compatible to standard CAN, the router can be used to increase the security of legacy CAN based systems.
控制器区域网络(CAN)是汽车领域中应用最广泛的协议。基于总线的CAN不提供任何安全机制来对抗窃听、伪造消息或拒绝服务攻击等操作。基于总线的CAN的漏洞令人担忧,因为安全关键子系统(例如,动力系统)经常部署CAN总线,因此可能发生从安全域到安全域的故障传播。为了克服基于总线的CAN系统存在的一些安全缺陷,本文提出了一种星型耦合路由器及其信任模型。CAN路由器将CAN总线划分为单独的CAN段,并允许严格检查CAN系统内的流量,包括值域和时间域。我们通过执行攻击来评估在CAN路由器的原型实现上引入的信任模型,这些攻击在经典的基于总线的CAN上是成功的,但在基于路由器的CAN上被检测和包含。因此,路由器可以提高汽车应用程序的安全性,并使文献中描述的一些针对汽车的攻击(例如,模糊攻击)变得无用。由于CAN路由器提供了与标准CAN兼容的端口,因此该路由器可用于提高基于CAN的传统系统的安全性。
{"title":"Enhancing security in CAN systems using a star coupling router","authors":"R. Kammerer, Bernhard Frömel, Armin Wasicek","doi":"10.1109/SIES.2012.6356590","DOIUrl":"https://doi.org/10.1109/SIES.2012.6356590","url":null,"abstract":"Controller Area Network (CAN) is the most widely used protocol in the automotive domain. Bus-based CAN does not provide any security mechanisms to counter manipulations like eavesdropping, fabrication of messages, or denial-of-service attacks. The vulnerabilities in bus-based CAN are alarming, because safety-critical subsystems (e.g., the power train) often deploy a CAN bus, and hence a failure propagation from the security domain to the safety domain can take place. In this paper we propose a star coupling router and a trust model for this router to overcome some of the security deficiencies present in bus-based CAN systems. The CAN router establishes a partitioning of a CAN bus into separate CAN segments and allows to rigorously check the traffic within the CAN system, including the value and time domains. We evaluate the introduced trust model on a prototype implementation of the CAN router by performing attacks that would be successful on classic bus-based CAN, but are detected and contained on router-based CAN. The router can consequently increase the security in automotive applications and render some of the attacks described in the literature (e.g., fuzzying attack) on a car useless. Since the CAN router offers ports that are compatible to standard CAN, the router can be used to increase the security of legacy CAN based systems.","PeriodicalId":219258,"journal":{"name":"7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)","volume":"1 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":"129419819","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
期刊
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