ETRI Journal

Electronics and Telecommunications Research Institute (한국전자통신연구원)
권호 표지

A Methodology for Variable Structure System Specification: Formalism, Framework, and Its Application to ATM-Based Network System

  • Lee, Kyou-H. (Telecommunication Systems and Computer Divisions, ETRI) ;
  • Choi, Kil-Y. (Telecommunication Systems Division, ETRI) ;
  • Kim, Jae-G. (Broadband communication Department, Telecommunication Systems Division, ETRI) ;
  • Vansteenkiste, G.C. (University of Gent)
  • Published : 1997.01.31
Download PDF
⟨ Previous Next ⟩

Abstract

This paper presents a formalism-based methodology and its implemented environment which constitutes a sound framework for real-time systems development. The software and/or hardware systems developed in such a formal manner are well structured and maintainable. We first propose a set-theoretic VSSS (Variable Structure System Specification) formalism. This formalism is the core of the presented methodology which supports a means of formal specification for real-time systems. We then develop the environment, including VSSS language definition, a translator for the language, and supporting libraries for real-time execution. Finally, a demonstration of the methodology in development of a real-time event manager, a subsystem of an ATM-based communication system, shows the correctness and efficiency of the methodology.

Keywords

References

  1. Journal of Systems Software v.28 The practice of formal methods in safety-critical systems Liu, S.;Stavridou, V.;Dutertre, B.
  2. IEEE Software Experience with formal methods in critical systems Gerhart, S.;Craigen, D.;Ralston, T.
  3. Proceedings of the Int'l Conf. on Concurrent Engineering and Electronic Design Automation (CEEDA) '94 VHDL simulation for fault diagnosis in logic circuits based on effect-cause analysis algorithm Khamis, M.;Vansteekiste, G.C.
  4. Ten Commandments of formal methods Bowen, J.P.;Hinchey, M.G.
  5. IEEE Computer An invitation to formal methods Saiedian, H.
  6. Control Systems of Variable Structure Itkis, Y.
  7. IEEE Trans. on Industrial Electronics v.40 no.1 Variable structure control: A survey Hung, J.Y.;Gao, W.;Hung, J.C.
  8. IEEE Trans. on Industrial Electronics v.40 no.1 VSS Type self-tuning control Furuta, K.
  9. IEEE Trans. on Industrial Electronics v.40 no.1 Variable structure control of nonlinear systems: A new approach Gao, W.;Hung, J.C.
  10. IEEE Trans.on Industrial Electronics v.42 no.2 Discrete-time variable structure control systems Gao, W.;Wang, Y.;Homaifu, A.
  11. Architecture of Systems Problem Solving Klir, G.J.
  12. Multifacetted Modelling and Discrete Event Simulation Zeigler, B.P.
  13. Proc. of AIS '96 Open-DEVS:A proposal for a standardized DEVS Model exchange format Thomas, C.;Luckhoff, H.;Kim, T.G.
  14. Proc. of the 1992 European Simulation Multiconference The DEVS formalism: Hierarchical mocular systems specificaiton in C++ Kim, T.G.;Park, S.
  15. Proc. of European Simulation Multiconference (ESM '93) OO/DEVS:A smalltalk implementation of the DEVS formalism Ninios, P.;Vlahos, K.;Bunn, D.W.
  16. Proc. of European Simulation Symposium (ESS '93) Modelling and simulation of an integrated circuit assembly flow-shop in DEVS-V Barros, F.J.;Mendes, M.T.
  17. Proc. of the 1992 European Simulation Multiconference (ESM '92) Performance modeling of cache memory in multiprocessor system using DEVS methodology Lee, K.H.;Kim, T.G.;Lee, W.H.
  18. Proc. of the 5th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems (AIS '94) Performance analysis of distributed access node system using DEVSim++ framework Lee, K.H.;Kim, T.G.
  19. Trans. of The Society for Computer Simulation Knowledgement representation in variable structure modeling: An adaptive computer architecture example Zeigler, B.P.;Kim, T.G.
  20. Trans. of The Society for Computer Simulation v.7 no.4 Variable structure modelling methodology: An adaptive computer architecture example Zeigler, B.P.;Kim, T.K.;Lee, C.G.
  21. Trans. of The Society for Computer Simulation v.13 no.1 Dynamic structure discrete event system specification Barros, F.J.
  22. Proc. of the 5th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems Distributing and maintaining knowledge: Agents in variable structure environment Uhrmacher, A.M.;Arnold, R.
  23. Object Oriented Simulation Reusable simulation models in an object oriented framework Kim, T.G.;Ahn, M.S.
  24. Int'l Symp. on Subscriber Loops and Services Design considerations of broadband subscriber access network Choi, K.(et al)
  25. ATM Forum, ATM UNI specification, Ver. 3.1
  26. ITU-T Rec.Q.2931, B-ISDN access signaling system DSS no. 2
  27. ITU-T Rec. I.610, B-ISDN OAM principles and functions
  28. ETRI Journal v.15 no.2 A modeling tool for X-window application software development Lee, J.S.(et al)