Parcus: Energy-Aware and Robust Parallelization of AUTOSAR Legacy Applications

Embedded multicore processors are an attractive alternative to sophisticated single-core processors for the use in automobile electronic control units (ECUs), due to their expected higher performance and energy efficiency. Parallelization approaches for AUTOSAR legacy software exploit these benefits. Nevertheless, these approaches focus on extracting performance neglecting the system's worst-case sensor/actuator latency and energy consumption. This paper presents Parcus, an energy-and latency-aware parallelization technique that combines both runnable-and tasklevel parallelism. Parcus explicitly models the traversal of data from sensor to actuator through task instances, enabling to consider the latency imposed by parallelization techniques. The parallel schedule quality (PSQ) metric quantifies the success of the parallelization, for which it takes the latency and the processor frequency into account. We demonstrate the applicability of Parcus with an automotive case study. The results show that Parcus can fully utilize the processor's energy-saving potential.This research received funding from the EU FP7 no. 287519 (parMERASA), the ARTEMIS-JU no. 621429 (EMC2), and the German Federal Ministry of Education and Research.Peer ReviewedPostprint (author's final draft

The ROSACE Case Study: From Simulink Specification to Multi/Many-Core Execution

This paper presents a complete case study - named ROSACE for Research Open-Source Avionics and Control Engineering - that goes from a baseline flight controller, developed in MATLAB/SIMULINK, to a multi-periodic controller executing on a multi/many-core target. The interactions between control and computer engineers are highlighted during the development steps, in particular by investigating several multi-periodic configurations. We deduced ways to improve the discussion between engineers in order to ease the integration on the target. The whole case study is made available to the community under an open-source license

Model-based control for automotive applications

The number of distributed control systems in modern vehicles has increased exponentially over the past decades. Today’s performance improvements and innovations in the automotive industry are often resolved using embedded control systems. As a result, a modern vehicle can be regarded as a complex mechatronic system. However, control design for such systems, in practice, often comes down to time-consuming online tuning and calibration techniques, rather than a more systematic, model-based control design approach. The main goal of this thesis is to contribute to a corresponding paradigm shift, targeting the use of systematic, model-based control design approaches in practice. This implies the use of control-oriented modeling and the specification of corresponding performance requirements as a basis for the actual controller synthesis. Adopting a systematic, model-based control design approach, as opposed to pragmatic, online tuning and calibration techniques, is a prerequisite for the application of state-of-the-art controller synthesis methods. These methods enable to achieve guarantees regarding robustness, performance, stability, and optimality of the synthesized controller. Furthermore, from a practical point-of-view, it forms a basis for the reduction of tuning and calibration effort via automated controller synthesis, and fulfilling increasingly stringent performance demands. To demonstrate these opportunities, case studies are defined and executed. In all cases, actual implementation is pursued using test vehicles and a hardware-in-the-loop setup. • Case I: Judder-induced oscillations in the driveline are resolved using a robustly stable drive-off controller. The controller prevents the need for re-tuning if the dynamics of the system change due to wear. A hardware-in-the-loop setup, including actual sensor and actuator dynamics, is used for experimental validation. • Case II: A solution for variations in the closed-loop behavior of cruise control functionality is proposed, explicitly taking into account large variations in both the gear ratio and the vehicle loading of heavy duty vehicles. Experimental validation is done on a heavy duty vehicle, a DAF XF105 with and without a fully loaded trailer. • Case III: A systematic approach for the design of an adaptive cruise control is proposed. The resulting parameterized design enables intuitive tuning directly related to comfort and safety of the driving behavior and significantly reduces tuning effort. The design is validated on an Audi S8, performing on-the-road experiments. • Case IV: The design of a cooperative adaptive cruise control is presented, focusing on the feasibility of implementation. Correspondingly, a necessary and sufficient condition for string stability is derived. The design is experimentally tested using two Citroën C4’s, improving traffic throughput with respect to standard adaptive cruise control functionality, while guaranteeing string stability of the traffic flow. The case studies consider representative automotive control problems, in the sense that typical challenges are addressed, being variable operating conditions and global performance qualifiers. Based on the case studies, a generic classification of automotive control problems is derived, distinguishing problems at i) a full-vehicle level, ii) an in-vehicle level, and iii) a component level. The classification facilitates a characterization of automotive control problems on the basis of the required modeling and the specification of corresponding performance requirements. Full-vehicle level functionality focuses on the specification of desired vehicle behavior for the vehicle as a whole. Typically, the required modeling is limited, whereas the translation of global performance qualifiers into control-oriented performance requirements can be difficult. In-vehicle level functionality focuses on actual control of the (complex) vehicle dynamics. The modeling and the specification of performance requirements are typically influenced by a wide variety of operating conditions. Furthermore, the case studies represent practical application examples that are specifically suitable to apply a specific set of state-of-the-art controller synthesis methods, being robust control, model predictive control, and gain scheduling or linear parameter varying control. The case studies show the applicability of these methods in practice. Nevertheless, the theoretical complexity of the methods typically translates into a high computational burden, while insight in the resulting controller decreases, complicating, for example, (online) fine-tuning of the controller. Accordingly, more efficient algorithms and dedicated tools are required to improve practical implementation of controller synthesis methods

