Skip to main content

DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems

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

Abstract

In this paper, we present DECM (Discrete Event Calculus Model), an original discrete event mathematical model for the specification of control systems at a high level of abstraction. Because the concept of event is more natural for nonspecialists than the concept of state, the proposed model is centered on the latter concept. This in turn permits the expression of asynchronous behavior without relying on the classical concept of state. In addition, DECM-based formalism offers an explicit representation of time that allows the use of timed simulations for the validation of formal specifications. This formalism is illustrated on a real-world industrial example.

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

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  • Allemand, M.: 1995,Modélisation formelle et preuve de circuits avec LP, PhD Thesis,Université de Provence, Marseille, France (in French), July 1995.

    Google Scholar 

  • Allemand, M., Coupet-Grimal, S., and Paillet, J. L.: 1996,A formal system for correct hardware design, in: Cl. Baron, J. C. Geffroy, and G. Motet (eds), Advanced Technology Workshop 1996, Toulouse, France, July 96, Kluwer Academic, Dordrecht, pp.45–69.

    Google Scholar 

  • Alur, R. and Dill, D. L.: 1994,A theory of timed automata,Theoret. Comput. Sci. 126, 183–235.

    Google Scholar 

  • Berry, G. and Gonthier, G.: 1992,The esterel synchronous programming language: Design, semantics, implementation, Science Comput. Programming 19(2),87–152.

    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, Word Scientific, Singapore, pp. 205–237.

    Google Scholar 

  • Boyarm, A.: 1999, Contribution à l'élaboration d'un langage de simulation à événements discrets pour modèle continus, Thesis of doctoral degree, Université Aix-Marseille III.

  • Buss, A.: 1996, Modeling with event graphs,Commun. ACM 26(11).

  • Damiba, A.: 2000,Simulation à événements discrets de modèles bond graph, Thesis of doctoral degree, Université Aix-Marseille III.

  • 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: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&FOF '99,Aguas de Lindoia, Brazil, August 1999, pp. MT4.1–MT4.6.

    Google Scholar 

  • Halbwachs, N., Lonchampt, A., and Pilaud, D.: 1987,Describing and designing circuits by means of a synchronous declarative language, in: D. Borrione (ed.), IFIP WG 10.2 Workshop: From HDL Descriptions to Guaranteed Correct Circuit Designs, N-H 87.

  • Hoare, C.: 1978, Communicating sequential processes, Commun. ACM 21(8). Is 1989: Information processing systems - Open Systems Interconnection - LOTOS, a formal description technique based on the temporal ordering of observational behaviour, ISO 8807.

  • 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, ESM'2001, Praha, Czech Republic, June 2001, pp. 230–234.

  • Lesage, J. J., Roussel, J. M., and Thierry, C.: 1996, A theory of binary signal, in: Proc. of IMACS- IEEE Multiconf. on Comput. Engineering in Systems Applications (CESA 96), Lille, France, July 1996.

  • 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 

  • Nicollin, X. and Sifakis, J.: 1992, An overview and synthesis on timed process algebras, in: K. G. Larsen and A. Skou (eds), Computer-Aided Verification, III, Lecture Notes in Comput. Sci.575,Springer, New York, pp. 376–398, also Lecture Notes in Comput. Sci. 600.

    Google Scholar 

  • Paillet, J. L.: 1995: P-calculus: A good formalism for specifying digital systems, in: ATW'95 Atlantic Test Workshop 95, Cargese, France,July 1995.

  • 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, September 1998, pp. 29–33.

  • Paillet, J. L. and Giambiasi, N.: 2000, An user-oriented discrete event language for high level of specification, in: Internat. Multiconf. SCI'2000, Orlando, USA, July 2000, pp.346–351.

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

    Google Scholar 

  • Quemada, J., Miguel, C., de Frutos, D., and Llana, 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, Word Scientific, Singapore, pp.239–263.

    Google Scholar 

  • Schruben, L.: 1994, On the modeling power of event graphs, in: ESS'97, Istambul, Turkey.

  • Subramanyam, P.: 1989, What's in a timing discipline?, in: Hardware Specification, Verification and Synthesis,Lecture Notes in Comput. Sci. 408, Springer, New York, pp.202–223.

    Google Scholar 

  • Zeigler, B.: 1976,Theory of Modeling and Simulation,Wiley, New York.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Paillet, JL., Giambiasi, N. DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems. Journal of Intelligent and Robotic Systems 34, 27–81 (2002). https://doi.org/10.1023/A:1015548507922

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1015548507922