This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
SWSL: A Synthetic Workload Specification Language for Real-Time Systems
October 1994 (vol. 20 no. 10)
pp. 798-811

We discuss the issues that must be addressed in the specification and generation of synthetic workloads for distributed real-time systems. We describe a synthetic workload specification language (SWSL) that defines a workload in a form that can be compiled by a synthetic workload generator (SWG) to produce an executable synthetic workload. The synthetic workload is then downloaded to the target machine and executed while performance and dependability measurements are made. SWSL defines the workload at the task level using a data flow graph, and at the operation level using control constructs and synthetic operations taken from a library. It is intended to be easy to use, flexible, and capable of creating synthetic workloads that are representative of real-time workloads. It provides a compact, parameterized notation. It supports automatic replication of objects to facilitate the specification of large workloads for distributed real-time systems. It also provides extensive support for the experimentation process.

[1] A. K. Agrawala, J. M. Mohr, and R. M. Bryant, "An approach to the workload characterization problem,"IEEE Comput., vol. 9, no. 6, pp. 18-32, June 1976.
[2] R. Baird, "APET: A versatile tool for estimating computer application performance,"Software: Practice and Experience, vol. 3, pp. 385-395, 1973.
[3] W. Bruyn, R. Jensen, D. Deskar, and P. Ward, "ESML: An extended systems modeling language based on the data flow diagram,"ACM Software Eng. Notes, vol. 13, pp. 58-67, 1988.
[4] W. Buchholz, "A synthetic job for measuring system performance,"IBM Syst. J., vol. 8, no. 4, pp. 309-318, 1969.
[5] R. M. Cohen, "Formal specifications for real-time systems," inProc. Texas Conf. Computing Syst., 1978, pp. 1.1-1.8.
[6] H. Falk, "CASE tools emerge to handle real-time systems,"Comput. Design, vol. 27, pp. 53-74, Jan. 1988.
[7] F. Feather, D. Siewiorek, and Z. Segall, "Validation of a fault-tolerant multiprocessor: Synthetic workload implementation," inProc. Int. Conf. on Distrib. Computing Syst., 1986, pp. 303-312.
[8] D. Ferrari, "Workload characterization and selection in computer performance measurement,"IEEE Comput., vol. 5, no. 4, pp. 18-24, July 1972.
[9] D. Ferrari,Computer Systems Performance Evaluation. Englewood Cliffs, NJ: Prentice-Hall, 1978.
[10] D. Ferrari, "On the foundation of artificial workload design,"Perf. Eval. Rev., pp. 8-14, Aug. 1984.
[11] H. Gomaa, "A software design method for real-time systems,"Commun. ACM, vol. 27, no. 9, pp. 938-949, Sept. 1984.
[12] D.J. Hatley and I. Pirbhai,Strategies for Real-Time System Specification, Dorset House, New York, 1987.
[13] D. L. Kiskis and K. G. Shin, "A synthetic workload for real-time systems," inProc. 7th IEEE Workshop on Real-Time Operating Syst. and Software, 1990, pp. 77-81.
[14] D. L. Kiskis, "Generation of synthetic workloads for distributed real-time computing systems," Ph.D. dissertation, Univ. of Michigan, Ann Arbor, USA, Aug. 1992.
[15] H. F. Ledgard and M. Marcotty, "A genealogy of control structures,"Commun. ACM, vol. 18, no. 11, pp. 629-639, Nov. 1975.
[16] C. D. Locke, "Generic avionic software," IBM Syst. Integration Div., DRAFT, Oct. 1988.
[17] H. C. Lucas, "Synthetic program specifications for performance evaluation," inProc. ACM Ann. Conf., 1972, pp. 1041-1058.
[18] G. A. Ludgate, B. Haley, L. Lee, and Y. N. Miles, "The use of structured analysis and design in the engineering of the TRIUMF data acquisition and analysis system,"IEEE Trans. Nucl. Sci., vol. NS-34, no. 1, pp. 157-161, Feb. 1987.
[19] Luqi, V. Berzins, and R. T. Yeh, "A prototyping language for real-time software,"IEEE Trans. Software Eng., vol. 14, pp. 1409-1423, Oct. 1988.
[20] H. G. Mendelbaum and D. Finkelman, "CASDA: Synthesized graphic design of real-time system,"IEEE Comput. Graphics and Applic., vol. 9, pp. 40-46, Jan. 1989.
[21] A. K. Mok, "The design of real-time programming systems based on process models," inProc. Real-Time Syst. Symp., 1984, pp. 5-17.
[22] J. Molini, S. Maimon, and P. Watson, "Real time distributed system studies/scenarios," inONR 3rd Ann. Workshop: Foundations of Real-Time Computing, 1990, pp. 187-209.
[23] J. J. Molini, S. K. Maimon, and P. H. Watson, "Real-time system scenarios," inProc. Real-Time Syst. Symp., 1990, pp. 214-225.
[24] A. H. Muntz and R. W. Lichota, "A requirements specification method for adaptive real-time systems," inProc. Real-Time Syst. Symp., 1991, pp. 264-273.
[25] P. W. Oman, "CASE analysis and design tools,"IEEE Software, vol. 7, pp. 37-43, May 1990.
[26] H. D. Schwetman and J. C. Brown, "An experimental study of computer system performance," inProc. ACM Ann. Conf., 1972, pp. 693-703.
[27] G. Serazzi, Ed.,Workload Characterization of Computer Systems and Computer Networks. Amsterdam, Netherlands: North-Holland, 1985.
[28] K. G. Shin, "HARTS: A distributed real-time architecture,"IEEE Comput., vol. 24, pp. 25-35, May 1991.
[29] A. Singh, "Pegasus: A controllable, interactive, workload generator for multiprocessors," M.S. thesis, Carnegie Mellon Univ., Pittsburgh, PA, USA, Dec. 1981.
[30] A. Singh and Z. Segall, "Synthetic workload generation for experimentation with multiprocessors," inProc. Int. Conf. Distrib. Computing Syst., 1982, pp. 778-785.
[31] J. A. Stankovic, "Misconceptions about real-time computing: A serious problem for next-generation systems,"IEEE Comput., vol. 21, pp. 10-19, Oct. 1988.
[32] R. E. Walters, "Benchmark techniques: A constructive approach,"Comput. J., vol. 19, no. 1, pp. 50-55, Feb. 1976.
[33] P. T. Ward and S. J. Mellor,Structured Development for Real-Time Systems. New York: Yourdon, 1985.
[34] S. M. White and J. Z. Lavi, "Embedded computer system requirements workshop,"IEEE Comput., vol. 18, no. 4, pp. 67-70, Apr. 1985.
[35] B. E. Withers, D. C. Rich, D. S. Lowman, and R. C. Buckland, "Software requirements: Guidance and control software development specification," NASA Contractor Rep. 182058, Research Triangle Inst., Durham, NC, USA, June 1990.
[36] D. C. Wood and E. H. Forman, "Throughput measurement using a synthetic job stream," inAFIPS Fall Joint Comput. Conf., vol. 39, pp. 51-55, Nov. 1971.
[37] M. H. Woodbury, "Workload characterization of real-time computing systems," Ph.D. dissertation, Univ. of Michigan, Ann Arbor, USA, Aug. 1988.

Index Terms:
specification languages; formal specification; distributed processing; real-time systems; performance evaluation; SWSL; synthetic workload specification language; real-time systems; distributed real-time systems; synthetic workload generator; executable synthetic workload; performance; dependability measurements; data flow graph; operation level; control constructs; synthetic operations; real-time workloads
Citation:
D.L. Kiskis, K.G. Shin, "SWSL: A Synthetic Workload Specification Language for Real-Time Systems," IEEE Transactions on Software Engineering, vol. 20, no. 10, pp. 798-811, Oct. 1994, doi:10.1109/32.328992
Usage of this product signifies your acceptance of the Terms of Use.