M01 Development of mixed-criticality systems based on system partitioning

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

Speakers

Alfons Crespo, Universidad Politécnica de Valencia, ES (Contact Alfons Crespo)
Alejandro Alonso, Universidad Politécnica de Madrid, ES (Contact Alejandro Alonso)
Jon Pérez, IK4-IKERLAN, ES (Contact Jon Pérez)

Description

Modern embedded applications typically integrate a multitude of functionalities with potentially different criticality levels into a single system. In addition, the increasing power of mono-core and multi-core processors make it possible to integrate them in a single platform. However, this implies a number of challenges, being the integration of mixed-criticality applications one of them. System partitioning emerges as a powerful alternative for dealing with these challenges. An hypervisor allows creating several virtual machines, that run with spatial and temporal isolation. Applications are assigned to partitions, according to several criteria, such as its criticality. Resources are assigned to virtual machines, to guarantee the fulfilment of applications time requirements. This approach is also valid for multi-cores. This tutorial will introduce the attendee the basic techniques in the development of partitioned high integrity embedded systems, which will be illustrated with an industrial case study. This development relies on the XtratuM hypervisor and supporting tools for validation, partitioning, and code and configuration files generation. This tutorial will benefit attendees from the industry, as it will show in a practical manner the basics in the development of partitioned embedded systems. They could have an idea on how to integrate this approach on their current practices. Attendees from the academia will get acquainted with advance development techniques and open research topics. In addition, the availability of the development framework can be the base of laboratory assignments on advanced courses.

Agenda

Agenda

TimeLabelSession
09:30M01.1Session 1
00:00M01.1.1Challenges in the development of high-integrity embedded systems
Jon Pérez, IK4-IKERLAN, ES

00:00M01.1.2Mixed criticality systems based on system partitioning
Alfons Crespo, Universidad Politécnica de Valencia, ES

00:00M01.1.3The XtratuM hypervisor
Alfons Crespo, Universidad Politécnica de Valencia, ES

11:30M01.2Session 2
00:00M01.2.1Framework for the development of mixed criticality systems
Alejandro Alonso, Universidad Politécnica de Madrid, ES

00:00M01.2.2Use case: development of a mixed-criticality embedded system; Aerospace (Alejandro) and Wind-power (Jon)
Alejandro Alonso1 and Jon Pérez2
1Universidad Politécnica de Madrid, ES; 2IK4-IKERLAN, ES

00:00M01.2.3Conclusion and future directions

Groups: