M07 L4/Fiasco.OC - A Microkernel OS Designed for Security, Real-Time And Reliability

Printer-friendly versionPDF version
Date: 
2014-03-24
Time: 
14:30-18:00
Location / Room: 
Konferenz 1

Speakers

Hermann Härtig, Technische Universität Dresden, DE
Adam Lackorzynski, Kernkonzept GmbH, DE
Carsten Weinhold, Technische Universität Dresden, DE
Björn Döbel, Technische Universität Dresden, DE

Description

Modern embedded systems contain an increasing amount of software components with differing requirements in terms of real-time guarantees, security isolation, and reliability. In order to reduce production cost it is desirable to consolidate many such applications into a single hardware platform. Such consolidation requires an operating system that suits these differing application requirements. L4/Fiasco.OC is a microkernel operating system developed as a research project at TU Dresden and now commercially supported by Kernkonzept GmbH. The operating system has been constantly evolved for the past 15 years to accomodate real-time, security, and reliability use cases. Commercially, the microkernel is the foundation of Deutsche Telekom's SIMKo3 high-security smartphone, which was certified for German Government use in September 2013. This tutorial will give an insight into Fiasco.OC's features. Talks by Fiasco.OC developers and researchers will explore usage enarios. A hands-on session lets participants get first-hand experience in Fiasco.OC system setup and application development.

Agenda

Agenda

TimeLabelSession
14:30M07.1Session 1
00:00M07.1.1Why we need microkernels
Hermann Härtig, Technische Universität Dresden, DE

00:00M07.1.2Isolation for Security, Portability, and Real-Time
Adam Lackorzynski, Kernkonzept GmbH, DE

00:00M07.1.3Building a Secure System on top of Fiasco.OC
Carsten Weinhold, Technische Universität Dresden, DE

00:00M07.1.4Fiasco.OC for Reliability and Fault Tolerance
Björn Döbel, Technische Universität Dresden, DE

16:30M07.2Session 2
00:00M07.2.1Hands On Session (Please bring your laptop)

00:00M07.2.2Practical Introduction to running L4/Fiasco.OC

00:00M07.2.3System Setup and Application Development

Groups: