Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

Nyman, Ulrik (PI)
Nielsen, Brian (Other)
Thi Xuan Phan, Linh (Project Participant)
Lee, Insup (Project Participant)
Legay, Axel Bernard E (Project Participant)
Boudjadar, Jalil (Contact)
Kim, Jin Hyun (Contact)

5 Article in proceeding
2 Journal article

2 results

Filter

2021
Model-based optimization of ARINC-653 partition scheduling
Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 7 Feb 2021, In: International Journal on Software Tools for Technology Transfer. 23, 5, p. 721-740 20 p.
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access
File
3 Citations (Scopus)

130 Downloads (Pure)
2019
Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL
Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 Nov 2019, In: Journal of Aerospace Information Systems. 16, 11
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access
File
4 Citations (Scopus)

179 Downloads (Pure)