Safety and Security for Automotive using Microkernel Technology

Similar documents
Linux and AUTOSAR Vector Informatik Congress, Stuttgart,

Interaction between AUTOSAR and non-autosar Systems on top of a Hypervisor

Smart Antennas and Hypervisor: Enabling Secure Convergence. July 5, 2017

Safe Multi-Display Cockpit Controller

Using a Certified Hypervisor to Secure V2X communication

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

10 th AUTOSAR Open Conference

A Secure Update Architecture for High Assurance Mixed-Criticality System Don Kuzhiyelil Dr. Sergey Tverdyshev SYSGO AG

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

Multicore platform towards automotive safety challenges

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

10 th AUTOSAR Open Conference

Autonomous Driving needs Safety & Security. Embedded World 2018 Dr. Ciwan Gouma

Infotainment Solutions. with Open Source and i.mx6. mentor.com/embedded. Andrew Patterson Business Development Director Embedded Automotive

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

Addressing Complexity in Connected & Autonomous Vehicles (and in fact everything else )

Software integration challenge multi-core experience from real world projects

Software Architecture for Secure ECUs. Rudolf Grave EB TechDay-June 2015

Is This What the Future Will Look Like?

Security and Performance Benefits of Virtualization

Using a Separation Kernel to Protect against the Remote Exploitation of Unaltered Passenger Vehicles

Convergence of Safety, Systems & Cybersecurity Bill StClair, Director, LDRA, US Operations

Architecture concepts in Body Control Modules

Mentor Automotive Save Energy with Embedded Software! Andrew Patterson Presented to CENEX 14 th September 2016

Cyber security mechanisms for connected vehicles

Car2Car Forum Operational Security

The Adaptive Platform for Future Use Cases

Virtualization of Heterogeneous Electronic Control Units Testing and Validating Car2X Communication

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

The Remote Exploitation of Unaltered Passenger Vehicles Revisited. 20 th October 2016 Mark Pitchford, Technical Manager, EMEA

AUTOSAR proofs to be THE automotive software platform for intelligent mobility

Adaptive AUTOSAR Extending the Scope of AUTOSAR-based Embedded Software

10 th AUTOSAR Open Conference

Automotive Security: Challenges, Standards and Solutions. Alexander Much 12 October 2017

Riccardo Mariani, Intel Fellow, IOTG SEG, Chief Functional Safety Technologist

Scalable and Flexible Software Platforms for High-Performance ECUs. Christoph Dietachmayr Sr. Engineering Manager, Elektrobit November 8, 2018

Countermeasures against Cyber-attacks

AUTOSAR design flow. Yoon-Jin Kim Application Engineer. July mentor.com/automotive

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

Introduction to Adaptive AUTOSAR. Dheeraj Sharma July 27, 2017

Adaptive AUTOSAR Extending the Scope of AUTOSAR-based Embedded Software

Real and Virtual Development with SystemDesk

Advanced IP solutions enabling the autonomous driving revolution

Certified Automotive Software Tester Sample Exam Paper Syllabus Version 2.0

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

Handling Challenges of Multi-Core Technology in Automotive Software Engineering

Trusted Platform Modules Automotive applications and differentiation from HSM

Formal Methods and their role in Software and System Development. Riccardo Sisto, Politecnico di Torino

Securing the future of mobility

10 th AUTOSAR Open Conference

ARM processors driving automotive innovation

Arccore AB 2017, all rights reserved. Accelerating innovation

Product Information Embedded Operating Systems

IT-Sicherheitsprüfverfahren im Automotive-Umfeld

EMC2. Prototyping and Benchmarking of PikeOS-based and XTRATUM-based systems on LEON4x4

10 th AUTOSAR Open Conference

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

Software architecture in ASPICE and Even-André Karlsson

This document is a preview generated by EVS

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

Market Trends and Challenges in Vehicle Security

ISO Compliant Automatic Requirements-Based Testing for TargetLink

