Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman, Martin Kristjansen

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

4 Citationer (Scopus)
174 Downloads (Pure)
  • 4 Citationer
  • 2 Konferenceartikel i proceeding
Filter
Konferenceartikel i proceeding

Søgeresultater

  • 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 Citationer (Scopus)
    122 Downloads (Pure)

  • A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

    Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 27 mar. 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (red.). EPTCS, Bind 268. s. 150-168 19 s. (Electronic Proceedings in Theoretical Computer Science).

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

    Åben adgang
    Fil
    6 Citationer (Scopus)
    168 Downloads (Pure)