SPEET - SDL Performance Evaluation Tool
Authors: Steppler, Martin and Lott, Matthias
Department of Communication Networks (ComNets), Faculty 6, RWTH Aachen University
Contact: publications@comnets.rwth-aachen.de
In 8th SDL Forum '97, 1997.
Publication Date: Sep, 1997
On page(s):
ISBN:
Abstract
This paper presents a new tool, named 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, resp. to be emulated, can be triggered by traffic load generators and can be interconnected with transmission links which correspond to physical channels.
The user can easily define probes within the formal specifications. The data of these probes generated during simulation runs, resp. emulation runs, can be statistically evaluated.
SPEET provides a new Computer Aided Software Engineering (CASE) oriented solution for product development using formal methods.
Author Keywords
Bibtex
@UNPUBLISHED{StepplerLottSDL97,
AUTHOR = {Steppler, M. and Lott, M.},
TITLE = {SPEET - SDL Performance Evaluation Tool},
JOURNAL = {8th SDL Forum '97},
YEAR = {1997},
MONTH = {Sep},
VOLUME = {0},
AFFILIATION = {Department of Communication Networks (ComNets), Faculty 6, RWTH Aachen University},
ANNOTE = {CASE, SDL, Performance analysis of formal specifications, Hardware
emulation, Traffic load generators, Transmission models, Statistical
evaluatio},
URL = {https://www.comnets.rwth-aachen.de}
}