Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Theoretical Computer Science
Specification and design of embedded systems
Specification and design of embedded systems
A timed Full LOTOS with time/action tree semantics
Theories and experiences for real-time system development
Theories and experiences for real-time system development
WSC '96 Proceedings of the 28th conference on Winter simulation
Communicating sequential processes
Communications of the ACM
Theory of Modelling and Simulation
Theory of Modelling and Simulation
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Formal Development of Reactive Systems: Case Study Production Cell
Formal Development of Reactive Systems: Case Study Production Cell
Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects
An Overview and Synthesis on Timed Process Algebras
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Using Simulation for the Validation of High Level Specifications of Control Systems
Journal of Intelligent and Robotic Systems
Hi-index | 0.00 |
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.