10th IEEE International Symposium on Industrial Embedded Systems (SIES)最新文献_第3页

Protecting FPGA-based automotive systems against soft errors through reduced precision redundancy 通过降低精度冗余，保护基于fpga的汽车系统免受软错误的影响

10th IEEE International Symposium on Industrial Embedded Systems (SIES) Pub Date : 2015-06-08 DOI: 10.1109/SIES.2015.7185057

W. Stechele

引用次数: 1

SMT-based synthesis of TTEthernet schedules: A performance study 基于smt的以太网调度综合:性能研究

10th IEEE International Symposium on Industrial Embedded Systems (SIES) Pub Date : 2015-06-08 DOI: 10.1109/SIES.2015.7185055

Francisco Pozo, G. Rodríguez-Navas, H. Hansson, W. Steiner

引用次数: 32

Using BIP to reinforce correctness of resource-constrained IoT applications 使用BIP来加强资源受限物联网应用的正确性

10th IEEE International Symposium on Industrial Embedded Systems (SIES) Pub Date : 2015-06-08 DOI: 10.1109/SIES.2015.7185066

A. Lekidis, Emmanouela Stachtiari, P. Katsaros, M. Bozga, C. Georgiadis

{"title":"Using BIP to reinforce correctness of resource-constrained IoT applications","authors":"A. Lekidis, Emmanouela Stachtiari, P. Katsaros, M. Bozga, C. Georgiadis","doi":"10.1109/SIES.2015.7185066","DOIUrl":"https://doi.org/10.1109/SIES.2015.7185066","url":null,"abstract":"Internet of Things (IoT) systems process and respond to multiple (external) events, while performing computations for a Sense-Compute-Control (SCC) or a Sense-Only (SO) goal. Given the limitations of the interconnected resource-constrained devices, the execution environment can be based on an appropriate operating system for the IoT. The development effort can be reduced, when applications are built on top of RESTful web services, which can be shared and reused. However, the asynchronous communication between remote nodes is prone to event scheduling delays, which cannot be predicted and taken into account while programming the application. Long delays in message processing and communication, due to packet collisions, are avoided by carefully choosing the data transmission frequencies between the system's nodes. But even when specialized simulators are available, it is still a hard challenge to guarantee the functional and non-functional requirements at the application and system levels. In this article, we introduce a model-based rigorous analysis approach using the BIP component framework. We present a BIP model for IoT applications running on the Contiki OS. At the application level, we verify qualitative properties for service responsiveness requirements, whereas at the system level we can validate qualitative and quantitative properties using statistical model checking. We present results for an application scenario running on a distributed system infrastructure.","PeriodicalId":328716,"journal":{"name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","volume":"463 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125819698","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

Virtual prototyping of heterogeneous dynamic platforms using Open Virtual Platforms 基于开放虚拟平台的异构动态平台虚拟样机

10th IEEE International Symposium on Industrial Embedded Systems (SIES) Pub Date : 2015-06-08 DOI: 10.1109/SIES.2015.7185053

Leonard Masing, Stephan Werner, J. Becker

{"title":"Virtual prototyping of heterogeneous dynamic platforms using Open Virtual Platforms","authors":"Leonard Masing, Stephan Werner, J. Becker","doi":"10.1109/SIES.2015.7185053","DOIUrl":"https://doi.org/10.1109/SIES.2015.7185053","url":null,"abstract":"Heterogeneous dynamic computing platforms are one of the big trends in today's electronic world. These platforms typically feature different General-Purpose-Processors (GPP) combined with accelerators on a reconfigurable layer. However, this necessitates specialized programming models and an Operating System (OS) for dealing with the dynamicity. To allow the early development of the system software, the tool-chain and to help in the design space exploration, high-level simulations offer a possible solution. In this paper we evaluate the application of Open Virtual Platforms (OVP) for the modelling of a heterogeneous dynamic platform. The OVP high-level simulations are extended by introducing peripherals to model the abilities of such a platform. Specifically, a generic I/O device, a communication device for a distributed platform and an accelerator interface with a reconfigurable accelerator model is implemented and integrated into a simulated platform. Different approaches are presented and the insights and results gained during the development process are discussed regarding speed and applicability to the use case.","PeriodicalId":328716,"journal":{"name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134312863","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

Energy- and latency-aware simulation of battery-operated wireless embedded networks for home automation 用于家庭自动化的电池供电无线嵌入式网络的能量和延迟感知仿真

10th IEEE International Symposium on Industrial Embedded Systems (SIES) Pub Date : 2015-06-08 DOI: 10.1109/SIES.2015.7185050

D. Pfefferkorn, H. Jeschke, H. Blume

引用次数: 0

Fail-operational in safety-related automotive multi-core systems 与安全相关的汽车多核系统的故障操作

10th IEEE International Symposium on Industrial Embedded Systems (SIES) Pub Date : 2015-06-08 DOI: 10.1109/SIES.2015.7185051

André Kohn, Michael Kasmeyer, Rolf Schneider, A. Roger, C. Stellwag, A. Herkersdorf

引用次数: 24

Periodic thermal management for hard real-time systems 硬实时系统的周期性热管理

10th IEEE International Symposium on Industrial Embedded Systems (SIES) Pub Date : 2015-06-08 DOI: 10.1109/SIES.2015.7185040

Long Cheng, Kai Huang, Gang Chen, Biao Hu, A. Knoll

引用次数: 7

Resource sharing under global scheduling with partial processor bandwidth 局部处理器带宽全局调度下的资源共享

10th IEEE International Symposium on Industrial Embedded Systems (SIES) Pub Date : 2015-06-08 DOI: 10.1109/SIES.2015.7185061

Sara Afshar, M. Behnam, R. J. Bril, Thomas Nolte

{"title":"Resource sharing under global scheduling with partial processor bandwidth","authors":"Sara Afshar, M. Behnam, R. J. Bril, Thomas Nolte","doi":"10.1109/SIES.2015.7185061","DOIUrl":"https://doi.org/10.1109/SIES.2015.7185061","url":null,"abstract":"Resource efficient approaches are of great importance for resource constrained embedded systems. In this paper, we present an approach targeting systems where tasks of a critical application are partitioned on a multi-core platform and by using resource reservation techniques, the remaining bandwidth capacity on each core is utilized for one or a set of non-critical application(s). To provide a resource efficient solution and to exploit the potential parallelism of the extra applications on the multi-core processor, global scheduling is used to schedule the tasks of the non-critical applications. Recently a specific instantiation of such a system has been studied where tasks do not share resources other than the processor. In this paper, we enable semaphore-based resource sharing among tasks within critical and non-critical applications using a suspension-based synchronization protocol. Tasks of non-critical applications have partial access to the processor bandwidth. The paper provides the systems schedulability analysis where blocking due to resource sharing is bounded. Further, we perform experimental evaluations under balanced and unbalanced allocation of tasks of a critical application to cores.","PeriodicalId":328716,"journal":{"name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127872720","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

WCET analysis methods: Pitfalls and challenges on their trustworthiness WCET分析方法:可信度的陷阱与挑战

10th IEEE International Symposium on Industrial Embedded Systems (SIES) Pub Date : 2015-06-08 DOI: 10.1109/SIES.2015.7185039

J. Abella, Carles Hernández, E. Quiñones, F. Cazorla, P. Conmy, M. Azkarate-askasua, Jon Pérez, E. Mezzetti, T. Vardanega

{"title":"WCET analysis methods: Pitfalls and challenges on their trustworthiness","authors":"J. Abella, Carles Hernández, E. Quiñones, F. Cazorla, P. Conmy, M. Azkarate-askasua, Jon Pérez, E. Mezzetti, T. Vardanega","doi":"10.1109/SIES.2015.7185039","DOIUrl":"https://doi.org/10.1109/SIES.2015.7185039","url":null,"abstract":"In the last three decades a number of methods have been devised to find upper-bounds for the execution time of critical tasks in time-critical systems. Most of such methods aim to compute Worst-Case Execution Time (WCET) estimates, which can be used as trustworthy upper-bounds for the execution time that the analysed programs will ever take during operation. The range of analysis approaches used include static, measurement-based and probabilistic methods, as well as hybrid combinations of them. Each of those approaches delivers its results on the assumption that certain hypotheses hold on the timing behaviour of the system as well that the user is able to provide the needed input information. Often enough the trustworthiness of those methods is only adjudged on the basis of the soundness of the method itself. However, trustworthiness rests a great deal also on the viability of the assumptions that the method makes on the system and on the user's ability, and on the extent to which those assumptions hold in practice. This paper discusses the hypotheses on which the major state-of-the-art timing analyses methods rely, identifying pitfalls and challenges that cause uncertainty and reduce confidence on the computed WCET estimates. While identifying weaknesses, this paper does not wish to discredit any method but rather to increase awareness on their limitations and enable an informed selection of the technique that best fits the user needs.","PeriodicalId":328716,"journal":{"name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115516888","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}

引用次数: 99

A model-based workflow from specification until validation of timing requirements in embedded software systems 嵌入式软件系统中基于模型的工作流，从规范到时间需求的验证

10th IEEE International Symposium on Industrial Embedded Systems (SIES) Pub Date : 2015-06-08 DOI: 10.1109/SIES.2015.7185056

Arne Noyer, Padma Iyenghar, E. Pulvermüller, Joachim Engelhardt, Florian Pramme, G. Bikker

引用次数: 7