Browse > Article
http://dx.doi.org/10.6109/jkiice.2007.11.5.1029

Hierarchical Verification Methodology of Discrete Event Systems  

Song, Hae-Sang (서원대학교 컴퓨터정보통신학부)
Lee, Wan-Bok (공주대학교 게임디자인학과)
Publication Information
Journal of the Korea Institute of Information and Communication Engineering / v.11, no.5, 2007 , pp. 1029-1036 More about this Journal
Abstract
State explosion is a well-known problem that impedes analysis md testing of discrete event systems, thus making the verification of large systems intrinsically difficult job. This paper suggests a hierarchical verification methodology of untimed DEVS model which can alleviate the state explosion problem. The method is a repetitive procedure of designing and verifying between the upper level and the lower level models abstracting away the unnecessary information with respect to a given verification task. A small example was employed to show our suggested method in detail.
Keywords
DEVS;
Citations & Related Records
연도 인용수 순위
  • Reference
1 G. P. Hong md T. G. Kim, 'A Framework for Verifying Disc-ete Event Models within a DEVS-based System Development Methodology,' Trans. Society for Computer Simulation International, vol. 13, pp. 19-34, 1996
2 K.J. Hong and T.G. Kim, 'DEVSpecL-DEVS Specification Language for Modeling, Simulation and Analysis of Discrete Event Systems,' Information and Software Technology pp.221-234, vol. 48, No.4, 2006   DOI   ScienceOn
3 C. Thomas, H. Luckhoff, and T.G. Kim, 'OpenDEVS: A Proposal for a Standardized DEVS Model Exchange Format,' Proc.6th Com. AI, Simul, Planning in High Autonomous Systems, pp. 371-377, 1996
4 R. Milner, Communication and Concurrency, Prentice Hall, 1989
5 M. H. Hwang and F. Lin, 'State Minimization of SP-DEVS,' Lecture Notes in Computer Science, vol. 3397, pp.243-252, Springer 2005
6 R.Cleavaland, J. Parrow, B. Steffen, 'Testing Equivalence as a Bisimulation Equivalence,' Automatic Verification Methods for Finite State Systems, LNCS 407, pp.11-23, Springer, 1989
7 B. P. Zeigler, Multifacetted Modelling and Discrete Event Simulation, Academic Press, 1984
8 H.S. Song and T.G. Kim, 'Application of Real-Time DEVSto Analysis of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example,' Simulation, vol. 81, No.2,pp. 119-136, 2005   DOI
9 김탁곤 외, 프로세스 명세에 관한 동적 행위 분석기법에 관한 연구, 시스템공학연구소 연구보고서, 1998