Secured Open Source Embedded Software

Isolating components of different criticalities is a desirable feature of safety-critical systems used in the automotive industry. IoT.bzh and Kernkonzept therefore cooperated in creating a virtualization Proof-of-Concept that isolates selected components of AGL.

The purpose of this PoC is to split CAN signal processing into two virtual instances of AGL running under the control of the L4Re hypervisor.

The 1st virtual instance runs a minimal AGL realtime(preemptRT) profile and is responsible for CAN data acquisition. The 2nd virtual instance
runs a traditional AGL IVI profile and receives CAN decoded signals directly from AGL application framework through the hypervisor VIRTIO transport layer.

This talk starts by presenting the different components of the architecture used in the PoC. Then it explains how a hypervisor can be used to split AGL into multiple instances and the constrains such an architecture introduces. Finally it proposes some options and remaining work before such a solution gets production ready.

Download pdf slide [here]

A slideshow updated since the latest presentation in Karlsruhe in 2016 with a presentation of a full stack signaling stack using the Signal Composer service.

Click here

This talk presents, the motivation and options chosen by AGL to address automotive cybersecurity. Its first addresses secure functionally targeted by AGL applications security model, then exposes how we extend the model from Linux entertainment to vehicle to cloud, cluster, telematics, ...
This talk remains at the architecture level. It explains targeted security concerns and exposes proposed software architecture but does not aim at digging into specific implementation details.

Download pdf slide [here]

This talk presents options to bring a subsystem of AGL Application Framework into realtime operating systems like AutoSar Foundation, VxWorks, Zephyr, QNX.In order to bridge smaller controllers with AGL systems, current Application Framework should be skimmed down to a portable, OS-independent and realtime enabled core.
To get certified, this small realtime core should be come with 100% code coverage.
It should work on microcontrollers, or on a PREEMPT-RT patched linux. It should have a set of realtime API and communication API with the non realtime world. As an example, the presentation shows how to push CAN data to Infotainment.

 

 PDF presentation available here

After a presentation of the security framework that rules the applications, this presentation browse the effective well known use cases of applications. The use cases covered are HTML apps, QML apps, general services, audio 4A service, signal composer service, ... For each use cases are presented the software architecture, the security context, the interaction with the AGL system, the typical dialog between application, binding and services, the programming model using binding version 3 as available in AGL/FF.

 

Download [here]

 

Archived Publications

About us

Our redpesk® product: a software factory in a white box enabling you to speed up and control your embedded developments from the initial design cycle to your product end of life.

Contact information

IoT.bzh

Halles St Louis,
    rue Docteur Bodelio
56100 Lorient
02 57 62 02 47