Title | ||
---|---|---|
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems |
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. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1023/A:1015548507922 | Journal of Intelligent and Robotic Systems |
Keywords | Field | DocType |
discrete event dynamic systems,formal specifications,control systems,production systems | Event calculus,Asynchronous communication,Abstraction,Computer science,Discrete event dynamic system,Real-time computing,Formal specification,Theoretical computer science,Control system,Formalism (philosophy),Discrete system | Journal |
Volume | Issue | ISSN |
34 | 1 | 1573-0409 |
Citations | PageRank | References |
1 | 0.40 | 6 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean-Luc Paillet | 1 | 9 | 5.39 |
Norbert Giambiasi | 2 | 227 | 37.59 |