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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
