Author:
Kim Jin Hyun,Gangadharan Deepak,Kim Kyong Hoon,Shin Insik,Lee Insup
Publisher
Springer Nature Singapore
Reference15 articles.
1. S.K. Baruah, L.E. Rosier, R.R. Howell, Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Syst. 2(4), 301–324 (1990)
2. M. Chadli, J.H. Kim, A. Legay, L.M. Traonouez, S. Naujokat, B. Steffen, K.G. Larsen, A model-based framework for the specification and analysis of hierarchical scheduling systems, in International workshop on formal methods for industrial critical systems (Springer, 2016), Cham, pp. 133–141
3. S. Chakraborty, S. Künzli, L. Thiele, A general framework for analysing system properties in platform-based embedded system designs, in Proceedings of Design Automation and Test in Europe (DATE) (2003) pp. 190–195
4. S. Chakraborty, Y. Liu, N. Stoimenov, L. Thiele, E. Wandeler, Interface-based rate analysis of embedded systems, in Proceedings of 27th IEEE Real-Time Systems Symposium (RTSS) (2006). pp. 25–34
5. A. Easwaran, M. Anand, I. Lee, Compositional analysis framework using edp resource models, in Real-Time Systems Symposium. RTSS 2007. 28th IEEE International (IEEE, 2007). pp. 129–138