Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
EXTERNAL MODEL AND SYNCCHARTS DESCRIPTION OF AN AUTOMOBILE CRUISE CONTROL
 

Summary: EXTERNAL MODEL AND SYNCCHARTS DESCRIPTION
OF AN AUTOMOBILE CRUISE CONTROL
Bayart M.#, Lemaire E.#, Péraldi M-A.*, André C.*
#LAIL (URA CNRS 1440), Bat. P2, UFR IEEA,
Université des Sciences et Technologies de Lille, 59655 Villeneuve d'Ascq Cedex - France,
Tel. : (33) 3 20 43 45 65 - FAX : (33) 3 20 33 71 89, e-mail : bayart@univ-lille1.fr
*Laboratoire Informatique, Signaux, Systèmes (I3S)
Université de Nice-Sophia Antipolis / CNRS, 41, bd Napoléon III - F - 06041 NICE Cedex
Tel. : (33) 4 93 21 79 56 - FAX: (33) 4 93 21 20 54, e-mail : {andre,map}@alto.unice.fr
Abstract : 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.
Keywords : Cruise Control, Formal Specification, Intelligent instrumentation.
1. INTRODUCTION
Various models are used to describe automated systems : functional, behavioral, object-based, internal or
external models (Robert, et al, 1993; Staroswiecki and Bayart, 1994). The external model, using the concept of

  

Source: André, Charles - Laboratoire I3S, Université de Nice Sophia Antipolis

 

Collections: Computer Technologies and Information Sciences