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, MARS slides, Uppaal Models, Model Description)
- MeTRiD 2018: A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems (DOI link, bibtex, MeTRiD slides)
Journal paper based on these two publications and new work extending it to multi-cores
- Journal of Aerospace Information Systems (2019): Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL (Journal page (open access), own-pdf)
Journal paper continuing this line of research which extends it with genetic algorithms to find optimal configurations.
- International Journal on Software Tools for Technology Transfer (2021): Model-based optimization of ARINC-653 partition scheduling (Springer link, own-pdf, Models and Code)