Titre :

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

Auteur(s) :

Labbani, Ouassila [Auteur]
Contributions of the Data parallelism to real time [DART]
Dekeyser, Jean-Luc [Auteur]
Contributions of the Data parallelism to real time [DART]
Rutten, Eric [Auteur]
Contributions of the Data parallelism to real time [DART]

Institution :

INRIA

Date de publication :

2006

Mot(s)-clé(s) en anglais :

CONTROL/DATA FLOW SEPARATION
SCADE
MODE-AUTOMATA
INTELLIGENT CRUISE CONTROL WITH GPS
SIMULATION
VERIFICATION

Discipline(s) HAL :

Informatique [cs]/Autre [cs.OH]

Résumé en anglais : [en]

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 ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL