Abstract
Bridging the gap between model-based design and platform-based implementation is one of the critical challenges for embedded software systems. In the context of embedded control systems that interact with an environment, a variety of errors due to quantization, delays, and scheduling policies may generate executable code that does not faithfully implement the model-based design. In this article, we show that the performance gap between the model-level semantics of linear dynamic controllers, for example, the proportional-integral-derivative (PID) controllers and their implementation-level semantics, can be rigorously quantified if the controller implementation is executed on a predictable time-triggered architecture. Our technical approach uses lifting techniques for periodic time-varying linear systems in order to compute the exact error between the model semantics and the execution semantics. Explicitly computing the impact of the implementation on overall system performance allows us to compare and partially order different implementations with various scheduling or timing characteristics.
- Alur, R. and Chandrashekharapuram, A. 2005. Dispatch sequences for embedded control models. In Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium. 508--518. Google Scholar
Digital Library
- Alur, R. and Weiss, G. 2008. Regular specifications of resource requirements for embedded control software. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium. IEEE Computer Society, Los Alamitos, CA, 159--168. Google Scholar
Digital Library
- Alur, R., Ivancic, F., Kim, J., Lee, I., and Sokolsky, O. 2003. Generating embedded software from hierarchical hybrid models. In Proceedings of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems. 171--182. Google Scholar
Digital Library
- Antsaklis, P. and Michel, A. 1997. Linear Systems. McGraw Hill, New York, NY. Google Scholar
Digital Library
- Årzén, K.-E., Cervin, A., and Henriksson, D. 2005. Implementation-aware embedded control systems. In Handbook of Networked and Embedded Control Systems. Birkhäuser, Basel.Google Scholar
- Aström, K. and Wittenmark, B. 1997. Computer-Controlled Systems: Theory and Design. Prentice Hall, Upper Saddle River, NJ. Google Scholar
Digital Library
- Bittanti, S. and Colaneri, P. 2000. Invariant representations of discrete-time periodic systems - a survey. Automatica 36, 12, 1777--1793. Google Scholar
Digital Library
- Boyd, S. and Vandenberghe, L. 2004. Convex Optimization. Cambridge University Press. Google Scholar
Digital Library
- Buttazo, G. 1997. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Berlin. Google Scholar
Digital Library
- Caspi, P. and Maler, O. 2005. From control loops to real-time programs. In Handbook of Networked and Embedded Control Systems. Birkhäuser, Basel.Google Scholar
- Caspi, P., Curic, A., Maignan, A., Sofronis, C., and Tripakis, S. 2003. Translating discrete-time Simulink to Lustre. In Proceedings of the 3rd International Conference on Embedded Software. Lecture Notes in Computer Science, vol. 2855. Springer, Berlin, 84--99.Google Scholar
- Halbwachs, N. 1993. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, Berlin. Google Scholar
Digital Library
- Halbwachs, N., Caspi, P., Raymond, P., and Pilaud, D. 1991. The synchronous dataflow programming language Lustre. Proc. IEEE 79, 1305--1320.Google Scholar
Cross Ref
- Henriksson, D., Cervin, A., and Årzén, K.-E. 2003. TrueTime: Real-time control system simulation with MATLAB/Simulink. In Proceedings of the Nordic MATLAB Conference.Google Scholar
- Henzinger, T., Horowitz, B., and Kirsch, C. 2003. Giotto: A time-triggered language for embedded programming. Proc. IEEE 91, 1, 84--99.Google Scholar
Cross Ref
- Hur, Y., Kim, J., Lee, I., and Choi, J. 2004. Sound code generation from communicating hybrid models. In Proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 2993. Springer, Berlin, 432--447.Google Scholar
- Kopetz, H. 2000. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Berlin. Google Scholar
Digital Library
- Kopetz, H. and Bauer, G. 2003. The time triggered architecture. Proc. IEEE 91, 1, 112--126.Google Scholar
Cross Ref
- Lee, E. 2000. What’s ahead for embedded software. IEEE Comput., 18--26. Google Scholar
Digital Library
- Moler, C. and Loan, C. V. 2003. Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later. SIAM Rev. 45, 1, 3--49.Google Scholar
Digital Library
- Nghiem, T., Pappas, G. J., Alur, R., and Girard, A. 2006. Time-triggered implementations of dynamic controllers. In Proceedings of the 6th ACM & IEEE International Conference on Embedded Software. ACM, New York, NY, 2--11. Google Scholar
Digital Library
- Rugh, W. J. 1996. Linear System Theory. Prentice-Hall, Inc., Upper Saddle River, NJ.Google Scholar
- Sastry, S., Sztipanovits, J., Bajcsy, R., and Gill, H. 2003. Modeling and design of embedded software. Proc. IEEE 91, 1.Google Scholar
Cross Ref
- Seto, D., Lehoczky, J., Sha, L., and Shin, K. 1996. On task schedulability in real-time control systems. In Procedings of the IEEE Real-Time Systems Symposium. Google Scholar
Digital Library
- Van Loan, C. 1978. Computing integrals involving the matrix exponential. Automatic Control, IEEE Trans. Autom. Control 23, 3, 395--404.Google Scholar
Cross Ref
- Wulf, M. D., Doyen, L., and Raskin, J. 2004. Almost ASAP semantics: From timed models to timed implementations. In Proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 2993. Springer, Berlin, 296--310.Google Scholar
Cross Ref
- Yazarel, H., Girard, A., Pappas, G. J., and Alur, R. 2005. Quantifying the gap between embedded control models and time-triggered implementations. In Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS). 111--120. Google Scholar
Digital Library
Index Terms
Time-Triggered Implementations of Dynamic Controllers
Recommendations
Time-triggered implementations of dynamic controllers
EMSOFT '06: Proceedings of the 6th ACM & IEEE International conference on Embedded softwareBridging the gap between model-based design and platform-based implementation is one of the critical challenges for embedded software systems.In the context of embedded control systems that interact with an environment, a variety of errors due to ...
Stabilizing and Swinging-Up the Inverted Pendulum Using PI and PID Controllers Based on Reduced Linear Quadratic Regulator Tuned by PSO
The inherited instabilities in the Inverted Pendulum IP system make it one of the most difficult nonlinear problems in the control theory. In this research work, Proportional -Integral and Derivative PID Controller with a feed forward gain is used with ...
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message-Triggered Objects
COMPSAC '01: Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software DevelopmentThe time-triggered message-triggered object (TMO) programming scheme has been established to remove the limitation of conventional object programming techniques and tools in developing applications containing real-time (RT) distributed computing ...






Comments