Priority scheduling in SDL

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

Volumn 7083 LNCS, Issue , 2011, Pages 202-217

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

^a France   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL DRIVEN DEVELOPMENT; PRIORITY SCHEDULING; PRIORITY-BASED SCHEDULING; RUNTIME ENVIRONMENTS; RUNTIMES; SCHEDULING POLICIES; SDL;

REAL TIME SYSTEMS; SEMANTICS; SENSOR NODES; SYSTEMS ANALYSIS;

SCHEDULING;

EID: 83755196745     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-25264-8_16     Document Type: Conference Paper

References (20)

1. Kopetz, H.: Real-Time Systems - Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)
2. International Telecommunication Union (ITU): ITU-T Recommendation Z.100 (11/2007): Specification and Description Language (SDL) (2007)
3. 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)
4. Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice Hall, Englewood Cliffs (1993)
5. Mitschele-Thiel, A.: Engineering with SDL - Developing Performance-Critical Communication Systems. John Wiley & Sons, Chichester (2000)
6. Sanders, R.: Implementing from SDL. In: Telektronikk 4.2000, Languages for Telecommunication Applications, Telenor (2000)
7. Leblanc, P., Ek, A., Hjelm, T.: Telelogic SDL and MSC tool families. In: Telektronikk 4.2000, Languages for Telecommunication Applications, Telenor (2000)
8. IBM: Rational SDL Suite (2011), http://www-01.ibm.com/software/awdtools/ sdlsuite/
9. Álvarez, J.M., Díaz, M., Llopis, L., Pimentel, E., Troya, J.M.: Integrating Schedulability Analysis and Design Techniques in SDL. Real-Time Systems 24(3), 267-302 (2003)
10. Pragmadev: Real time developer studio (2011), http://www.pragmadev.com/
11. Bozga, M., Graf, S., Mounier, L., Ober, I., Roux, J.-L., Vincent, D.: Timed Extensions for SDL. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 223-240. Springer, Heidelberg (2001)
12. Diefenbruch, M., Hintelmann, J., Müller-Clostermann, B.: QUEST Performance Evalution of SDL System. In: Irmscher, K., Mittasch, C., Richter, K. (eds.) MMB (Kurzbeiträge), TU Bergakademie Freiberg, pp. 126-132 (1997)
13. Ober, I., Kerbrat, A.: Verification of Quantitative Temporal Properties of SDL Specifications. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 182-202. Springer, Heidelberg (2001) (Pubitemid 33303668)
14. Kolloch, T., Färber, G.: Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study. In: Müller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol. 1474, pp. 156-165. Springer, Heidelberg (1998) (Pubitemid 128143102)
15. Christmann, D.: Spezifikation und automatisierte Implementierung zeitkritischer Systeme mit TC-SDL. Master's thesis, TU Kaiserslautern (2010)
16. Stankovic, J.A., Ramamritham, K.: Hard Real-Time Systems, Tutorial. IEEE Computer Society Press, Los Alamitos (1988)
17. Jeffay, K., Stanat, D.F., Martel, C.U.: On Non-Preemptive Scheduling of Periodic and Sporadic Tasks. In: IEEE Real-Time Systems Symposium, pp. 129-139 (1991)
18. Fliege, I.: Component-based Development of Communication Systems. PhD thesis, University of Kaiserslautern (2009)
19. Gotzhein, R.: Model-driven with SDL - Improving the Quality of Networked Systems Development. In: Proc. of the 7th Int. Conf. on New Technologies of Distributed Systems (NOTERE 2007), Marrakesh, Morocco, pp. 31-46 (2007)
20. Memsic: Imote 2 datasheet (2011), http://www.memsic.com/support/ documentation/wireless-sensor-networks/category/7-datasheets.html?download=134