Virtual Hardware ECU How to Significantly Increase Your Testing Throughput!

PREEvision Technical Article

ISO INTERNATIONAL STANDARD. Road vehicles Open interface for embedded automotive applications Part 6: OSEK/VDX Implementation Language (OIL)

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

Presentation's title

A NEW CONCEPT IN OTA UPDATING FOR AUTOMOTIVE

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

Virtualizaton: One Size Does Not Fit All. Nedeljko Miljevic Product Manager, Automotive Solutions MontaVista Software

Adaptive AUTOSAR. Ready for Next Generation ECUs V

Sicherheitsaspekte für Flashing Over The Air in Fahrzeugen. Axel Freiwald 1/2017

A Big Little Hypervisor for IoT Development February 2018

Legal Regulations and Vulnerability Analysis

Entwicklung zuverlässiger Software-Systeme, Stuttgart 30.Juni 2011

AUTOBEST: A United AUTOSAR-OS And ARINC 653 Kernel. Alexander Züpke, Marc Bommert, Daniel Lohmann

How Security Mechanisms Can Protect Cars Against Hackers. Christoph Dietachmayr, CIS Solution Manager EB USA Techday, Dec.

Create, Embed, Empower. Crevavi Technologies Company profile

Deriving safety requirements according to ISO for complex systems: How to avoid getting lost?

Autonomous Driving From Fail-Safe to Fail-Operational Systems

Certification Requirements for High Assurance Systems

Introducing a new temporal partitioning scheme to AUTOSAR OS

Semantics-Based Integration of Embedded Systems Models

Compliance Verification Process for Ethernet ECUs

KSAR Support. for. ST s SPC5 32-bit Automotive MCUs

CardOS Secure Elements for Smart Home Applications

Fault-Injection testing and code coverage measurement using Virtual Prototypes on the context of the ISO standard

The modern car has 100 million lines of code and over half of new vehicles will be connected by 2020.

FeliCa Approval for Security and Trust (FAST) Overview. Copyright 2018 FeliCa Networks, Inc.

Autonomous Driving: And the Impact of People, Process & Technology

Automotive Functional Safety

Applying MILS to multicore avionics systems

Automotive Anomaly Monitors and Threat Analysis in the Cloud

ISO compliant verification of functional requirements in the model-based software development process

Operating-System Structures

Security: The Key to Affordable Unmanned Aircraft Systems

Computing and Communications Infrastructure for Network-Centric Warfare: Exploiting COTS, Assuring Performance

STMicroelectronics Automotive MCU Technical Day 意法半导体汽车微控制器技术日 2017 年 ST 汽车 MCU 技术日 2017 年 6 月 6 日, 上海 2017 年 6 月 8 日, 深圳 2017 年 6 月 13 日, 北京

Verification Futures The next three years. February 2015 Nick Heaton, Distinguished Engineer

Open Source in Automotive Infotainment

Transcription:

Informationstag "Das Automobil als IT-Sicherheitsfall" Berlin, 11.05.2012 Safety and Security for Automotive using Microkernel Technology Dr.-Ing. Matthias Gerlach OpenSynergy

TwoBirds withonestone Safety and Security for Automotive using Microkernel Technology Dr.-Ing. Matthias Gerlach (OpenSynergy)

Trend in Automotive: Integration functions number per vehicle cost per function ECUs time Pricing pressure requires multiple functions integrated on a single ECU 3 Copyright OpenSynergy 2012

Trend in Automotive: Consumer Electronics Integration Consumer electronics Automotive Driver assistance Body control Chassis control Comfort electronic 4 Copyright OpenSynergy 2012

COQOS for Linux and Android Head-Units COQOS is the best way to take advantage of Linux and still satisfy automotive requirements! Real Time: applications with high timing requirements run independently from Linux Tool Chain Real-Time Early COQOS Main Head-Unit Processor The product COQOS contains all orange modules Fast Boot: applications are available extremely quickly, well before Linux has been started (e.g. Rear View) Firewall: all communication towards the vehicle network is controlled via policy AUTOSAR: plug in AUTOSAR basic software and SW-Cs Certified: the PikeOSmicrokernel has been certified according to the highest safety and security standards Cost Reduction: COQOS integrates diverse functionality on a single processor

