Abstract
According to the SDL semantics, input ports “may retain any number of input signals”, and therefore may grow without upper bound. While this is a convenient property on design level, it may lead to illegal behaviour on concrete hardware platforms when a queue overflow occurs, especially in the context of distributed embedded systems with severe storage constraints. In this paper, we present a straightforward extension of SDL in order to specify input port bounds formally. In our solution, bounds are associated with signals and input ports. We define both the concrete and abstract grammar and the formal dynamic semantics of the proposed SDL extension. We have implemented the extension in Cmicro, and illustrate our solution by examples from the Assisted Bicycle Trainer, a wireless sensor network.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Book, M., Beydeda, S., Gruhn, V.: Model-driven Software Development. Springer, Heidelberg (2005)
ITU-T: Specification and Description Language(SDL). ITU-T Recommendation Z.100. International Telecommunications Union (August 2002)
Gotzhein, R.: Model-driven by SDL - Improving the Quality of Networked Systems Development (Invited Paper). In: (NOTERE 2007). 7th International Conference on New Technologies of Distributed Systems, Marrakesh, Morocco, June 4-8, 2007 (2007)
Telelogic AB: (Telelogic Tau Generation 1), www.telelogic.com/products/tau/index.cfm
Walsh, G.C., Ye, H., Bushnell, L.: Stability Analysis of Networked Control Systems. IEEE Transactions of Control Systems Technology 10, 438–445 (2002)
Grammes, R.: Formal Operations for SDL Language Profiles. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 49–63. Springer, Heidelberg (2006)
ITU-T: SDL formal definition: Dynamic semantics. ITU-T Recommendation Z.100 Annex F3 International Telecommunications Union (November 2000)
Wasowski, A.: On Efficient Program Synthesis from Statecharts. ACM SIGPLAN Notices 38, 163–170 (2003)
Sidorova, N., Steffen, M.: Embedding chaos. In: Cousot, P. (ed.) SAS 2001. LNCS, vol. 2126, pp. 319–334. Springer, Heidelberg (2001)
ITU-T: SDL formal definition: General overview. ITU-T Recommendation Z.100 Annex F3 International Telecommunications Union (November 2000)
Telelogic AB: (Telelogic Tau Generation 2), www.telelogic.com/products/tau/g2/index.cfm
Fliege, I., Grammes, R., Weber, C.: ConTraST - A Configurable SDL Transpiler And Runtime Environment. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 222–234. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gotzhein, R., Grammes, R., Kuhn, T. (2007). Specifying Input Port Bounds in SDL. In: Gaudin, E., Najm, E., Reed, R. (eds) SDL 2007: Design for Dependable Systems. SDL 2007. Lecture Notes in Computer Science, vol 4745. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74984-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-74984-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74983-7
Online ISBN: 978-3-540-74984-4
eBook Packages: Computer ScienceComputer Science (R0)