METHOD OF ANALYZING EXTENDED FINITE-STATE MACHINE SPECIFICATIONS

被引：1

作者：

SARIKAYA, B ^{[1
]}

KOUKOULIDIS, V ^{[1
]}

BOCHMANN, GV ^{[1
]}

机构：

[1] UNIV MONTREAL,DEPT INFORMAT & RECH OPERAT,MONTREAL H3C 3J7,QUEBEC,CANADA

来源：

COMPUTER COMMUNICATIONS | 1990年 / 13卷 / 02期

基金：

加拿大自然科学与工程研究理事会;

关键词：

communication software; finite-state machine model; implementation; limited reachability; specification; symbolic execution;

D O I：

10.1016/0140-3664(90)90175-G

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Formal specifications are the basis for automated verification and implementation in communication software. The paper gives a method of dynamic analysis for modular specifications which is based on symbolic execution and reachability analysis. Symbolic execution is a technique for static analysis and applied first to the specification. It is effective in detecting syntactic and semantic errors. A form of reachability analysis, called limited reachability, is used to dynamically analyse the intermodule communication. It has two applications: combining modules and detecting any errors in intermodule communication. The technique is first applied to the specifications in a nondeterministic finite-state machine model and then applied to an extended finite-state machine model for which two standard formal description languages exist. © 1990.

引用

页码：83 / 92

页数：10

共 50 条

[1] A FINITE-STATE MACHINE APPROACH FOR MODELING AND ANALYZING RESTFUL SYSTEMS
Zuzak, Ivan
Budiselic, Ivan
Delac, Goran
[J]. JOURNAL OF WEB ENGINEERING, 2011, 10 (04): : 353 - 390
[2] Transformation of a mealy finite-state machine into a moore finite-state machine by splitting internal states
A. S. Klimovich
V. V. Solov’ev
[J]. Journal of Computer and Systems Sciences International, 2010, 49 : 900 - 908
[3] Transformation of a Mealy Finite-State Machine into a Moore Finite-State Machine by Splitting Internal States
Klimovich, A. S.
Solov'ev, V. V.
[J]. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2010, 49 (06) : 900 - 908
[4] Nanowire nanocomputer as a finite-state machine
Yao, Jun
Yan, Hao
Das, Shamik
Klemic, James F.
Ellenbogen, James C.
Lieber, Charles M.
[J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2014, 111 (07) : 2431 - 2435
[5] Finite-state machine for embedded systems
Galan, Peter
[J]. Control Engineering, 2021, 68 (10): : 27 - 30
[6] ON SUBSYSTEMS OF A FUZZY FINITE-STATE MACHINE
MALIK, DS
MORDESON, JN
SEN, MK
[J]. FUZZY SETS AND SYSTEMS, 1994, 68 (01) : 83 - 92
[7] A finite-state approach to machine translation
Bangalore, S
Riccardi, G
[J]. ASRU 2001: IEEE WORKSHOP ON AUTOMATIC SPEECH RECOGNITION AND UNDERSTANDING, CONFERENCE PROCEEDINGS, 2001, : 381 - 388
[8] A finite-state approach to machine translation
Bangalore, S
Riccardi, G
[J]. 2ND MEETING OF THE NORTH AMERICAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, PROCEEDINGS OF THE CONFERENCE, 2001, : 135 - 142
[9] Finite-State Machine Motion Controller
Jezernik, Karel
Horvat, Robert
Harnik, Joze
[J]. IEEE INDUSTRIAL ELECTRONICS MAGAZINE, 2012, 6 (03) : 13 - 23
[10] APPROACHES TO FINITE-STATE MACHINE MODELING
ODELL, J
[J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1995, 7 (08): : 14 - &

← 1 2 3 4 5 →