Bayart M., Lemaire E., Péraldi M-A., André C.
In this paper, the generic model developed for smart instruments and the synchronous model SYNCCHARTS are used to specify automated systems. The generic model provides us with an external description, which is the user's point of view, and the SYNCCHARTS model gives a behavioral model of the system. From those two models that provide complementary information upon a device, a method is proposed to obtain a coherent syncChart from a part of the external model. The classical example of an automobile speed cruise control system is used for illustration.
Cruise Control, Formal Specification, Intelligent instrumentation.
@ARTICLE{sp:cep99,
AUTHOR = "M. Bayart and E. Lemaire and M-A. Peraldi and C. Andr\'e",
TITLE = "External and SyncCharts Description of an Automobile Cruise Control",
JOURNAL = "Control Engineering Practice",
YEAR = {1999},
VOLUME = {7},
sorte = "revue",
PAGES = {1259 -- 1267}
}