Regular specifications of resource requirements for embedded control software

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn , Issue , 2008, Pages 159-168

  Alur, Rajeev ^a   Weiss, Gera ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED TECHNOLOGY; SAMPLING INTERVALS; SCHEDULABILITY ANALYSIS;

COMPUTER NETWORKS; EMBEDDED SYSTEMS; LINEAR CONTROL SYSTEMS; RESOURCE ALLOCATION; ROBOTS; SCHEDULING; THEOREM PROVING; TRANSLATION (LANGUAGES);

CONTROL SYSTEMS;

EID: 51249112608     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2008.13     Document Type: Conference Paper

References (25)

1. Y. Abdeddaïm and O. Maler. Job-shop scheduling using timed automata. In proc. of 13th Conf. on Computer Aided Verification (CAV), pages 478-492, 2001.
2. M. Anand, S. Fischmeister and I. Lee. Composition Techniques for Tree Communication Schedules In 19th Euromicro Conference on Real-Time Systems (ECRTS), 2007.
3. S.K. Baruah. A general model for recurring real-time tasks. In Proceedings of the 19th IEEE Real-Time Systems Symposium, pages 114-122, 1998.
4. G.C. Buttazo. Hard real-time computing systems: Predictable scheduling algorithms and applications. Kluwer Academic Publishers, 1997.
5. L. de Alfaro and T.A. Henzinger. Interface automata. In Proc. of the 9th symp. on Foundations of Software Engineering (FSE), pages 109-120. ACM Press, 2001.
6. Z. Deng and J. Liu. Scheduling real-time applications in an open environment. In Proceedings of the 18th IEEE Real-Time Systems Symposium, pages 308-319, 1997.
7. C.C Han, K.J. Lin and C.J. Hou. Distance-constrained scheduling and its applications to real-time systems. In IEEE Trans. Comput., 45(7):814826, 1996.
8. T.A. Henzinger, B. Horowitz, and C.M. Kirsch. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE, 91(1):84-99, 2003.
9. H. Kopetz and G. Bauer. The time triggered architecture. Proceedings of the IEEE, 91(1): 112-126, 2003.
10. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 2000.
11. D. Liberzon. Switching in systems and control. Birkhäuser, 2003.
12. C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1), 1973.
13. N.A. Lynch, R. Segala, and F.W. Vaandrager. Hybrid I/O automata. Information and Computation, 185(1):105-157, 2003.
14. A.K. Mok and A.X. Feng. Towards compositionality in realtime resource partitioning based on regularity bounds. In Proceedings of the 22nd IEEE Real-Time Systems Symposium, pages 129-138, 2001.
15. Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems: Specification. Springer-verlag, 1991.
16. J. Nilsson, Real-time control systems with delays, Ph.D. Thesis, Lund Institute of Technology, 1998.
17. T. Nghiem, G.J. Pappas, A. Girard, and R. Alur. Timetriggered implementations of dynamic controllers. In Proceedings of the 6th Annual ACM Conference on Embedded Software (EMSOFT), pages 2-11, 2006.
18. P. Pop, P. Eles, and Z. Peng. Schedulability analysis for systems with data and control dependencies. In Euromicro Conference on Real-Time Systems, pages 201-208, 2000.
19. J. Regehr and J.A. Stankovic. HLS: A framework for composing soft real-time schedulers. In Proceedings of the 22nd IEEE Real-Time Systems Symposium, pages 3-14, 2001.
20. I. Shin and I. Lee. Compsitional real-time scheduling framework. In Proceedings of the 25th IEEE Real-Time Systems Symposium, pages 57-67, 2004.
21. E.D. Sontag. Mathematical control theory: Deterministic finite-dimensional systems, volume 6 of Texts in Applied Mathematics. Springer, 1998. Second Edition.
22. W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 133-191. Elsevier Science Publishers, 1990.
23. M.Y. Vardi and P. Wolper. Reasoning about infinite computations. Information and Computation, 115(1):1-37, 1994.
24. G. Weiss and R. Alur. Automata based interfaces for control and scheduling. In Proc. 10th Int. Workshop on Hybrid Systems: Computation and Control, LNCS 4416, pages 601-613. Springer, 2007.
25. http://www.mathworks.com/products/matlab/