Skip to Main content Skip to Navigation

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

Ouassila Labbani 1 Jean-Luc Dekeyser 1 Eric Rutten 1
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : 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.
Document type :
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 7:27:06 PM
Last modification on : Tuesday, March 5, 2019 - 2:46:07 PM
Long-term archiving on: : Sunday, April 4, 2010 - 8:30:02 PM


  • HAL Id : inria-00070193, version 1


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⟩



Record views


Files downloads