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

Nyman, Ulrik (PI (principal investigator))
Nielsen, Brian (Andet)
Thi Xuan Phan, Linh (Projektdeltager)
Lee, Insup (Projektdeltager)
Legay, Axel Bernard E (Projektdeltager)
Boudjadar, Jalil (Kontaktperson)
Kim, Jin Hyun (Kontaktperson)

5 Konferenceartikel i proceeding
2 Tidsskriftartikel

2 resultater

Filter

2021
Model-based optimization of ARINC-653 partition scheduling
Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 7 feb. 2021, I: International Journal on Software Tools for Technology Transfer. 23, 5, s. 721-740 20 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
3 Citationer (Scopus)

127 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, I: Journal of Aerospace Information Systems. 16, 11
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
4 Citationer (Scopus)

174 Downloads (Pure)