HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download

https://hal.inria.fr/inria-00070193
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 7:27:06 PM
Last modification on : Friday, February 4, 2022 - 3:14:46 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:30:02 PM

Identifiers

  • HAL Id : inria-00070193, version 1

Citation

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⟩

Share

Metrics

Record views

150

Files downloads

609