Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

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

Research output: Contribution to journal › Journal article › Research › peer-review

4 Citations (Scopus)
180 Downloads (Pure)
  • 4 Citations
  • 2 Article in proceeding
Filter
Article in proceeding

Search results

  • 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. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    6 Citations (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. (eds.). EPTCS, Vol. 268. p. 150-168 19 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    6 Citations (Scopus)
    169 Downloads (Pure)