AUTOMATIC FUNCTIONALITY ASSIGNMENT TO AUTOSAR MULTICORE DISTRIBUTED ARCHITECTURES

Similar documents
Functionality assignment to partitioned multi-core architectures

Automatic functionality assignment to AUTOSAR multicore distributed architectures Florin Maticu, Paul Pop Technical University of Denmark, Denmark

Communication Patterns in Safety Critical Systems for ADAS & Autonomous Vehicles Thorsten Wilmer Tech AD Berlin, 5. March 2018

Taking the Right Turn with Safe and Modular Solutions for the Automotive Industry

The Safe State: Design Patterns and Degradation Mechanisms for Fail- Operational Systems

Handling Challenges of Multi-Core Technology in Automotive Software Engineering

10 th AUTOSAR Open Conference

Capita Selecta: Software engineering for automotive systems

Agenda. > AUTOSAR Overview. AUTOSAR Solution. AUTOSAR on the way

39 Design Optimization of Mixed-Criticality Real-Time Embedded Systems

Partitioned Control Challenge Problem

An Improved Scheduling Technique for Time-Triggered Embedded Systems

Software integration challenge multi-core experience from real world projects

Alexandre Esper, Geoffrey Nelissen, Vincent Nélis, Eduardo Tovar

A Resource Efficient Framework to Run Automotive Embedded Software on Multi-core ECUs

Model Based Development and Code Generation for Automotive Embedded Systems. April 26, 2017 Dr. Gergely Pintér, Dr. Máté Kovács thyssenkrupp Steering

Safety Driven Optimization Approach for Automotive Systems. Slim DHOUIBI, PhD Student, VALEO - LARIS

An Encapsulated Communication System for Integrated Architectures

AUTOBEST: A microkernel-based system (not only) for automotive applications. Marc Bommert, Alexander Züpke, Robert Kaiser.

RT- Xen: Real- Time Virtualiza2on. Chenyang Lu Cyber- Physical Systems Laboratory Department of Computer Science and Engineering

Arccore AB 2017, all rights reserved. Accelerating innovation

MATLAB Expo Simulation Based Automotive Communication Design using MATLAB- SimEvent. Sudhakaran M Anand H General Motors

Design and Analysis of Time-Critical Systems Introduction

Welcome Note. Dr. Thomas Scharnhorst, AUTOSAR Spokesperson 10 th AUTOSAR Open Conference 8 th Nov 2017, Mountain View, California

Multicore platform towards automotive safety challenges

Software Architecture. Definition of Software Architecture. The importance of software architecture. Contents of a good architectural model

10 th AUTOSAR Open Conference

Task Allocation for Minimizing Programs Completion Time in Multicomputer Systems

Insights into the performance and configuration of TCP in Automotive Ethernet Networks

Automotive Networks Are New Busses and Gateways the Answer or Just Another Challenge? ESWEEK Panel Oct. 3, 2007

Generating Industry Standards Production C Code Using Embedded Coder

Thanks to... Composing and synchronizing real-time components through virtual platforms in vehicular systems

A Multi-Modal Composability Framework for Cyber-Physical Systems

Context. Hardware Performance. Increasing complexity. Software Complexity. And the Result is. Embedded systems are becoming more complex every day:

Context. Giorgio Buttazzo. Scuola Superiore Sant Anna. Embedded systems are becoming more complex every day: more functions. higher performance

Design Optimization and Synthesis of FlexRay Parameters for Embedded Control Applications

AUTOSAR proofs to be THE automotive software platform for intelligent mobility

Formal Verification and Automatic Testing for Model-based Development in compliance with ISO 26262

Virtual Hardware ECU How to Significantly Increase Your Testing Throughput!

FIXED PRIORITY SCHEDULING ANALYSIS OF THE POWERTRAIN MANAGEMENT APPLICATION EXAMPLE USING THE SCHEDULITE TOOL

ISO meets AUTOSAR - First Lessons Learned Dr. Günther Heling

Scheduling with Bus Access Optimization for Distributed Embedded Systems

Architecture concepts in Body Control Modules

Virtual Validation of Cyber Physical Systems

A Hardware-in-the-Loop Testing Platform Based on a Common Off-The-Shelf Non-Real-Time Simulation PC

Schedule Integration for Time-Triggered Systems

정형기법을활용한 AUTOSAR SWC 의구현확인및정적분석

Real and Virtual Development with SystemDesk

Slot Allocation Schemes for the FlexRay Static Segment

Introduction to Adaptive AUTOSAR. Dheeraj Sharma July 27, 2017

LATEST ISO UPDATE Focusing on Concurrency. Heiko Doerr MGI Group, 06. December 2016

Experiences with CANoe-based Fault Injection for AUTOSAR

Current status and Future of AUTOSAR. Markus Bechter 7 th AUTOSAR Open Conference Oct. 22 nd -23 rd 2014, Detroit

