Separating Control and Data Flow: Methodology and Automotive System Case Study - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2006

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

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.
Fichier principal
Vignette du fichier
RR-5832.pdf (1.25 Mo) Télécharger le fichier
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00070193 , version 1

Cite

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⟩
156 View
631 Download

Share

Gmail Facebook Twitter LinkedIn More