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.

Journal paper based on these two publications and new work extending it to multi-cores

Journal paper continuing this line of research which extends it with genetic algorithms to find optimal configurations.

Comments are closed.