Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Framework for Evaluating Specification Methods for Reactive Systems

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
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
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


Source: Ardis, Mark - School of Systems and Enterprises, Stevens Institute of Technology


Collections: Computer Technologies and Information Sciences