Preemptively scheduling hard-real-time sporadic tasks on one processor, [1990] Proceedings 11th Real-Time Systems Symposium, pp.182-190, 1990. ,
DOI : 10.1109/REAL.1990.128746
Towards hierarchical scheduling in VxWorks, OSPERT 2008, pp.63-72 ,
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal, Proceedings of FACS 2013, 2013. ,
DOI : 10.1007/978-3-319-07602-7_6
URL : http://vbn.aau.dk/ws/files/209588960/ownFACS2013.pdf
Widening the Schedulability of Hierarchical Scheduling Systems, FACS 2014, pp.209-227, 2014. ,
DOI : 10.1007/978-3-319-15317-9_14
Compositional Verification for Hierarchical Scheduling of Real-Time Systems, IEEE Transactions on Software Engineering, vol.39, issue.5, pp.638-657, 2013. ,
DOI : 10.1109/TSE.2012.54
The Impressive Power of Stopwatches, Lecture Notes in Computer Science, vol.1877, pp.138-152, 2000. ,
DOI : 10.1007/3-540-44618-4_12
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking, LNCS, vol.7610, issue.2, pp.293-307, 2012. ,
DOI : 10.1007/978-3-642-34032-1_28
Compositional Analysis Framework Using EDP Resource Models, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), pp.129-138, 2007. ,
DOI : 10.1109/RTSS.2007.36
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.173.1383
Improving resource utilization for compositional scheduling using DPRM interfaces, ACM SIGBED Review, vol.8, issue.1, pp.38-45, 2011. ,
DOI : 10.1145/1967021.1967026
Edzl schedulability analysis in real-time multicore scheduling. Software Engineering, IEEE Transactions on, vol.39, issue.7, pp.910-916, 2013. ,
A methodology for designing hierarchical scheduling systems, J. Embedded Comput, vol.1, issue.2, pp.257-269, 2005. ,
An Efficient Hierarchical Scheduling Framework for the Automotive Domain, Real-Time Systems, Architecture, Scheduling, and Application, pp.67-94, 2012. ,
DOI : 10.5772/38266
Improving schedulability of fixed-priority real-time systems using shapers, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.217-226, 2013. ,
DOI : 10.1109/RTAS.2013.6531094
CARTS, ACM SIGBED Review, vol.8, issue.1, pp.62-63, 2011. ,
DOI : 10.1145/1967021.1967029
Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors, 2008 Euromicro Conference on Real-Time Systems, pp.181-190, 2008. ,
DOI : 10.1109/ECRTS.2008.28
Periodic resource model for compositional real-time guarantees, RTSS'03, pp.2-13, 2003. ,
Compositional real-time scheduling framework with periodic model, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, 2008. ,
DOI : 10.1145/1347375.1347383