SAFETY-CRITICAL applications have to function correctly

Optimization Techniques for Design Space Exploration

10 th AUTOSAR Open Conference

10 th AUTOSAR Open Conference

New ARMv8-R technology for real-time control in safetyrelated

Increasing Design Confidence Model and Code Verification

Guido Sandmann MathWorks GmbH. Michael Seibt Mentor Graphics GmbH ABSTRACT INTRODUCTION - WORKFLOW OVERVIEW

SIMPLIFYING THE CAR. Helix chassis. Helix chassis. Helix chassis WIND RIVER HELIX CHASSIS WIND RIVER HELIX DRIVE WIND RIVER HELIX CARSYNC

Components in Real-Time Systems

Failure Diagnosis and Prognosis for Automotive Systems. Tom Fuhrman General Motors R&D IFIP Workshop June 25-27, 2010

Increasing Embedded Software Confidence Model and Code Verification. Daniel Martins Application Engineer MathWorks

Mixed-Criticality Systems based on a CAN Router with Support for Fault Isolation and Selective Fault-Tolerance

A specification proposed by JASPAR has been adopted for AUTOSAR.

Hardware/Software Codesign

Techday Mobile Electronics Open, connected, scalable With BODAS into the digital future

Hypervisor Market Overview. Franz Walkembach. for GENIVI AMM, April 19 th, 2018 (Munich) SYSGO AG Public

Partitioned Fixed-Priority Scheduling of Parallel Tasks Without Preemptions

Timing Analysis on Complex Real-Time Automotive Multicore Architectures

Design of Real-Time Software

The Adaptive Platform for Future Use Cases

Communications-Oriented Development of Component- Based Vehicular Distributed Real-Time Embedded Systems

Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems

Model transformation and scheduling analysis of an AUTOSAR system

RT- Xen: Real- Time Virtualiza2on from embedded to cloud compu2ng

FULL VIRTUALIZATION OF RENAULT'S ENGINE MANAGEMENT SOFTWARE APPLICATION TO SYSTEM DEVELOPMENT

Product Information Embedded Operating Systems

Approaches to Certification of Reconfigurable IMA Systems Paul Hollow, John McDermid, Mark Nicholson, University of York, UK Abstract

Application. Diagnosing the dashboard by the CANcheck software. Introduction

Countermeasures against Cyber-attacks

EXPERIENCES FROM MODEL BASED DEVELOPMENT OF DRIVE-BY-WIRE CONTROL SYSTEMS

Automotive Anomaly Monitors and Threat Analysis in the Cloud

Scheduling Complexity and Scheduling Strategies Scheduling Strategies in TTP Plan

Is This What the Future Will Look Like?

Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm

Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints

Designing a software framework for automated driving. Dr.-Ing. Sebastian Ohl, 2017 October 12 th

ELEC 5260/6260/6266 Embedded Computing Systems

A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility

In Vehicle Networking : a Survey and Look Forward

Advanced IP solutions enabling the autonomous driving revolution

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOL. 7, NO. 1, FEBRUARY

Functional Safety Architectural Challenges for Autonomous Drive

A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems

Mixed Criticality Scheduling in Time-Triggered Legacy Systems

High-assurance software for autonomous ground systems

Adaptive AUTOSAR Extending the Scope of AUTOSAR-based Embedded Software

CS4514 Real Time Scheduling

Transcription:

AUTOMATIC FUNCTIONALITY ASSIGNMENT TO AUTOSAR MULTICORE DISTRIBUTED ARCHITECTURES Florin Maticu, Paul Pop Technical University of Denmark (DTU) Axbrink Christian, Islam Mafijul Volvo Group Trucks Technology, Sweden Presenter: Sune Mølgaard Laursen, DTU

Motivation From federated to integrated architectures, using multicores Multicores have many advantages: SWaP Complexity of functionality is increasing Stringent timing and safety requirements (ISO 26262) Federated Architecture Integrated Architecture SIL3 SIL1 SIL3 Multicores SIL2 SIL1 Application A 1 PE Application A 2 Application A 3 Paper #2016-01-0041 2

Problem and proposed solution Business needs for the the next generation vehicles Efficient utilization of multicores Compliance with functional safety standard ISO 26262 Challenges Large number of functions Distributed multicore architectures, resulting in a large total number of processing cores Problem: how to assign the functions to the cores Solution: automatic mapping tool Reduce the costs (by using multicores, reducing ECUs) Maximize performance and resource utilization Handle the increased software complexity Paper #2016-01-0041 3