COQOS for Connectivity COQOS is well-suited to build devices connecting the vehicle systems with the outside world! COQOS enables: Mobile Device Compatibility: through integration of industry-standard communication stacks Tool Chain "Car2X" Communication Stacks Connectivity to Mobile Devices Critical functionality COQOS* Processor Gateway to vehicle functions Critical applications such as E- Call can run directly on COQOS Firewall: separation of the different communication stacks is the basis for improved security The product COQOS contains all orange modules * Based on PikeOS Micro-Kernel from SYSGO AG

COQOS for Instrument Clusters COQOS makes it possible to run high-end displays and AUTOSAR on a single System-on-chip: COQOS enables: Tool Chain Graphics AUTOSAR and stacks AUTOSAR:Full reuse of AUTOSAR applications and basicsoftware (communication stacks) COQOS* Graphics: Access to the graphics capabilities of the SOC System-on-Chip The product COQOS contains all orange modules * Based on PikeOS Micro-Kernel from SYSGO AG

Microkernel Technology Primer In computer science, a microkernel is the near-minimum amount of software that can provide the mechanisms needed to implement an operating system (OS) (Wikipedia) ~ 10K Lines of Code Mechanisms include: Time partitioning (Scheduling) and Space partitioning (Access to memory) Inter process communication Microkernel technology successfully used in Aerospace E.g., PikeOS Microkernel by SYSGO for A380 Intgrated Modular Avionics Partitioning Linux other OS services on µos AUTOSAR AUTOSAR BSW Controlled communication Microkernel / µos CPU 8 Copyright OpenSynergy 2012

Requirements Summary ID_001: It shall be possible to integrate several functions over one piece of HW. ID_002: The Linux operating system shall be supported for Infotainment applications. ID_003: Some functions shall be developed using AUTOSAR methodology and architecture ID_004: The ECU shall startup selected components from coldstart below 150ms Integration Linux AUTOSAR Early Apps Real-time Safety ID_005: The ECU shall be safe Security ID_006: The ECU shall be secure 9 Copyright OpenSynergy 2012

Safety and Security defined Functional safety is the state in which a vehicle function does not cause any intolerable endangering states (ISO 26262) Security is concerned with the protection of assets (Common Criteria) against malicious attackers. 10 Copyright OpenSynergy 2012

Future Head Unit? How do I know my system is safe and secure? Integration Linux AUTOSAR Early Apps Real-time Safety Security 11 Copyright OpenSynergy 2012

Refining Safety and Security Requirements Standards (relevant for Automotive) ISO 26262 Road Vehicles Functional Safety Common Criteria for Information Technology Security Evaluation (Common Criteria) Standards help assessing whether my system is safe and secure. Assumptions Focus on key system component of integrated ECU, the Microkernel Can define common functional requirements Standards define a methods and processes framework to implement and verify requirements and define HOW SAFE/SECURE the system is 12 Copyright OpenSynergy 2012

ISO 26262 Functional Safety for Road Vehicles Based on IEC 61508, with automotive specific adaptations Draft International Standard, 2009 Published Norm expected in 2011 Specific for series production cars Represents state of the art for safe product development Covers all aspects of product lifecycle (System development, HW, SW, Operation, ) Specifies concrete measures 13 Copyright OpenSynergy 2012

ISO 26262: V-Model Approach 14 Copyright OpenSynergy 2012

Common Criteria (for Information Technology Security Evaluation) Published as ISO/IEC 15408:2005 Common, international standard for secure information technology systems Dates back to activities in the 1990ies Parts: 1: General Model 2: Security Functional Requirements 3: Security Assurance Requirements Protection Profile for Mikrokernel exists 15 Copyright OpenSynergy 2012

