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

System Analysis Method Using Composition and Minimization  

Lee, Wan Bok (Department of Game Design, Kongju National University)
Publication Information
Journal of the Korea Institute of Information and Communication Engineering / v.17, no.10, 2013 , pp. 2330-2336 More about this Journal
Abstract
Since many man-made systems consist of autonomous and interactive components, it is intrinsically difficult to analyze their abnormal behavior. The logical analysis of such a system is an indispensable process for high quality and reliable system development. In this paper, we propose an analysis method using two algebraic operations, named composition and minimization. Repetitive composition and minimization of component models with respect to a set of important events produces a new analysis model that has the same input output responses to an environment. An analysis example of the alternating bit protocol demonstrates the effectiveness of the proposed method showing that each message generated at the sender side eventually arrives to a receiver.
Keywords
System analysis; composition; discrete event system; verification;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 G.J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, 1991.
2 M. H. Hwang and B. P. Zeigler, "Reachability Graph of Finite and Deterministic DEVS Networks", IEEE Transactions on Automation Science and Engineering, vol. 6, no. 3, pp. 454-467, 2009.   DOI   ScienceOn
3 G. P. Hong, and T. G. Kim, "A Framework for Verifying Discrete Event Models Within a DEVS-Based System Development Methodology," Transactions of the Society for Computer Simulation, vol. 13, no. 1, pp. 19-34, 1996.
4 Md. Sipon Miah, and Insoo Koo, "Performance Analysis of ILEACH and LEACH Protocols for Wireless Sensor Networks", Journal of Information and Communication Convergence Engineering (JICCE), vol. 10, no. 4, pp. 384-389, 2012.   과학기술학회마을   DOI   ScienceOn
5 Bernard Zeigler, Theory of Modeling and Simulation (first ed.). Wiley Interscience, New York. ISBN 0-12-778455-1.
6 Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, N.Y., 1992.
7 R. Milner, A Calculus of Communicating Systems, LNCS, vol. 92, Springer-Verlag, 1980.
8 R. Alur, "Timed Automata", Theroretical Computer Science, vol. 126, pp. 183-235, 1999.
9 John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison- Wesley Publishing, Reading Massachusetts, 1979. ISBN 0-201-02988-X.
10 M. Heymann, "Concurrency and discrete event control", IEEE Control Systems Magazine, vol. 10, no. 4, pp. 103-112, Jun. 1990.   DOI   ScienceOn
11 R. Paige and R. E. Tarjan, "Three Partition Refinement Algorithms", SIAM Journal of Computing, vol. 16, no. 6, pp. 973-989, 1987.   DOI   ScienceOn
12 R. Milner, A Calculus of Communicating Systems, LNCS, vol. 92, Springer-Verlag, 1980.