Data-centric distribution technology in ARINC-653 systems

REACTION 2014. 3rd International Workshop on Real-time and Distributed Computing in Emerging Applications. Rome, Italy. December 2nd, 2014.Standard distribution middleware has recently emerged as a potential solution to interconnect distributed systems in the avionics domain, as it would bring important benefits throughout the software development process. A remaining challenge, however, is reducing the complexity associated with current distribution standards which leads to prohibitive certification costs. To overcome this complexity, this work explores the use of the DDS distribution standard on top of a software platform based on the ARINC-653 specification. Furthermore, it discusses how both technologies can be integrated in order to apply them in mission and safety-critical scenarios.This work has been funded in part by the Spanish Government and FEDER funds under grant number TIN2011-28567-C03-02 (HIPARTES).Publicad

Business Case and Technology Analysis for 5G Low Latency Applications

A large number of new consumer and industrial applications are likely to change the classic operator's business models and provide a wide range of new markets to enter. This article analyses the most relevant 5G use cases that require ultra-low latency, from both technical and business perspectives. Low latency services pose challenging requirements to the network, and to fulfill them operators need to invest in costly changes in their network. In this sense, it is not clear whether such investments are going to be amortized with these new business models. In light of this, specific applications and requirements are described and the potential market benefits for operators are analysed. Conclusions show that operators have clear opportunities to add value and position themselves strongly with the increasing number of services to be provided by 5G.Comment: 18 pages, 5 figure

Adaptive Robust Vehicle Motion Control for Future Over-Actuated Vehicles

International audienceMany challenges still need to be overcome in the context of autonomous vehicles. These vehicles would be over-actuated and are expected to perform coupled maneuvers. In this paper, we first discuss the development of a global coupled vehicle model, and then we outline the control strategy that we believe should be applied in the context of over-actuated vehicles. A gain-scheduled H ∞ controller and an optimization-based Control Allocation algorithms are proposed. High-fidelity co-simulation results show the efficiency of the proposed control logic and the new possibilities that could offer. We expect that both car manufacturers and equipment suppliers would join forces to develop and standardize the proposed control architecture for future passenger cars

Anpassen verteilter eingebetteter Anwendungen im laufenden Betrieb

