Task variant - Hierarchical Scheduling of Tasks in Multi-Processor Environment (modeling and analysis)
- Durum: Closed
- Ödül: €10
- Alınan Girdiler: 2
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.
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