{"title":"Fault- Tolerance Support for Mobile Robotic Applications","authors":"Manos Koutsoubelias, S. Lalis","doi":"10.1109/SIES.2018.8442098","DOIUrl":"https://doi.org/10.1109/SIES.2018.8442098","url":null,"abstract":"The advent of powerful yet also affordable mobile robotic platforms will spur a new generation of computer-driven applications that employ multiple mobile robots to perform a large variety of missions. This prospect has lead to the emergence of corresponding programming models that aim to ease the development of such applications, allowing a more straightforward exploitation of the resources that are available on these platforms. But fault-tolerance remains a challenging issue due to the inherent dynamics of such cyber-physical systems. Notably, some of the actions that are performed in the context of such executions cannot be easily undone, while in other cases it may be problematic to automatically redo certain actions without the explicit control of the application. The desired functionality cannot be achieved by applying traditional fault-tolerance schemes out-of-the-box; these need to be combined and extended in a suitable manner. In this paper, we present system-level support designed to provide transparent fault-tolerance for applications that coordinate multiple mobile robots in a centralized way. We discuss a concrete implementation of the proposed approach as part of an existing programming framework. Also, we present an evaluation of the respective overhead for individual runtime operations as well as for indicative application scenarios with and without failures.","PeriodicalId":236091,"journal":{"name":"2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)","volume":"55 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130366983","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}
{"title":"EventQueue: An Event based and Priority aware Interprocess Communication for Embedded Systems","authors":"Fabian Mauroner, M. Baunach","doi":"10.1109/SIES.2018.8442089","DOIUrl":"https://doi.org/10.1109/SIES.2018.8442089","url":null,"abstract":"Modern embedded systems are targeting for isolated tasks and for an efficient Interprocess Communication (IPC). However, unifying both requirements is not a trivial challenge. In this paper, we propose EventQueue that unifies both requirements with the assistance of a hardware extension. With a message queue, the data is transferred from one task to another. Thereby, sending the data is performed in hardware, what eliminates the problem of an Operating System Priority Inversion (OS-PI) and concurrently enables the isolation of the tasks among each other. We implemented EventQueue into the mosartMCU, running in a Field Programmable Gate Array (FPGA). This is illustrated in performance evaluations. The evaluation shows a significant throughput improvement, what makes EventQueue well suitable for future real-time embedded systems.","PeriodicalId":236091,"journal":{"name":"2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131215120","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}
Christian Fibich, Stefan Tauner, Peter Rössler, M. Horauer, Herbert Taucher, Martin Matschnig
{"title":"Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu","authors":"Christian Fibich, Stefan Tauner, Peter Rössler, M. Horauer, Herbert Taucher, Martin Matschnig","doi":"10.1109/SIES.2018.8442100","DOIUrl":"https://doi.org/10.1109/SIES.2018.8442100","url":null,"abstract":"High-Ievel synthesis promises a boost in productivity by enabling synthesis of low-level electronic circuit descriptions out of high-level source code. In this work-in-progress paper we present a preliminary evaluation of two freely available high-level synthesis tools using four case studies. We describe the steps required in order to obtain a synthesizable FPGA design from C source code for each use case and discuss the performance of the resulting hardware implementations.","PeriodicalId":236091,"journal":{"name":"2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129623782","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}
{"title":"On the Consensus Mechanisms of Blockchain/DLT for Internet of Things","authors":"Qingqiang He, Nan Guan, Mingsong Lv, W. Yi","doi":"10.1109/SIES.2018.8442076","DOIUrl":"https://doi.org/10.1109/SIES.2018.8442076","url":null,"abstract":"Internet of Things (IoT) has been experiencing exponential growth in recent years, but still faces many serious challenges. The distributed ledger technology (DLT), e.g., Blockchain, not only appears to be promising to address these technical challenges, but also brings tremendous opportunities for new application and business models. However, the convergence of IoT and DLT is yet a goal far beyond our reach today. Among many problems that have not been sufficiently understood, a fundamental one is how to design appropriate consensus mechanisms for DLT applied to IoT, which is the theme of this paper. We first discuss the potential benefits of applying DLT to IoT, and identify major challenges posed to DLT by IoT. Then we make a survey of existing DLT consensus mechanisms, to summarize major principles and discuss their pros and cons when applied in IoT.","PeriodicalId":236091,"journal":{"name":"2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121425067","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}
{"title":"Parameter-Aware Energy Models for Embedded-System Peripherals","authors":"Daniel Friesel, Markus Buschhoff, O. Spinczyk","doi":"10.1109/SIES.2018.8442096","DOIUrl":"https://doi.org/10.1109/SIES.2018.8442096","url":null,"abstract":"Energy models support monitoring and prediction of energy use, which is essential for the development and usage of transiently powered systems. However, model generation is a time-consuming and repetitive task. Also, available energy modeling solutions typically assume hardware configurations to be constant, although configuration changes can significantly impact hardware behaviour. Here we present a work-in-progress algorithm for the automatic generation of configuration-aware energy models for system peripherals. We determine the influence of configurable hardware parameters on model attributes and generate functions to describe it. We also propose a new transition energy model to improve energy accounting accuracy without additional overhead. Initial tests show promising results with mean absolute model error less than 1.5 % for various hardware configurations.","PeriodicalId":236091,"journal":{"name":"2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131320497","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}
{"title":"Network Calculus-based Timing Analysis of AFDX networks with Strict Priority and TSN/BLS Shapers","authors":"A. Finzi, A. Mifdaoui, F. Frances, E. Lochin","doi":"10.1109/SIES.2018.8442080","DOIUrl":"https://doi.org/10.1109/SIES.2018.8442080","url":null,"abstract":"A homogeneous avionic communication architecture based on the AFDX supporting mixed-criticality applications will bring significant advantages, i.e., easier maintenance and reduced costs. To cope with this emerging issue, the AFDX may integrate multiple traffic classes: Safety-Critical Traffic (SCT) with hard real-time constraints, Rate-Constrained (RC) traffic requiring bounded latencies and Best Effort (BE) traffic with no delivery constraints. These traffic classes are managed based on a Non-Preemptive Strict Priority (NP-SP) Scheduler, where the highest priority traffic (SCT) is shaped with a Burst Limiting Shaper (BLS). The latter has been defined by the Time Sensitive Networking (TSN) task group to limit the impact of high priority flows on lower priority ones. This paper proposes a Network Calculus-based approach to compute the end-to-end delay bounds of SCT and RC classes. We consider the impact of the BLS and the multi-hop network architecture. We also provide proofs of service curves guaranteed to SCT and RC classes, needed to derive delay bounds with Network Calculus. The proposed approach is evaluated on a realistic AFDX configuration. Results show the efficiency of incorporating the TSN/BLS on top of a NP-SP scheduler in the AFDX to noticeably enhance the RC delay bounds while guaranteeing the SCT deadline, in comparison to an AFDX implementing only a NP-SP scheduler.","PeriodicalId":236091,"journal":{"name":"2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116599703","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}
M. Abuteir, Zaher Owda, Hamidreza Ahmadian, R. Obermaisser
{"title":"Simulation Model and Environment for Mixed-Criticality Networked Multi-Core Chips","authors":"M. Abuteir, Zaher Owda, Hamidreza Ahmadian, R. Obermaisser","doi":"10.1109/SIES.2018.8442102","DOIUrl":"https://doi.org/10.1109/SIES.2018.8442102","url":null,"abstract":"The requirement for networked multi-core systems is expanding dramatically in many domains such as, aerospace, industry 4.0 and automotive areas. Today's systems that implicate multi-cores, complex architectures and a big variety of applications require well-structured and hierarchical simulation environments. In addition, an efficient and early validation of system requirements during design phase and not during implementation or deployment phases is essential. This has led to a higher demand for simulation tools and environments that can meet the increasing expectations for simulation accuracy, real-time and mixed-criticality support. However, currently there is a gap between the mixed-criticality integration at chip-level and off-chip level, which is a challenge for upcoming mixed-criticality systems with multi-core chips. In this work, a hierarchical simulation environment for mixed-criticality systems based on multi-core chips is introduced. The presented simulation model utilizes criticality-aware interfaces and gateways throughout the different simulated system levels, and successfully combines different simulation tools for the scope of the simulated case realization. In addition, an avionic use-case is presented to validate the presented simulation environment.","PeriodicalId":236091,"journal":{"name":"2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)","volume":"998 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116235457","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}
{"title":"[Copyright notice]","authors":"","doi":"10.1109/sies.2018.8442091","DOIUrl":"https://doi.org/10.1109/sies.2018.8442091","url":null,"abstract":"","PeriodicalId":236091,"journal":{"name":"2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116310563","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}
{"title":"High Availability in Cyber-physical Systems by Self-determined Virtual Machine Replication","authors":"B. Jablkowski, Michael Mueller, O. Spinczyk","doi":"10.1109/SIES.2018.8442105","DOIUrl":"https://doi.org/10.1109/SIES.2018.8442105","url":null,"abstract":"Present approaches to high availability via virtual machine replication either rely on parallel VM-execution combined with a voting mechanism or periodically transfer state modifications to an inactive backup VM. While redundant execution is expensive in terms of CPU load, periodic checkpointing leads to higher network load and the response times of protected VMs increase and get more jitter. Both alternatives are unacceptable in domains with resource constraints and realtime requirements such as cyber-physical systems. In this work we present a “self-determined” virtual machine replication model for high availability solutions that avoids the drawbacks of both established techniques at the cost of transparency. We argue that for some emerging application domains, such as cyber-physical systems, our model is more suitable. Results show that high availability via self-determined replication can reduce response latencies by an order of magnitude when compared with its periodic counterpart. Especially when used in combination with a lightweight unikernel as guest OS, the overhead of high availability becomes acceptable, even for resource-constrained cyber-physical systems.","PeriodicalId":236091,"journal":{"name":"2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128628976","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}
{"title":"Interoperability Between DSRC and LTE for VANETs","authors":"Heather King, K. Nolan, Mark Y. Kelly","doi":"10.1109/SIES.2018.8442086","DOIUrl":"https://doi.org/10.1109/SIES.2018.8442086","url":null,"abstract":"Vehicular Ad-hoc Networks (VANETs) have emerged as a promising approach to support communications between autonomous cars and the accompanying intelligent transportation systems. Research in this area, namely vehicle-to-everything (V2X) communication, is focusing on two types of technologies: dedicated-short-range communication (DSRC) and advances in cellular networks. However, both technologies have limitations in performance, especially in high-density vehicular scenarios. In this paper, we propose a cognitive protocol translator capable of translating between LTE Sidelink device-to-device (D2D) and IEEE 802.11p DSRC packets, allowing interoperability of the two technologies. We propose this hybrid architecture as a potential solution to address the challenge of interoperability. We demonstrate through simulations the feasibility of our solution and show how the protocol converter has no adverse affect on packet delivery performance of the component DSRC and LTE ProSe technologies.","PeriodicalId":236091,"journal":{"name":"2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122243483","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}