Lehrstuhl für Kommunikationsnetze der RWTH AachenRWTH Aachen University
space
  Sie befinden sich hier:ComNets® > Publikationen > Gesamtlisten > 1997 > StepplerLottSDL97 >  PDF-Version   Suche



space
 

SPEET - SDL Performance Evaluation Tool

Authors
Steppler, Martin and Lott, Matthias
Department of Communication Networks (ComNets), Faculty 6, RWTH Aachen University Kontakt: 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
Download
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             = {http://www.comnets.rwth-aachen.de} 
}
Letzte Änderung: 13.05.2008 11.32