Skip to main content
Log in

Using Simulation for the Validation of High Level Specifications of Control Systems

  • Published:
Journal of Intelligent and Robotic Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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).

    Google Scholar 

  • 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).

    Google Scholar 

  • Gajski, D., Vahid, F., Narayan, S., and Gong, J.: 1994, Specification and Design of Embedded Systems, Prentice-Hall, Englewood Cliffs, NJ.

    Google Scholar 

  • 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).

    Google Scholar 

  • 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.

    Google Scholar 

  • Lewerentz, C. and Lindner, T.: 1995, Formal Development of Reactive Systems, Springer, Berlin.

    Google Scholar 

  • Milner, R.: 1980, A Calculus of Communicating Systems, Lecture Notes in Comput. Sci. 92, Springer, New York.

    Google Scholar 

  • Paillet, J. L.: 1999, DECM (Discrete Event Calculus Model), Technical Report LIM 1999‐308, Laboratoire Informatique de Marseille, Université de Provence, Marseille, France.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Peterson, J. L.: 1981, Petri Net Theory and theModeling of Systems, Prentice-Hall, Englewood Cliffs, NJ.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Zeigler, B. P.: 1984a, Multifaceted Modelling and Discrete Event Simulation, Academic Press, London.

    Google Scholar 

  • Zeigler, B. P.: 1984b, Theory of Modeling and Simulation, Robert E. Krieger, Malabar, FL.

    Google Scholar 

  • Zeigler, B. P.: 1989, DEVS representation of dynamical system, in: Proc. of the IEEE 77, 72‐80.

    Google Scholar 

  • Zeigler, B. P.: 1990, Object-oriented Simulation with Hierarchical, Modular Models-Intelligent Agents and Endomorphic Systems, Academic Press, Boston, MA.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:JINT.0000004930.97126.c4

Navigation