| | |
Summary: A Framework for Evaluating
Specification Methods for Reactive Systems
Experience Report
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga,
Carlos Puchol
, Mark G. Staskauskas, James Von Olnhausen
AT&T Bell Laboratories
Naperville, IL 60566-7013 (USA)
April 19, 1996
Abstract
Numerous formal specification methods for reactive systems have been
proposed in the literature. Because the significant differences between the
methods are hard to determine, choosing the best method for a particular
application can be difficult. We have applied several different methods,
including Modechart, VFSM, ESTEREL, Basic LOTOS, Z, SDL and C, to
an application problem encountered in the design of software for AT&T's
5ESS R
telephone switching system. We have developed a set of criteria
for evaluating and comparing the different specification methods. We argue
that the evaluation of a method must take into account not only academic
|
