logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

A framework for evaluating specification methods for reactive systems - Experience report

delete1996-06-01
delete27
PRE
AI
M
Mark A. Ardis
J
John A. Chaves
L
Lalita Jategaonkar Jagadeesan
P
Peter Mataga
C
Carlos Puchol
M
M.G. Staskauskas
V
VonOlnhausen, J
DOI：10.1109/32.508312delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
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 acid comparing the different specification methods. We argue that the evaluation of a method must take into account not only academic concerns, but also the maturity of the method, its compatibility with the existing software development process and system execution environment, and its suitability for the chosen application domain.
Keywords:
formal methods
specification languages
industrial applications
technology assessment
ESTEREL
LOTOS
Modechart
SDL
VFSM
Z

Journal

IEEE Transactions on Software Engineering cover
IEEE Transactions on Software Engineering
IF:
5.6
Papers:
2.8K
Citations:
1.1W

Organization

No organization information available