A tool for simulation and fast prototyping of embedded control systems

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 8, 2001, Pages 73-81

  Palopoli, Luigi ^a   Lipari, Giuseppe ^a   Abeni, Luca ^a   Di Natale, Marco ^a   Ancilotti, Paolo ^a   Conticelli, Fabio ^b  

^a SCUOLA SUPERIORE SANT ANNA   (Italy)

^b ABB   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17244367550     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/384196.384209     Document Type: Article

References (30)

1. L. Abeni and G. Buttazzo. Integrating multimedia applications in hard real-time systems. In Proceedings of the IEEE Real Time Systems Symposium, Madrid, Spain, December 1998.
2. K. Åstrom and B. Wittenmark. Computer Controlled Systems, (3rd ed.). Prentice Hall, 1997.
3. T. P. Baker. A stack-based allocation policy for realtime processes. In IEEE Real-Time Systems Symposium, december 1990.
4. J. Bengtsson, K. Larsen, et al. Uppal: a tool-suite for automatic verification of real-time systems. In Alur, Hentinger, and Sontag, editors, Hybrid Sytems III, Lecture notes in computer science. Springer Verlag, 1996.
5. G. Buttazzo. "HARD REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Boston, 1997.
6. A. Casile, G. Buttazzo, G. Lamastra, and G. Lipari. Simulation and tracing of hybrid task sets on distributed systems. In Real Time Computing Systems and Applications, 1998.
7. C. Daws, A. Olivero, et al. The tool kronos. In Alur, Hentinger, and Sontag, editors, Hybrid Sytems III, Lecture notes in computer science. Springer Verlag, 1996.
8. A. Deshpande, A. Gollu, and L. Semenzato. The shift programming language for dynamic networks of hybrid systems. IEEE Trans. Automatic Control special issue on Hybrid Systems, April 1998.
9. J. W. Eaton. Octave, www.octave.org.
10. J. Eker and A. Cervin. A matlab toolbox for real-time and control systems co-design. In Proc. of The Real-Time Computiong Systems and Applications, Hong Kong, China, December 1999.
11. T. Henzinger, P.-H. Ho, and H. Wong-Toi. Hytech: A model checker for hybrid systems. Software Tools for Technology Transfer, 1997.
12. L. S. J.P. Lehoczky and J. Strosnide. Enhanced periodic responsiveness in hard real-time environment. In Proc. of the IEEE Real-Time Systems Symposium, 1987.
13. N. Kim, M. Ryu, S. Hong, M. Saksena, C. Choi, and H. Shin. Visual asessment of a real-time system design: a case study on a cnc controller. In Proceedings of the IEEE Real-time Systems Symposium, 1996.
14. H. Kopetz, A. Damm, C. Koza, M. Mulazzani, W. Schwabla, C. Senft, and R. Zainlinger. Distributed fault-tolerant real-time systems: The mars approach. IEEE Micro, 9(1), February 1989.
15. E. A. Lee. Computing for embedded systems. In IEEE Instrumentation and Measurement Technology Conference, Budapest, Hungary, May 2001.
16. C. L. Liu and J. Layland. Scheduling alghorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1), 1973.
17. J. Nilsson, B. Bernhardsson, and B. Wittenmark. Some topics in real-time control. In Proc. American control conference, Philadelphia, June 1998.
18. J. Nilsson, B. Bernhardsson, and B. Wittenmark. Stochastic analysis and control of real-time systems with random time delays. Automatica, 34(1):57-64, 1998.
19. L. Palopoli, L. Abeni, F. Conticelli, M. D. Natale, and G. Buttazzo. Real-time control system analysis: an integrated approach. In Proc. of the Real-Time Systems Symposium, Orlando, Florida, December 2000.
20. L. Palopoli, F. Conticelli, and B. Allotta. Multi-level stabilizing control of nonholonomic vehicles and its multirate digital implementation. In Proc. of International Conference on Robotics and Automation, S. Francisco, USA, 2000.
21. D. Seto, J. Lehoczky, L. Sha, and K. Shin. On task schedulability in real-time control systems. In IEEE Real Time System Symposium, December 1996.
22. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE transaction on computers, 39(9), September 1990.
23. K. Shin and X. Chui. Computing time delay and its effects on real-time control systems. IEEE Transactions on Control Systems Technology, 3(2):218-224, June 1995.
24. K. Shin and H. Kim. Derivation and application of hard deadlines for real-time contol systems. IEEE Transactions on Systesms, Man and Cybernetics, 22(6):1403-1412, November/December 1992.
25. K. Shin, C. Krishna, and Y. Lee. A unified method for evaluationg real-time computer controllers and its application. IEEE Transactions on Automatic Control, AC30(4):357-366, April 1985.
26. K. Shin, C. Krishna, and Y. Lee. A unified method for evaluationg real-time computer controllers and its application. IEEE Transactions on Automatic Control, AC30(4):357-366, April 1985.
27. B. Sprunt, L. Sha, and J. P. Lehoczky. Aperiodic scheduling for hard real-time systems. The Journal of Real-Time Systems, 1989.
28. D. Stewart, R. Volpe, and P. Khosla. Design of dynamically reconfigurable real-time software using port-based objects. IEEE trans. on Software Engineering, 23(12), 1997.
29. I. Stoica, H. Abdel-Wahab, K. Jeffay, S. K. Baruah, J. E. Gehrke, and C. G. Plaxton. A proportional share resource allocation algorithm for real-time, time-shared systems. In Proceedings of the IEEE Real Time Systems Symposium, December 1996.
30. G. M. K. Thomas A. Henzinger, Benjamin Horowitz. Giotto: A time-triggered language for embedded programming. Technical report, University of California at Berkeley., 2000.