Separating Control and Data Flow: Methodology and Automotive System Case Study - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2006

Separating Control and Data Flow: Methodology and Automotive System Case Study

Résumé

In this document we propose to study the control/data flow separation design methodology, using Scade and Mode-Automata, and its application in the design of an automotive system. This methodology allows to facilitate the specification of different kinds of systems and to have a better readability. It also separates the study of the different parts by using the most appropriate existing tools for each of them. To do that, we study a cruise control system with GPS which makes possible the control of a car speed depending on its position given by a GPS. This system combines both control and data processing and can be specified using our methodology. The goal of this work consists in presenting the application of our methodology on a real system and studing its advantages notably for formal verification.
Fichier principal
Vignette du fichier
RR-5832.pdf (1.25 Mo) Télécharger le fichier
Loading...

Dates et versions

inria-00070193 , version 1 (19-05-2006)

Identifiants

  • HAL Id : inria-00070193 , version 1

Citer

Ouassila Labbani, Jean-Luc Dekeyser, Eric Rutten. Separating Control and Data Flow: Methodology and Automotive System Case Study. [Research Report] RR-5832, INRIA. 2006, pp.32. ⟨inria-00070193⟩
157 Consultations
636 Téléchargements

Partager

Gmail Facebook X LinkedIn More