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.
- MARS 2018: A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems (DOI link, bibtex)
- MeTRiD 2018: A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems (DOI link, bibtex)
Both papers were presented at the workshops by the co-author Pujie Han. The slides can be downloaded through the following links: