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.
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.
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.
Alur, R. and Dill, D. L.: 1994,A theory of timed automata,Theoret. Comput. Sci. 126, 183–235.
Berry, G. and Gonthier, G.: 1992,The esterel synchronous programming language: Design, semantics, implementation, Science Comput. Programming 19(2),87–152.
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.
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.
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.
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.
Milner, R.: 1980, A Calculus of Communicating Systems,Lecture Notes in Comput. Sci. 92, Springer, New York.
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.
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.
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.
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.
Zeigler, B.: 1976,Theory of Modeling and Simulation,Wiley, New York.
Zeigler, B.: 1984, Multifaceted Modelling and Discrete Event Simulation, Academic Press, London.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1015548507922