Task variant - Hierarchical Scheduling of Tasks in Multi-Processor Environment (modeling and analysis)

  • Status: Closed
  • Prize: €10
  • Entries Received: 2

Contest Brief

The project will be evaluated - i.e., points for the project will be assigned - in those phases:

Phase 1 (4 pts) - completion of a short report (PDF/OpenOffice etc.) of an actual state of your project, e.g., 1-3 page A4-size document containing block schemas, flow/state charts, algorithm outline, implementation sketch and list of references covering the problem being solved. For further info such as the document submission deadline etc., see IS.
Phase 2 (14 pts) - personal presentation of the final solution functionality (functionality: 9 pts, quality: 5 pts). The solution must be submitted into IS in a single, ZIP archive file. For the final solution submission deadline, see IS.
Each of the phases must be closed by a file submission done not later than to the phase deadline !!!

For further info, contact the project leader, please.

Variant description:
The expected output (solution) of the project is:

set of models for UPPAAL SMC (plus prospective means of implementation) for i) demonstration of the functionality and ii) verification of selected properties of published principles related to the project topic,
technical report summarizing and explaining/illustrating i) the published principles and models related to the given topic, ii) the method of applying the principles/models to carry out particular experiments over selected case-studies, iii) the results of experiments.
Basic information sources:

Boudjadar A. J., David, A., Kim, J. H., Larsen, K. G., Mikucionis, M., Nyman, U., Skou, A.: Widening the Schedulability of Hierarchical Scheduling Systems. In: Formal Aspects of Component Software, Springer Int. Publ., 2015, pp. 209-227. Lecture Notes in Computer Science, Vol. 8997, ISBN 978-3-319-15316-2, DOI 10.1007/978-3-319-15317-9_14. Available from
[login to view URL]~adavid/publications/[login to view URL]
Boudjadar A. J., David, A., Kim, J. H., Larsen, K. G., Mikucionis, M., Nyman, U., Skou, A.: Schedulability and Energy Efficiency for Multi-core Hierarchical
Scheduling Systems. In: Proceedings of Embedded Real Time Systems and Software, 2014, 4 p. Available from [login to view URL]~adavid/publications/[login to view URL]
David, A., Larsen, K., Legay, A., Mikučionis, M., Poulsen, D.: Uppaal SMC tutorial. International Journal on Software Tools for Technology Transfer. Springer Berlin Heidelberg, 2015, Vol. 17, No. 4,397-415. ISSN 1433-2779, DOI 10.1007/s10009-014-0361-y. Available from
[login to view URL]

I only need phase 2

Recommended Skills

Top entries from this contest

View More Entries

Public Clarification Board

No messages yet.

How to get started with contests

  • Post your contest

    Post Your Contest Quick and easy

  • Get tons of entries

    Get Tons of Entries From around the world

  • Award the best entry

    Award the best entry Download the files - Easy!

Post a Contest Now or Join us Today!