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

ReSA: An ontology-based requirement specification language tailored to automotive systems ReSA:为汽车系统量身定制的基于本体的需求规范语言

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

N. Mahmud, C. Seceleanu, Oscar Ljungkrantz

{"title":"ReSA: An ontology-based requirement specification language tailored to automotive systems","authors":"N. Mahmud, C. Seceleanu, Oscar Ljungkrantz","doi":"10.1109/SIES.2015.7185035","DOIUrl":"https://doi.org/10.1109/SIES.2015.7185035","url":null,"abstract":"Automotive systems are developed using multi-leveled architectural abstractions in an attempt to manage the increasing complexity and criticality of automotive functions. Consequently, well-structured and unambiguously specified requirements are needed on all levels of abstraction, in order to enable early detection of possible design errors. However, automotive industry often relies on requirements specified in ambiguous natural language, sometimes in large and incomprehensible documents. Semi-formal requirements specification approaches (e.g., requirement boilerplates, pattern-based specifications, etc.) aim to reduce requirements ambiguity, without altering their readability and expressiveness. Nevertheless, such approaches do not offer support for specifying requirements in terms of multi-leveled architectural concepts, nor do they provide means for early-stage rigorous analysis of the specified requirements. In this paper, we propose a language, called ReSA, which allows requirements specification at various levels of abstraction, modeled in the architectural language of EAST-ADL. ReSA uses an automotive systems' ontology that offers typing and syntactic axioms for the specification. Besides enforcing structure and more rigor in specifying requirements, our approach enables checking refinement as well as consistency of requirements, by proving ordinary boolean implications. To illustrate ReSA's applicability, we show how to specify some requirements of the Adjustable Speed Limiter, which is a complex, safety-critical Volvo Trucks user function.","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":"117234633","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

Analysis of access control policies in networked embedded systems: A case study 网络嵌入式系统中的访问控制策略分析:一个案例研究

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

M. Cheminod, L. Durante, L. Seno, A. Valenzano

引用次数: 5

Efficient compositing strategies for automotive HMI systems 汽车人机界面系统的高效合成策略

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

Simon Gansel, Stephan Schnitzer, Riccardo Cecolin, Frank Dürr, K. Rothermel, Christian Maihöfer

{"title":"Efficient compositing strategies for automotive HMI systems","authors":"Simon Gansel, Stephan Schnitzer, Riccardo Cecolin, Frank Dürr, K. Rothermel, Christian Maihöfer","doi":"10.1109/SIES.2015.7185036","DOIUrl":"https://doi.org/10.1109/SIES.2015.7185036","url":null,"abstract":"The relevance of graphical functions in vehicular applications has increased significantly during the last years. Modern cars are equipped with multiple displays used by different applications such as speedometer, navigation system, or media players. The rendered output of the applications is stored in so-called off-screen buffers and then bitblitted to the screen buffer at the respective window sizes and positions. To guarantee the visibility of the potentially overlapping windows, the compositing has to match the z-order of the windows. To this end, two common compositing strategies Tile compositing and Full compositing are used, each having performance issues depending on how windows overlap. Since automotive embedded platforms are restricted in power consumption, installation space, and hardware cost, their performance is limited which effectuates the need for highly efficient bitblitting. In order to increase the performance in compositing the windows, we propose Hybrid Compositing which predicts the required bitblitting time and chooses the most efficient strategy for each pair of overlapping windows. Using various scenarios we show that our approach is faster than the other strategies. In addition, we propose CacheHybrid Compositing which reduces the CPU execution time of our approach by up to 66 %. In case of an automotive scenario we show that our optimized approach saves up to 51% bitblitting time compared to existing approaches.","PeriodicalId":328716,"journal":{"name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","volume":"49 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":"123970472","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

Stochastic delay analysis of a wireless safety-critical avionics network 无线安全关键型航空电子网络的随机延迟分析

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

Dinh-Khanh Dang, A. Mifdaoui

引用次数: 2

A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems 一种综合和实现容错工业嵌入式系统的形式化方法

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

Wei Sun, A. Girault, G. Delaval

引用次数: 2

Mapping CAN-to-ethernet communication channels within virtualized embedded environments 在虚拟化的嵌入式环境中映射can到以太网的通信通道

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

Dominik Reinhardt, Maximilian Güntner, M. Kucera, T. Waas, Winfried E. Kühnhauser

{"title":"Mapping CAN-to-ethernet communication channels within virtualized embedded environments","authors":"Dominik Reinhardt, Maximilian Güntner, M. Kucera, T. Waas, Winfried E. Kühnhauser","doi":"10.1109/SIES.2015.7185064","DOIUrl":"https://doi.org/10.1109/SIES.2015.7185064","url":null,"abstract":"Intelligent driver assistance systems and new infotainment innovations cause a rapidly growing demand of computing power. To satisfy that demand, the quantity of electronic control units in cars has increased dramatically. OEMs tackle that trend by consolidating software on powerful multicore hardware platforms. However, current software solutions are mostly static and designed to run on limited platforms. As promising operating system for automotive, Linux comes into consideration, which seems to scale better than already existing solutions. To ease the migration process of older software parts and guarantee freedom from interference according to ISO26262 between single software partitions, embedded hypervisors can achieve that requirements. Up to now, automotive systems are not developed to run within virtualized environments. Within this paper, we present an approach to map communication channels of virtual automotive ECUs and connect them with their already existing CAN interfaces. For our analysis, we use the Xen hypervisor. The focus for interaction between virtual machines is to use SocketCAN and given paravirtualized Ethernet drivers. Our goal is a non-intrusive software integration methodology. We keep the source code within software partitions as unmodified as possible. To benchmark our studies, we evaluate our implementation on the Intel i7 and the.","PeriodicalId":328716,"journal":{"name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","volume":"73 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":"128378162","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

Extended support for limited preemption fixed priority scheduling for OSEK/AUTOSAR-compliant operating systems 对OSEK/ autosar兼容操作系统的有限抢占固定优先级调度的扩展支持

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

Matthias Becker, N. Khalilzad, R. J. Bril, Thomas Nolte

{"title":"Extended support for limited preemption fixed priority scheduling for OSEK/AUTOSAR-compliant operating systems","authors":"Matthias Becker, N. Khalilzad, R. J. Bril, Thomas Nolte","doi":"10.1109/SIES.2015.7185062","DOIUrl":"https://doi.org/10.1109/SIES.2015.7185062","url":null,"abstract":"Fixed Priority Scheduling (FPS) is the de facto standard in industry and it is the scheduling algorithm used in OSEK/AUTOSAR. Applications in such systems are compositions of so-called runnables, the functional entities of the system. Runnables are mapped to operating system tasks during system synthesis. In order to improve system performance it is proposed to execute runnables non-preemptively while varying the tasks threshold between runnables. This allows simpler resource access, which can reduce the stack usage of the system and improve the schedulability of the task sets. FPDS*, as a special case of fixed-priority scheduling with deferred preemptions, executes subjobs non-preemptively and preemption points have preemption thresholds, providing exactly the proposed behavior. However OSEK/AUTOSAR-conform systems cannot execute such schedules. In this paper we present an approach allowing the execution of FPDS* schedules. In our approach we exploit pseudo resources in order to implement FPDS*. It is further shown that our optimal algorithm produces a minimum number of resource accesses. In addition, a simulation-based evaluation is presented in which the number of resource accesses as well as the number of required pseudo-resources by the proposed algorithms are investigated. Finally, we report the overhead of resource access primitives using our measurements performed on an AUTOSAR-compliant operating system.","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":"130036468","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}

引用次数: 7

Optimal SAT-based scheduler for time-triggered networks-on-a-chip 最佳的基于sat的调度时间触发网络芯片

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

Christian Scholer, Rene Krenz-Baath, Ayman Murshed, R. Obermaisser

{"title":"Optimal SAT-based scheduler for time-triggered networks-on-a-chip","authors":"Christian Scholer, Rene Krenz-Baath, Ayman Murshed, R. Obermaisser","doi":"10.1109/SIES.2015.7185054","DOIUrl":"https://doi.org/10.1109/SIES.2015.7185054","url":null,"abstract":"Many embedded systems are deployed with multi-core platforms where processor cores are interconnected by networks-on-a-chip. Time-triggered networks-on-a-chip are ideal for safety-critical systems due to the inherent fault isolation and temporal predictability. However, a communication schedule is required that determines for each message the points in time for the injection of messages at the network interface as well as conflict-free paths through the network-on-a-chip. The schedule ensures that at a given point in time only one flit traverses the physical link between two router ports, thereby avoiding the need for dynamic arbitration and improving temporal predictability. This paper introduces an optimal scheduler based on a Boolean SAT solver for a time-triggered network-on-a-chip. By adopting this solver technique from the area of Electronic Design Automation (EDA) we have observed a significant reduction of the computation time for optimal schedules in several example scenarios. The evaluation was performed by comparing the SAT-based scheduler with an optimal scheduler using Mixed Integer Linear Programming (MILP). Due to the low computational time, we expect that the scheduling algorithm can replace heuristics in many applications.","PeriodicalId":328716,"journal":{"name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","volume":"9 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":"130907389","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}

引用次数: 5

Deriving period restrictions from a given utilization bound under RMS 从RMS下给定的利用率范围推导出周期限制

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

D. Müller, A. Burns

引用次数: 0

A formal, model-driven design flow for system simulation and multi-core implementation 用于系统仿真和多核实现的正式的、模型驱动的设计流程

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

Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, I. Sander, J. Champeau, Johnny Öberg

{"title":"A formal, model-driven design flow for system simulation and multi-core implementation","authors":"Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, I. Sander, J. Champeau, Johnny Öberg","doi":"10.1109/SIES.2015.7185067","DOIUrl":"https://doi.org/10.1109/SIES.2015.7185067","url":null,"abstract":"With the growing complexity of Real-Time Embedded Systems (RTES), there is a huge interest in using modeling languages such as the Unified Modeling Language (UML), and other Model-Driven Engineering (MDE) techniques targeting RTES system design. These approaches provide language abstractions for system design, allowing to focus on their relevant properties. Unfortunately, such approaches still suffer from several shortcomings including the lack of well-defined semantics. Therefore, it remains difficult to connect the MDE specification tools and the design tools that are based on formal grounds and well-defined semantics to perform analysis, validation or system synthesis for RTES. This paper presents a top-down RTES design flow aiming to reduce the gap between MDE and formal design approaches. We present the connection between a framework dedicated to the enrichment of modeling languages such as UML with formal semantics, a framework based on formal models of computation supporting validation by simulation, and a system synthesis tool targeting a flexible platform with well-defined execution services. Our purpose is to cover several system design phases from specification, simulation down to implementation on a platform. As a case study, a JPEG Encoder application was realized following the different design steps of the tool-chain.","PeriodicalId":328716,"journal":{"name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","volume":"34 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":"127019402","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