Uniprocessor EDF scheduling of AVR task systems

ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015

Volumn , Issue , 2015, Pages 159-168

  Guo, Zhishan ^a   Baruah, Sanjoy K ^a  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; SCHEDULING; SCHEDULING ALGORITHMS;

ANALYSIS TECHNIQUES; EARLIEST DEADLINE FIRST SCHEDULING; EDF SCHEDULING; FIXED PRIORITY SCHEDULING; REAL - TIME SCHEDULING; SCHEDULABILITY; SPEED-UP FACTORS; TASK MODELING;

RESPONSE TIME (COMPUTER SYSTEMS);

EID: 84954098699     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2735960.2735976     Document Type: Conference Paper

References (25)

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
2. S. Baruah and Z. Guo. Mixed-criticality scheduling upon varying-speed processors. In Proceedings of the 34th IEEE Real-Time Systems Symposium (RTSS'13), 2013.
3. S. Baruah and Z. Guo. Scheduling mixed-criticality implicit-deadline sporadic task systems upon a varying-speed processor. In Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS'14), 2014.
4. S. Baruah, R. Howell, and L. Rosier. Feasibility problems for recurring tasks on one processor. Theoretical Computer Science, 118(1):3-20, 1993.
5. S. K. Baruah, D. Chen, S. Gorinsky, and A. K. Mok. Generalized multiframe tasks. Real-Time Systems, 17(1):5-22, 1999.
6. A. Bastoni, B. Brandenburg, and J. Anderson. Cache-related preemption and migration delays: Empirical approximation and impact on schedulability. In Proceedings of the 6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT'10), 2010.
7. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Uppaal - A Tool Suite for Automatic Verification of Real-Time Systems. In Proceedings of the Workshop on Verification and Control of Hybrid Systems III, pages 232-243, 1995.
8. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270-1282, 1991.
9. A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64-83, 2003.
10. A. Biondi, A. Melani, M. Marinoni, M. Di Natale, and G. Buttazzo. Exact analysis of adaptive variable-rate tasks under fixed-priority scheduling. In Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS'14), 2014.
11. G. Buttazzo, E. Bini, and D. Buttle. Rate-adaptive tasks: Model, analysis, and design issues. In Proceedings of the International Conference on Design, Automation and Test in Europe (DATE'14), 2014.
12. D. Buttle. Real-time in the prime-time. In Keynote speech given at the 24th Euromicro Conference on Real-Time Systems (ECRTS'12), 2012.
13. R. I. Davis, T. Feld, V. Pollex, and F. Slomka. Schedulability tests for tasks with variable rate-dependent behaviour under fixed priority scheduling. In Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'14), 2014.
14. N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Publisherss, 1993.
15. K. Jeffay and D. Bennett. A rate-based execution abstraction for multimedia computing. In Proceedings of the 5th International Workshop on Network and Operating System Support for Digital Audio and Video, 1995.
16. K. Jeffay and S. Goddard. A theory of rate-based execution. In Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS'99), pages 304-314, 1999.
17. J. Kim, K. Lakshmanan, and R. Rajkumar. Rhythmic tasks: A new task model with continually varying periods for cyber-physical systems. In Proceedings of the 3rd IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS'12), pages 28-38, 2012.
18. C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1):46-61, 1973.
19. A. K. Mok. Fundamental Design Problems of Distributed Systems for The Hard-Real-Time Environment. PhD thesis, Massachusetts Institute of Technology, 1983.
20. A. K. Mok and D. Chen. A multiframe model for real-time tasks. IEEE Transactions on Software Engineering, 23(10):635-645, 1997.
21. V. Pollex, T. Feld, F. Slomka, U. Margull, R. Mader, and G. Wirrer. Sufficient real-time analysis for an engine control unit. In Proceedings of the 21st International Conference on Real-Time and Networked Systems (RTNS'13), pages 247-254, 2013.
22. V. Pollex, T. Feld, F. Slomka, U. Margull, R. Mader, and G. Wirrer. Sufficient real-time analysis for an engine control unit with constant angular velocities. In Proceedings of the International Conference on Design, Automation and Test in Europe (DATE'13), pages 1335-1338, 2013.
23. M. Stigge, P. Ekberg, N. Guan, and W. Yi. The digraph real-time task model. In Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'11), pages 71-80, 2011.
24. M. Stigge, P. Ekberg, N. Guan, and W. Yi. On the tractability of digraph-based task models. In Proceedings of the 22th Euromicro Conference on Real-Time Systems (ECRTS'11), pages 162-171, 2011.
25. D. Vivien. Lexus LFA instruments. Evo magazine, page 202, 2013.