Abstract
In this paper we study the application of a safe design methodology in the case of an automotive system. This methodology is based on a clear separation between control and data parts. It allows to facilitate the specification and to have a better readability. We present the advantages of this methodology on a GPS cruise control system. (Author/publisher)