2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)最新文献_第2页

Conformance checking for programmable logic controller programs and specifications 可编程逻辑控制器程序和规格的一致性检查

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) Pub Date : 2016-05-23 DOI: 10.1109/SIES.2016.7509409

D. Darvas, I. Majzik, E. B. Viñuela

引用次数: 7

Embedded systems in the application of fog computing — Levee monitoring use case 嵌入式系统中雾计算的应用——大堤监测用例

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) Pub Date : 2016-05-23 DOI: 10.1109/SIES.2016.7509437

R. Brzoza-Woch, Marek Konieczny, Piotr Nawrocki, T. Szydlo, K. Zielinski

引用次数: 21

Response time analysis of sporadic DAG tasks under partitioned scheduling 分区调度下零散DAG任务的响应时间分析

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) Pub Date : 2016-05-23 DOI: 10.1109/SIES.2016.7509443

J. Fonseca, Geoffrey Nelissen, Vincent Nélis, L. M. Pinho

{"title":"Response time analysis of sporadic DAG tasks under partitioned scheduling","authors":"J. Fonseca, Geoffrey Nelissen, Vincent Nélis, L. M. Pinho","doi":"10.1109/SIES.2016.7509443","DOIUrl":"https://doi.org/10.1109/SIES.2016.7509443","url":null,"abstract":"Several schedulability analyses have been proposed for a variety of parallel task systems with real-time constraints. However, these analyses are mostly restricted to global scheduling policies. The problem with global scheduling is that it adds uncertainty to the lower-level timing analysis which on multicore systems are heavily context-dependent. As parallel tasks typically exhibit intense communication and concurrency among their sequential computational units, this problem is further exacerbated. This paper considers instead the schedulability of partitioned parallel tasks. More precisely, we present a response time analysis for sporadic DAG tasks atop multiprocessors under partitioned fixed-priority scheduling. We assume the partitioning to be given. We show that a partitioned DAG task can be modeled as a set of self-suspending tasks. We then propose an algorithm to traverse a DAG and characterize such worst-case scheduling scenario. With minor modifications, any state-of-the-art technique for sporadic self-suspending tasks can thus be used to derived the worst-case response time of a partitioned DAG task. Experiments show that the proposed approach significantly tightens the worst-case response time of partitioned parallel tasks comparatively to the state-of-the-art when the most accurate technique is chosen.","PeriodicalId":185636,"journal":{"name":"2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127646781","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}

引用次数: 60

Testing real-time embedded software using runtime enforcement 使用运行时强制测试实时嵌入式软件

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) Pub Date : 2016-05-23 DOI: 10.1109/SIES.2016.7509430

Louis-Marie Givel, Jean-Luc Béchennec, M. Brun, S. Faucou, O. Roux

引用次数: 1

Keynote at SIES: Heterogeneous processors in SoC simplifies integration of IEC61508 and ISO26262 functional safety designs. The ZYNQ7000 experience 主旨:SoC中的异构处理器简化了IEC61508和ISO26262功能安全设计的集成。ZYNQ7000体验

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) Pub Date : 2016-05-23 DOI: 10.1109/SIES.2016.7509404

G. Corradi

引用次数: 0

Minimizing stack usage for AUTOSAR/OSEK's restricted fixed-priority preemption threshold support 最小化AUTOSAR/OSEK的受限固定优先级抢占阈值支持的堆栈使用

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) Pub Date : 2016-05-23 DOI: 10.1109/SIES.2016.7509417

L. Hatvani, R. J. Bril

引用次数: 4

Reconfigurable pipelined sensing for image-based control 基于图像控制的可重构流水线传感

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) Pub Date : 2016-05-23 DOI: 10.1109/SIES.2016.7509406

Róbinson Medina Sánchez, S. Stuijk, Dip Goswami, T. Basten

引用次数: 7

Improving instruction accurate simulation for parallel automotive applications 改进并行汽车应用的指令精确仿真

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) Pub Date : 2016-05-23 DOI: 10.1109/SIES.2016.7509432

Dominik Schoenwetter, Alexander Ditter, D. Fey, Ralph Mader

引用次数: 0

Contention-aware performance monitoring counter support for real-time MPSoCs 对实时mpsoc的竞争感知性能监控计数器支持

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) Pub Date : 2016-05-23 DOI: 10.1109/SIES.2016.7509440

J. Jalle, Mikel Fernández, J. Abella, J. Andersson, Mathieu Patte, L. Fossati, Marco Zulianello, F. Cazorla

{"title":"Contention-aware performance monitoring counter support for real-time MPSoCs","authors":"J. Jalle, Mikel Fernández, J. Abella, J. Andersson, Mathieu Patte, L. Fossati, Marco Zulianello, F. Cazorla","doi":"10.1109/SIES.2016.7509440","DOIUrl":"https://doi.org/10.1109/SIES.2016.7509440","url":null,"abstract":"Tasks running in MPSoCs experience contention delays when accessing MPSoC's shared resources, complicating task timing analysis and deriving execution time bounds. Understanding the Actual Contention Delay (ACD) each task suffers due to other corunning tasks, and the particular hardware shared resources in which contention occurs, is of prominent importance to increase confidence on derived execution time bounds of tasks. And, whenever those bounds are violated, ACD provides information on the reasons for overruns. Unfortunately, existing MPSoC designs considered in real-time domains offer limited hardware support to measure tasks' ACD losing all these potential benefits. In this paper we propose the Contention Cycle Stack (CCS), a mechanism that extends performance monitoring counters to track specific events that allow estimating the ACD that each task suffers from every contending task on every hardware shared resource. We build the CCS using a set of specialized low-overhead Performance Monitoring Counters for the Cobham Gaisler GR740 (NGMP) MPSoC - used in the space domain - for which we show CCS's benefits.","PeriodicalId":185636,"journal":{"name":"2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117029353","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}

引用次数: 14

Tight temporal bounds for dataflow applications mapped onto shared resources 映射到共享资源的数据流应用程序的严格时间界限

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) Pub Date : 2016-05-23 DOI: 10.1109/SIES.2016.7509444

Hadi Alizadeh Ara, M. Geilen, T. Basten, A. Behrouzian, M. Hendriks, Dip Goswami

引用次数: 6