Specification and timing analysis of real-time systems

Real-Time Systems

Volumn 28, Issue 1, 2004, Pages 69-90

  Wang, Shuhua ^a   Tsai, Grace ^b  

^a ROHDE AND SCHWARZ GMBH AND CO KG   (Germany)

^b FAIRLEIGH DICKINSON UNIVERSITY   (United States)

Author keywords

Allocation; Functional and timing requirements; Real time systems; Schedulability analysis; Specification

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; EMBEDDED SYSTEMS; RESOURCE ALLOCATION; SCHEDULING; SPECIFICATIONS; SYSTEMS ANALYSIS;

FORMAL DESCRIPTION TECHNIQUES (FDT); FUNCTIONAL AND TIMING REQUIREMENTS; MESSAGE SEQUENCE CHARTS (MSC); SCHEDULABILITY ANALYSIS;

REAL TIME SYSTEMS;

EID: 3142677301     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:TIME.0000033379.78994.1a     Document Type: Article

References (18)

1. Alur, R., Holzmann, G. J., and Peled, D. 1996. An analyzer for message sequence charts. In T. Margaria and B. Steffen (eds.), Tools and Algorithms for the Construction and Analysis of the Systems. Springer Verlag, pp. 35-38.
2. Álvarez, J. M., Díaz, M., et al. 1999. An analyzable execution model for SDL for embedded real-time systems. In Proceedings of the Joint 24th IFAC/IFIP Workshop on Real Time Programming and the 3rd International Workshop on Active and Real-Time Database Systems, WRTP'99 and ARTDB'99. Saarland, Germany, pp. 117-122.
3. Ben-Abdallah, H., and Leue, S. 1997. Timing constrains in message sequence chart specifications. In Proceedings of the Tenth International Conference on Formal Description Techniques. FORTE/PSTV'97. Osaka, Japan.
4. Bucci, G., Fedeli, A., and Vicario, E. 2003. Specification and simulation of real time concurrent systems using standard SDL tools. In Proceedings of 11th International SDL Forum. Stuttgart, Germany, pp. 203-217.
5. Buetow, M., Mestern, M., Schapiro, C., and Krititzinger, P. S. 1996. Performance modeling with the formal specification language SDL. In Proceedings of the 9th International Conference on Formal Description Techniques. FORTE/PSTV'96, pp. 213-228.
6. ITU-T. 1997. ITU-T Supplement 1 to Recommendation Z.100: SDL + Methodology: Manual for the use of MSC and SDL (with ASN.1).
7. ITU-T. 1999a. ITU-T Recommendation Z.100: Specification and Description Language (SDL).
8. ITU-T. 1999b. ITU-T Recommendation Z.120: Message Sequence Chart (MSC).
9. Lambert, L. 1998. PMSC for performance evaluation. In Proceedings of the 1st Workshop on Performance and Time in SDL and MSC. Erlangen, Germany, pp. 70-77.
10. Liu, C. L., and Layland, J. W. 1973. Scheduling algorithms for multiprogramming in a hard real-time environment. ACM 20(1): 46-61.
11. Roddy, D. 1995. Satellite Communications, 2nd edn. New York, USA: McGraw-Hill.
12. Slomka, F., Zant, J., and Lambert, L. 1998. Schedulability analysis of heterogenous systems for performance message sequence chart. In Proceedings of the 6th International Workshop on Hardware/Software Codesign. Seattle, USA.
13. Telelogic Malmo, Sweden 1996. SDT 3.1 Reference Manual.
14. Verilog. 1996. Object GEODE-Technical Documentation.
15. Wang, S., and Faerber, G. 2000. A new algorithm to prove the schedulability of real-time systems. Control Engineering Practice 8: 689-695.
16. Wang, S., and Halang, W. A. 2001. A heuristic allocation method für multiprocessor systems. In Proceedings of IFAC Conference on New Technologies for Computer Control. Hong Kong, China, November 2001, pp. 283-288.
17. Zheng, T., and Khendek, F. 2002. An extension for MSC-2000 and its application. In: Proceedings of the Third International Workshop on SDL and MSC (SAM2002). Aberystwyth, UK, June 2002, pp. 221-232.
18. Zheng, T., and Khendek, F. 2003. Refining timed MSCs. In Proceedings of 11th International SDL Forum. Stuttgart, Germany. July, 2003, pp. 234-250.