Application model Set of automotive applications Each Application is a set of Software Components Each Software Component is composed of a set of Runnables We know for each runnable ASIL (Automotive SIL) according to ISO 26262 Worst-Case Execution Time (WCET) Period and Deadline Runnables are communicating via Signals Runnable i WCET i (ms) T i (ms) D i (ms) ASIL i Input acquisition 0.5 10 10 A Input interpretation 1 10 10 A Diagnostic 1.5 10 10 A Speed Setpoint 1 10 10 QM Limp home 1.5 10 10 QM Basic function 2.5 10 10 QM Controller 3 10 10 QM Paper # (if applicable) 4

AUTOSAR AUTOSAR (AUTomotive Open System ARchitecture) Standardized model of development Possible for software developers to create reusable software components that are hardware independent Figure source: AUTOSAR SW OS. Specification of Operating System. Tech. rep. AUTOSAR 4.2.1, 2014. Paper #2016-01-0041 5

Platform model Distributed architecture, using AUTOSAR Multicore ECUs interconnected using CAN (more protocols can be modeled) AUTOSAR software architecture Detailed communication model, takes into account the type of comm. Paper #2016-01-0041 6

Software architecture model Scheduling policy Fixed-priority preemptive scheduling, e.g., Rate Monotonic A software implementation consists of A set of OS-Applications The separation required for safety is ensured through OS-Applications Each OS-Applications consists of a set of OS-Tasks Each OS-Task is composed of a set of Runnables An OS-Task is characterized by WCET Period and Deadline ASIL Paper #2016-01-0041 7

Problem formulation Given Application model and architecture model Determine the following mappings: Software components to ECUs Runnables to cores Runnables to OS-Tasks OS-Task to OS-Applications Such that we minimize The overall communication bandwidth The variance of core utilization of the system (balanced utilization) Under the following constraints: Mapping constraints Runnables are schedulable Runnables with different safety integrity levels are spatially and temporally isolated Paper #2016-01-0041 8

Optimization strategy: Simulated Annealing meta-heuristic Problem: NP-Hard Optimization strategy: Simulated Annealing Meta-heuristic search method for combinatorial problems Uses design transformations to randomly explore the search space Minimizes an Cost Function Occasionally allows jumps from a current solution to an inferior one to avoid getting stuck in a local minimum Cost Function σ U b α β cost = W 1 σ + W 2 U b + P 1 α + P 2 β the total variance in core utilization the aggregated bus utilization the amount of cores which utilization has been exceeded the amount of busses which utilization has been exceeded W and P are weights and penalty values Paper #2016-01-0041 9

Simulated Annealing: Design Transformations (a) Randomly choose a software component and map it to a new, randomly chosen, ECU. Then Randomly map the runnables inside the software component to the cores of the new ECU. (a) Move a software component (b) Randomly choose a runnable and map it to a new, randomly selected, core within the same ECU. (b) Move runnables between cores (c) Randomly choose two runnables of the same ASIL level assigned to the same core and group them together into an OS-Task. (c) Move runnables into the same Task Paper #2016-01-0041 10

Example input model (left) and solution (right) 1: Software components to ECU ma Software component ECU Automatic Gear Box ID ECU1 Suspension controller ID ECU1 Body work ID ECU1 Engine Controller ECU2 Anti-locking brake ECU2 Wheel angle sensor ECU2 Table 12: Runnables to core mapping Runnables ECU;Core F10, F21, F23, F24, F25, F28, F29 ECU1;Core1 F11, F22, F27, F31 ECU1;Core2 F8, F9, F20, F26, F30 ECU1;I/O Core1 F10, F21, F23, F24, F25, F28, F29 ECU2;Core3 F3, F4, F6, F7, F12, F13, F17 ECU2;Core4 F5, F14, F15, F18 ECU2;I/O Core2 Paper #2016-01-0041 11

Experimental evaluation Experimental setup Test Cases Architectures Table 3: Use cases ID Name Software components Runnables Signals CS1 Cruise 2 8 6 control CS2 PSA 6 31 17 case study CS3 Volvo case study 50 75 300 Table 4: Hardware architectures ID ECUs Cores ECU bandwidth (bytes/s) Core bandwidth (bytes/s) Arch1 2 4 50,000 10,000 Arch2 2 6 500,000 100,000 Arch3 1 3 N/A 500,000 Paper #2016-01-0041 12

Experimental evaluation, continued Results Table 7: Simulated Annealing Mapping (SAM) results Case study Arch. Tasks OS-Apps. Sched. Runtime CS1 Arch1 7 4 yes 0.5 sec. CS2 Arch2 19 16 yes 8 sec. CS3 Arch3 33 3 yes 45 sec. Additional results Volvo use case 50 Software Components with 75 runnables in total. One ECU with 3 cores Output within 2 minutes Paper #2016-01-0041 13

Contributions and Message Contributions: Automatic mapping tool for automotive functionality Handles multicores, AUTOSAR Considers ISO 26262 Utilization based schedulability test Takes into account the AUTOSAR communication type Message: Our proposed SA-based optimization approach is able to find, in a short time, schedulable implementations Paper #2016-01-0041 14