论文信息 - SPEET SDL performance evaluation tool

SPEET SDL performance evaluation tool

Publisher Summary This chapter presents the tool Specification Description Language (SDL) Performance Evaluation Tool (SPEET) for the performance analysis of formally specified systems under real-time conditions. SPEET facilitates the simulation and emulation of several formal specifications at the same time. The systems to be simulated can be triggered by traffic load generators and can be interconnected with transmission links that correspond to physical channels. The user can easily define probes within the formal specifications. The data of these probes generated during simulation runs can be statistically evaluated. SPEET provides a new computer aided software engineering (CASE) oriented solution for product development using formal methods. The CASE cycle of development include object-oriented analysis using the object modeling technique (OMT), formal specification of this analysis' result in SDL, and the evaluation and verification of the implementation of formal specifications under real-time conditions on target hardware processor systems.

Matthias Lott | Martin Steppler | M. Lott | Martin Steppler

[1] Anders Olsen,et al. Systems Engineering Using SDL-92 , 1994 .

[2] J. Postel,et al. File transfer protocol (FTP) , 1985 .

[3] Vern Paxson,et al. Empirically derived analytic models of wide-area TCP connections , 1994, TNET.

[4] F. Schreiber,et al. Effective control of simulation runs by a new evaluation algorithm for correlated random sequences , 1988 .

[5] Joan L. Mitchell,et al. MPEG Video Compression Standard , 1996, Springer US.

[6] Carey Williamson,et al. A Synthetic Workload Model for Internet Mosaic Traffic , 1995 .

[7] Oliver Rose,et al. Simple and Efficient Models for Variable Bit Rate MPEG Video Traffic , 1997, Perform. Evaluation.

[8] Paul T. Brady,et al. A model for generating on-off speech patterns in two-way conversation , 1969 .

[9] Roy T. Fielding,et al. Hypertext Transfer Protocol - HTTP/1.0 , 1996, RFC.

[10] Jon Postel,et al. Telnet Protocol Specification , 1980, RFC.

[11] Jon Postel,et al. File Transfer Protocol , 1985, RFC.

[12] Jon Postel,et al. Simple Mail Transfer Protocol , 1981, RFC.

[13] Barry B. Brey,et al. Motorola Microprocessor Family: 68000, 68008, 68010, 68020, 68030, and 68040, Programming and Interfacing with Applications , 1992 .

[14] M. Hata,et al. Empirical formula for propagation loss in land mobile radio services , 1980, IEEE Transactions on Vehicular Technology.