The availability of third-party apps is among the key success factors for software ecosystems: The users benefit from more features and innovation speed, while third-party solution vendors can leverage the platform to create successful offerings. However, this requires a certain decoupling of engineering activities of the different parties not achieved for distributed control systems, yet. While late and dynamic integration of third-party components would be required, resulting control systems must provide high reliability regarding real-time requirements, which leads to integration complexity. Closing this gap would particularly contribute to the vision of software-defined manufacturing, where an ecosystem of modern IT-based control system components could lead to faster innovations due to their higher abstraction and availability of various frameworks. Therefore, this thesis addresses the research question: How we can use modern IT technologies and enable independent evolution and easy third-party integration of software components in distributed control systems, where deterministic end-to-end reactivity is required, and especially, how can we apply distributed changes to such systems consistently and reactively during operation? This thesis describes the challenges and related approaches in detail and points out that existing approaches do not fully address our research question. To tackle this gap, a formal specification of a runtime platform concept is presented in conjunction with a model-based engineering approach. The engineering approach decouples the engineering steps of component definition, integration, and deployment. The runtime platform supports this approach by isolating the components, while still offering predictable end-to-end real-time behavior. Independent evolution of software components is supported through a concept for synchronous reconfiguration during full operation, i.e., dynamic orchestration of components. Time-critical state transfer is supported, too, and can lead to bounded quality degradation, at most. The reconfiguration planning is supported by analysis concepts, including simulation of a formally specified system and reconfiguration, and analyzing potential quality degradation with the evolving dataflow graph (EDFG) method. A platform-specific realization of the concepts, the real-time container architecture, is described as a reference implementation. The model and the prototype are evaluated regarding their feasibility and applicability of the concepts by two case studies. The first case study is a minimalistic distributed control system used in different setups with different component variants and reconfiguration plans to compare the model and the prototype and to gather runtime statistics. The second case study is a smart factory showcase system with more challenging application components and interface technologies. The conclusion is that the concepts are feasible and applicable, even though the concepts and the prototype still need to be worked on in future -- for example, to reach shorter cycle times.Eine große Auswahl von Drittanbieter-Lösungen ist einer der Schlüsselfaktoren für Software Ecosystems: Nutzer profitieren vom breiten Angebot und schnellen Innovationen, während Drittanbieter über die Plattform erfolgreiche Lösungen anbieten können. Das jedoch setzt eine gewisse Entkopplung von Entwicklungsschritten der Beteiligten voraus, welche für verteilte Steuerungssysteme noch nicht erreicht wurde. Während Drittanbieter-Komponenten möglichst spät -- sogar Laufzeit -- integriert werden müssten, müssen Steuerungssysteme jedoch eine hohe Zuverlässigkeit gegenüber Echtzeitanforderungen aufweisen, was zu Integrationskomplexität führt. Dies zu lösen würde insbesondere zur Vision von Software-definierter Produktion beitragen, da ein Ecosystem für moderne IT-basierte Steuerungskomponenten wegen deren höherem Abstraktionsgrad und der Vielzahl verfügbarer Frameworks zu schnellerer Innovation führen würde. Daher behandelt diese Dissertation folgende Forschungsfrage: Wie können wir moderne IT-Technologien verwenden und unabhängige Entwicklung und einfache Integration von Software-Komponenten in verteilten Steuerungssystemen ermöglichen, wo Ende-zu-Ende-Echtzeitverhalten gefordert ist, und wie können wir insbesondere verteilte Änderungen an solchen Systemen konsistent und im Vollbetrieb vornehmen? Diese Dissertation beschreibt Herausforderungen und verwandte Ansätze im Detail und zeigt auf, dass existierende Ansätze diese Frage nicht vollständig behandeln. Um diese Lücke zu schließen, beschreiben wir eine formale Spezifikation einer Laufzeit-Plattform und einen zugehörigen Modell-basierten Engineering-Ansatz. Dieser Ansatz entkoppelt die Design-Schritte der Entwicklung, Integration und des Deployments von Komponenten. Die Laufzeit-Plattform unterstützt den Ansatz durch Isolation von Komponenten und zugleich Zeit-deterministischem Ende-zu-Ende-Verhalten. Unabhängige Entwicklung und Integration werden durch Konzepte für synchrone Rekonfiguration im Vollbetrieb unterstützt, also durch dynamische Orchestrierung. Dies beinhaltet auch Zeit-kritische Zustands-Transfers mit höchstens begrenzter Qualitätsminderung, wenn überhaupt. Rekonfigurationsplanung wird durch Analysekonzepte unterstützt, einschließlich der Simulation formal spezifizierter Systeme und Rekonfigurationen und der Analyse der etwaigen Qualitätsminderung mit dem Evolving Dataflow Graph (EDFG). Die Real-Time Container Architecture wird als Referenzimplementierung und Evaluationsplattform beschrieben. Zwei Fallstudien untersuchen Machbarkeit und Nützlichkeit der Konzepte. Die erste verwendet verschiedene Varianten und Rekonfigurationen eines minimalistischen verteilten Steuerungssystems, um Modell und Prototyp zu vergleichen sowie Laufzeitstatistiken zu erheben. Die zweite Fallstudie ist ein Smart-Factory-Demonstrator, welcher herausforderndere Applikationskomponenten und Schnittstellentechnologien verwendet. Die Konzepte sind den Studien nach machbar und nützlich, auch wenn sowohl die Konzepte als auch der Prototyp noch weitere Arbeit benötigen -- zum Beispiel, um kürzere Zyklen zu erreichen