Abstract
In this paper, we present a methodology for modeling real–time systems using high level specification DECM (discrete event calculus model) and DEVS formalisms. In this methodology, the control system is specified by the way of a DECM user language description. This formal specification is automatically transformed into an atomic DEVS (discrete event system specification) model, and DEVS simulation of the coupled models (control system and plant) is used to validate the initial DECM specifications. The paper discusses the building of DECM specifications, the transformation of DECM specifications into a DEVS model and the simulation of the coupled DEVS model.
Similar content being viewed by others
References
Alur, R and Dill, D. L.: 1994, A theory of timed automata, Theoret. Comput. Sci. 126, 183‐235.
Balci, O.: 1997, Principles of simulation model validation, verification and testing, Transactions of the Society for Computer Simulation International, Special Issue: Principles of Simulation 4(1), 3‐12.
Bolognesi, T., Lucidi, F., and Trigila, S.: 1994, A timed full LOTOS with time/action tree semantics, in: T. Rus and C. Rathay (eds), Theories and Experiences for Real-Time System Development, Amast Series in Computing, World Scientific, Singapore, pp. 205‐237.
Boyarm, A.: 1999, Contribution à l'élaboration d'un langage de simulation à événements discrets pour modèles continus, PhD Thesis, Université Aix-Marseille III, Marseille, France (in French).
Buss, A. H.: 1996, Modeling with event graphs, Comm. ACM 26(11).
Damiba, A.: 2000, Simulation à événements discrets de modèles bond graph, PhD Thesis, Université Aix-Marseille III, Marseille, France (in French).
Gajski, D., Vahid, F., Narayan, S., and Gong, J.: 1994, Specification and Design of Embedded Systems, Prentice-Hall, Englewood Cliffs, NJ.
Giambiasi, N., Frydman, C., and Escudé, B.: 1995, Hierarchical/multi-view modeling and simulation, in: Proc. of the ESS'95, Erlangen, Germany, pp. 51‐55.
Giambiasi, N., Jumpamule, W., and Paillet, J. L.: 1999, High level specification of control systems: Validation by simulation, in: Proc. of Internat. Conf. CARS and FOF'99, Aguas de Lindoia, Brazil, August 1999, pp. MT4.1‐4.6.
Giambiasi, N. and Paillet, J. L.: 2000, FEOS-DECM: A high level oriented formalism for the specification of controls system, in: Proc. of the AIS2000, Tucson, USA, March 2000, pp. 163‐174.
Hoare, C.: 1978, Communicating sequential processes, Comm. ACM 21(8).
Jumpamule, W., Giambiasi, N., and Paillet, J. L.: 2001, Validation of discrete event high level specification by simulation, in: Proc. of the 15th European Simulation Multiconference (ESM2001), Prague, Czech Republic, June 2001, pp. 230‐235.
Jumpamule, W.: 2002a, DECM‐DEVS methodology for control systems, in: Proc. of the 2002 AI, Simulation and Planning in High Autonomy Systems, Lisbon, Portugal, April 2002, pp. 201‐206.
Jumpamule, W.: 2002b, Spécifications formelles de systèmes de commande à événements discrets, PhD Thesis, Université de Provence Aix-Marseille I, Marseille, Juillet 2002 (in French).
Jumpamule, W., Paillet, J. L., and Giambiasi, N.: 2003, A methodology for building high level specifications, R.R. LSIS/2003/001, LSIS, Université de Provence, Marseille.
Lewerentz, C. and Lindner, T.: 1995, Formal Development of Reactive Systems, Springer, Berlin.
Milner, R.: 1980, A Calculus of Communicating Systems, Lecture Notes in Comput. Sci. 92, Springer, New York.
Paillet, J. L.: 1999, DECM (Discrete Event Calculus Model), Technical Report LIM 1999‐308, Laboratoire Informatique de Marseille, Université de Provence, Marseille, France.
Paillet, J. L. and Giambiasi, N.: 1998, Discrete event calculus model: A high level specification language for discrete event systems, in: Proc. of Internat. Symp. ESS'98, Nottingham, UK, September 1998, pp. 29‐33.
Paillet, J. L. and Giambiasi, N.: 2000, An user oriented discrete event language for high level specification, in: Proc. of Internat. Multiconf. SCI'2000, Orlando, USA, July 2000, Vol. 2, pp. 346‐351.
Paillet, J. L. and Giambiasi, N.: 2002, DECM, a user oriented formalism for high level discrete event specifications of real-time systems, J. Intelligent Robotic Systems 34, 27‐81.
Peterson, J. L.: 1981, Petri Net Theory and theModeling of Systems, Prentice-Hall, Englewood Cliffs, NJ.
Praehofer, H. and Pree, D.: 1993, Visual modelling of DEVS-based multiformalism systems based on highgraphs, in: Proc. of the 1993 Winter Simulation Conference, Los Angeles, USA, pp. 595‐603.
Quemada, J., Miquel, C., de Frutos, D., and Lana, L.: 1994, A timed LOTOS extension, in: T. Rus and C. Rathay (eds), Theories and Experiences for Real-Time System Development, Amast Series in Computing, World Scientific, Singapore, pp. 239‐263.
Schruben, L.: 1997, On the modeling power of event graphs, in: Proc. of the ESS'97, Istanbul,Turkey.
Vangheluwe, H., Kerekhoffs, E. J. H., and Vansteenkiste, G.: 2001, Computer automated modelling of complex systems, in: Proc. of the 15th European Simulation Multiconference (ESM2001), Prague, Czech Republic, June 2001, pp. 7‐18.
Zeigler, B. P.: 1976, Theory of Modeling and Simulation, Wiley, New York.
Zeigler, B. P.: 1984a, Multifaceted Modelling and Discrete Event Simulation, Academic Press, London.
Zeigler, B. P.: 1984b, Theory of Modeling and Simulation, Robert E. Krieger, Malabar, FL.
Zeigler, B. P.: 1989, DEVS representation of dynamical system, in: Proc. of the IEEE 77, 72‐80.
Zeigler, B. P.: 1990, Object-oriented Simulation with Hierarchical, Modular Models-Intelligent Agents and Endomorphic Systems, Academic Press, Boston, MA.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jumpamule, W., Paillet, JL. & Giambiasi, N. Using Simulation for the Validation of High Level Specifications of Control Systems. Journal of Intelligent and Robotic Systems 38, 345–375 (2003). https://doi.org/10.1023/B:JINT.0000004930.97126.c4
Issue Date:
DOI: https://doi.org/10.1023/B:JINT.0000004930.97126.c4