Title :
SWSL: a synthetic workload specification language for real-time systems
Author :
Kiskis, Daniel L. ; Shin, Kang G.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
fDate :
10/1/1994 12:00:00 AM
Abstract :
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
Keywords :
distributed processing; formal specification; performance evaluation; real-time systems; specification languages; SWSL; control constructs; data flow graph; dependability measurements; distributed real-time systems; executable synthetic workload; operation level; performance; real-time systems; real-time workloads; synthetic operations; synthetic workload generator; synthetic workload specification language; Application software; Automatic control; Flow graphs; Laboratories; Libraries; NASA; Real time systems; Reluctance generators; Software engineering; Specification languages;
Journal_Title :
Software Engineering, IEEE Transactions on