In relation to my research on hierarchical scheduling systems and in particular model based schedulability analysis I have also looked at schedulability of ARINC 653 systems.

I have supervised a student project Open653.

I have also published two workshop paper regarding compositional schedulability analysis of Distributed ARINC 653 systems. The two papers deal with the same analysis but present two different aspects. One presents the method and the other the case study.

Both papers were presented at the workshops by the co-author Pujie Han. The slides can be downloaded through the following links:

Comments are closed.