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
基金
加拿大自然科学与工程研究理事会;
关键词
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 - &