Approach in Common Criteria Item definition System and Environment Thread analsiys Requirements Security Objectives Security Functional Requirments Implementation Security Assurance Requirements Validation Security Assurance Requirements Traceability from Requirements to Implementation

Common Criteria: Protection Profile Protection Profile Intended to describe a TOE (Target of Evaluation) type Abstracts from concrete implementation of TOE Example: Seperation Kernel Protection Profile (SKPP) Profile for Seperation Microkernels Used for existing Mikrokernels, such as PikeOS by SYSGO [Source: Common Criteria Part 1] 17 Copyright OpenSynergy 2012

Safety Refined Correct scheduling to ensure real-time properties Infotainment and Apps e.g., Android Early Realtime Partitioning / Isolation to prevent a failure of one partition to propagate µos Hardware Safe communication between components These requirements can also be found in ISO 26262! 18 Copyright OpenSynergy 2012

Security Refined Attacker may use external interfaces to manipulate vehicle Control communication between Linux and other partitions (Authorizations on higher level ) Correct scheduling to ensure real-time properties Partitioning / Isolation Infotainment and Apps e.g., Android Firewall, e.g. Secunte PU Early Realtime µos Hardware [Source: Seperation Kernel Protection Profile] 19 Copyright OpenSynergy 2012

Common Requirements Summary for Safety and Security Architecture Future Head Unit Infotainment and Apps e.g., Android Firewall Early Realtime µos Hardware Requirements System partitioning Safe communication Monitoring of components (and transition to safe/secure state) Timing and synchronization of components 20 Copyright OpenSynergy 2012

Comparability Development process similar Requirements Architecture/Design Implementation Testing against list of Requirements Evaluation assurance Levels (EAL) (Common Criteria) vs. Automotive Safety Integrity Level (ASIL) (ISO 26262) EAL describes development rigour ASIL proportional to criticality of component (severity, exposure, controllability tuple) BUT implies development rigour (by means of subsequent recommondations in development process) 21 Copyright OpenSynergy 2012

Example (Development, Design) ISO 26262 Part 6 Common Criteral, EAL 5, semiformally designed and tested 22 Copyright OpenSynergy 2012

Example 2 (Testing) Common Criteral, EAL 5, semiformally designed and tested 23 Copyright OpenSynergy 2012

Two Birds Infotainment and Apps e.g., Android Firewall Early Realtime µos Hardware Microkernel certified / certifiable according to IEC 61508 / Common Criteria SKPP AND Make Use Core Microkernel Properties (e.g., separation) for System Design 24 Copyright OpenSynergy 2012

One Stone!! Infotainment and Apps e.g., Android Firewall Early Realtime µos Hardware Microkernel certified / certifiable according to IEC 61508 / Common Criteria SKPP AND Make Use Core Microkernel Properties (e.g., separation) for System Design 25 Copyright OpenSynergy 2012

Conclusion Microkernel-based Systems address both safety and security issues Standards provide indication about level of security / safety Approach to develop safe/secure software is similar for both standards Common requirements for safety and security concerning the microkernel double insurance Integration Linux AUTOSAR Early Apps Real-time Safety Security 26 Copyright OpenSynergy 2011

OpenSynergy GmbH Rotherstraße 20 D-10245 Berlin Germany tel +49 30 / 60 98 54 0-0 fax +49 30 / 60 98 54 0-99 mail info@opensynergy.com OpenSynergy, COQOS, Qonformat and other OpenSynergy products and services mentioned herein as well as their respective logos are trademarks or registered trademarks of OpenSynergyGmbH in Germany and in several other countries all over he world. All other products and services names mentioned are the trademarks of their respective companies. These materials are subject to change without notice. These materials are provided by OpenSynergy GmbH for informational purposes only, without representation or warranty of any kind and OpenSynergy GmbH shall not be liable for errors or omissions with respect to the materials. 27 Copyright OpenSynergy 2011