Abstract
Hybrid Lustre is a formal modeling language for a mixed discrete-continuous system extended from Lustre. Lustre is a data-flow based synchronous language widely used in development of real-time embedded systems. While Luster lacks of a mechanism for modeling continuous behavior of physical processes which are controlled by digital controllers, Hybrid Lustre is proposed as an extension of Lustre to accommodate continuous behaviors in between discrete transitions. The continuous state change can be specified by ordinary differential equations. The syntax and the semantics of Hybrid Lustre are formally described, thus to support verifying the correctness of models of mixed discrete-continuous systems. It is successfully used in development of new generation Communication Based Zone Controller of Casco Signal LTD.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Boussinot, F., De Simone, R.: The esterel language. Proc. IEEE 79(9), 1293–1304 (1991)
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language lustre. Proc. IEEE 79(9), 1305–1320 (1991)
LeGuernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with signal. Proc. IEEE 79(9), 1321–1336 (1991)
Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., De Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64–83 (2003)
Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)
Chen, M., Qin, X., Koo, H., Mishra, P.: System-Level Validation: High-Level Modeling and Directed Test Generation Techniques. Springer, Heidelberg (2013)
Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying real-time systems by means of the synchronous data-flow language lustre. IEEE Trans. Softw. Eng. 18(9), 785–793 (1992)
Gu, H., Hang, H., Lv, Q., Grunwald, D.: Fusing text and frienships for location inference in online social networks. In: IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology (WI-IAT), vol. 1, pp. 158–165. IEEE (2012)
Gu, H., Xie, X., Lv, Q., Ruan, Y., Shang, L.: Etree: effective and efficient event modeling for real-time online social media networks. In: 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), vol. 1, pp. 300–307. IEEE (2011)
Henzinger, T.A.: The theory of hybrid automata. In: Inan, M.K., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems. Springer, Heidelberg (2000)
Bauer, K.: A new modelling language for cyber-physical systems. Ph.D. Dissertation, TU Kaiserslautern (2012)
André, C., Mallet, F.: Clock constraints in UML/marte CCSL (2008)
Halbwachs, N., Raymond, P.: A Tutorial of Lustre. IMAG, Grenoble (1993)
Ptolemaeus, C.: System Design, Modeling, and Simulation: Using Ptolemy II. Ptolemy. org, Berkeley (2014)
Benveniste, A., Bourkey, T., Caillaud, B., Pouzet, M.: A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. In: 2011 Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 137–148. IEEE (2011)
Bourke, T., Pouzet, M.: Zélus: a synchronous language with odes. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, pp. 113–118. ACM (2013)
Acknowledgment
Thanks the reviewers for their valuable comments. This paper is partially supported by the projects funded by the NSFC Trustworthy Software Track 91318301, NSFC Creative Team 61321064, NSFC Key Project 61332008 and NSFC 61170084. The Shanghai Trustworthy Computing Key Lab is supported by Shanghai Knowledge Service Platform ZF 1213. The third author is supported by NSFC 91418203 and Shanghai Project (No. 14511100400).
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Yuan, Z., Zhou, T., Liu, J., Luo, J., Zhang, Y., Chen, X. (2016). Hybrid Lustre. In: Mazzara, M., Voronkov, A. (eds) Perspectives of System Informatics. PSI 2015. Lecture Notes in Computer Science(), vol 9609. Springer, Cham. https://doi.org/10.1007/978-3-319-41579-6_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-41579-6_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-41578-9
Online ISBN: 978-3-319-41579-6
eBook Packages: Computer ScienceComputer Science (R0)