Model-driven development of time-critical protocols with SDL-MDD

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

Volumn 5719 LNCS, Issue , 2009, Pages 34-52

  Becker, Philipp ^a   Christmann, Dennis ^a   Gotzhein, Reinhard ^a  

^a Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

Author keywords

Black burst; Cooperative arbitrating transfer protocol; MacZ; SDL; SDL MDD

Indexed keywords

BLACK BURST; CONTENTION-BASED; CRITICAL BEHAVIOR; EXECUTION ENVIRONMENTS; HIGH-LEVEL DESIGN; MEDIUM ACCESS; MODEL DRIVEN DEVELOPMENT; SDL; TIME-CRITICAL PROTOCOL; TRANSFER PROTOCOL;

DESIGN; HIGH LEVEL LANGUAGES; LINGUISTICS; NETWORK PROTOCOLS; QUERY LANGUAGES; SYSTEMS ANALYSIS;

WIRELESS NETWORKS;

EID: 70549088188     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04554-7_3     Document Type: Conference Paper

References (15)

1. Christmann, D., Gotzhein, R., Kuhn, T.: Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks. In: Proceedings of Workshops on Mobile Ad-Hoc Networks (WMAN 2009), Kassel, Germany (2009)
2. International Telecommunications Union: Recommendation Z.100 (11/07), Specification and Description Language (SDL), http://www.itu.int/rec/T-REC-Z. 100/en
3. Kuhn, T., Gotzhein, R., Webel, C: Model-Driven Development with SDL - Process, Tools, and Experiences. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 83-97. Springer, Heidelberg (2006)
4. Gotzhein, R.: Model-driven with SDL - Improving the Quality of Networked Systems Development (Invited Paper). In: Proceedings of the 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), pp. 31-46 (2007)
5. Mohsen, A., Hofmann, R.: Efficient Voltage Scheduling and Energy-aware Cosynthesis for Real-time Embedded Systems. In: Srikanthan, T., Xue, J., Chang, C.-H. (eds.) ACSAC 2005. LNCS, vol. 3740, pp. 3-14. Springer, Heidelberg (2005)
6. IBM® Rational®, S.D.L.: Suite™, http://www.ibm.com/ software/awdtools/sdlsuite/
7. PRAGMADEV: PragmaDev - real time development tools, http://www.pragmadev. com/
8. 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. 216-228. Springer, Heidelberg (2006)
9. Mitschele-Thiel, A.: Systems Engineering with SDL. Wiley, Chichester (2001)
10. Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice-Hall, Englewood Cliffs (1993)
11. Sanders, R.: Implementing from SDL. Telektronikk 4.2000, Languages for Telecommunication Applications. Telenor (2000)
12. Gotzhein, R., Kuhn, T.: Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks using Black Bursts. In: SECON, pp. 422-431. IEEE, Los Alamitos (2008)
13. Miller, J., Mukerji, J. (eds.): Object Management Group (OMG), MDA Guide Version 1.0.1, http://www.omg.org/docs/omg/03-06-01.pdf
14. International Telecommunications Union: Recommendation Z.120 (04/04), Message sequence chart (MSC), http://www.itu.int/rec/T-REC-Z.120/en
15. Gotzhein, R., Khendek, F., Schaible, P.: Micro Protocol Design - The SNMP Case Study. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 61-73. Springer, Heidelberg (2003)