Abstract
This presentation aims to discuss the needs for better and more solid foundations of model-based development in embedded control systems. Three particular points are discussed: a comparison between model-based development in controi and in computer sciences, the need for a sampling theory of discrete event systems and the need for precise implementation methods based on preemptive scheduling.
Keywords
Verimag-CNRS
Download to read the full chapter text
Chapter PDF
REFERENCES
Abrial, J.-R. (1995). The B-Book. Cambridge University Press.
Caspi, P. and Maler, O. (2005). From control loops to real-time programs. In Hristu, D. and Levine, W., editors, Handbook of Networked and Embedded Computing Systems. Birkhguser.
Caspi, P., Mazuet, C., Salem, R., and Weber, D. (1999). Formal design of distributed control systems with Lustre. In Proc. Safecomp’99, volume 1698 of Lecture Notes in Computer Science. Springer Verlag.
Henzinger, T. A., Horowitz, B., and Kirsch, Ch. M.(2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE, 91:84–99.
Kopetz, H. (1997). Real-Time Systems Design Principles for Distributed Embedded Applications. Kluwer.
Scaife, N. and Caspi, P. (2004). Integrating model-based design and preemptive scheduling in mixed time-and event-triggered systems. In Pushner, P., editor, Euromicro Conference on Real-Time Systems, ECRTSO4.
Traverse, P., Lacaze, I., and Souyris, J. (2004). Airbus fly-by-wire: A total approach to dependability. In IFIP World Congress, Toulouse. IFIP.
Wensley, J.H., Lamport, L., Goldberg, J., Green, M.W., Lewitt, K.N., Melliar-Smith, P.M., Shostak, R.E, and Weinstock, Ch.B. (1978). SIFT: Design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10):1240–1255.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Caspi, P. (2006). Some Issues in Model-Based Development for Embedded Control Systems. In: Kleinjohann, B., Kleinjohann, L., Machado, R.J., Pereira, C.E., Thiagarajan, P.S. (eds) From Model-Driven Design to Resource Management for Distributed Embedded Systems. DIPES 2006. IFIP International Federation for Information Processing, vol 225. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-39362-9_2
Download citation
DOI: https://doi.org/10.1007/978-0-387-39362-9_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-39361-2
Online ISBN: 978-0-387-39362-9
eBook Packages: Computer ScienceComputer Science (R0)