M01 Development of mixed-criticality systems based on system partitioning

Printer-friendly versionPDF version

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: