Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


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

  

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

 

Collections: Computer Technologies and Information Sciences