Specifying input port bounds in SDL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4745 LNCS, Issue , 2007, Pages 101-116

  Gotzhein, Reinhard ^a   Grammes, Rüdiger ^a   Kuhn, Thomas ^a  

^a University of Koblenz Landau   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; WIRELESS SENSOR NETWORKS;

CONVENIENT PROPERTIES; DESIGN LEVELS; DISTRIBUTED EMBEDDED SYSTEM; DYNAMIC SEMANTIC; HARDWARE PLATFORM; INPUT PORT; STORAGE CONSTRAINTS; UPPER BOUND;

EMBEDDED SYSTEMS;

EID: 38149012333     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74984-4_7     Document Type: Conference Paper

References (12)

1. Book, M., Beydeda, S., Gruhn, V.(eds.): Model-driven Software Development. Springer, Heidelberg (2005)
2. ITU-T: Specification and Description Language(SDL). ITU-T Recommendation Z.100. International Telecommunications Union (August 2002)
3. 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, pp. 4-8 (2007)
4. Telelogic AB: (Telelogic Tau Generation 1), www.telelogic.com/products/ tau/index.cfm
5. Walsh, G.C., Ye, H., Bushnell, L.: Stability Analysis of Networked Control Systems. IEEE Transactions of Control Systems Technology 10, 438-445 (2002)
6. 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)
7. ITU-T: SDL formal definition: Dynamic semantics. ITU-T Recommendation Z.100 Annex F3 International Telecommunications Union (November 2000)
8. Wasowski, A.: On Efficient Program Synthesis from Statecharts. ACM SIGPLAN Notices 38, 163-170 (2003)
9. Sidorova, N., Steffen, M.: Embedding chaos. In: Cousot, P. (ed.) SAS 2001. LNCS, vol. 2126, pp. 319-334. Springer, Heidelberg (2001)
10. ITU-T: SDL formal definition: General overview. ITU-T Recommendation Z.100 Annex F3 International Telecommunications Union (November 2000)
11. Telelogic AB: (Telelogic Tau Generation 2), www.telelogic.com/products/ tau/g2/index.cfm
12. 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)