A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

Pujie Han
, Zhengjun Zhai
, Brian Nielsen
, Ulrik Nyman

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

7 Citationer (Scopus)

314 Downloads (Pure)

7 Citationer
1 Konferenceartikel i proceeding
1 Tidsskriftartikel

2 resultater

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
7 Link åbnes på en ny fane Citationer (Scopus)

440 Downloads (Pure)
2018

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems
Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 jun. 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (red.). s. 39-51 13 s. (Electronic Proceedings in Theoretical Computer Science, Bind 272).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil

6 Link åbnes på en ny fane Citationer (Scopus)

166 Downloads (Pure)