Skip to Main content Skip to Navigation
Conference papers

Modular Approach to Specify and Validate an Electrical Fligh Control System

M. Doche Isabelle Vernier-Mounier 1 Fabrice Kordon 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : To study a part of an Electrical Flight Control System we have developed a tool-supported method dedicated to the incremental specification and validation of complex heterogeneous systems. Formal description of a system is structured in modules that interact. We combine two modular approaches that share the same view of modularity but offer complementary validation procedures: model checking and functional test generation. We have adapted these validation procedures to take care of the modular aspects of our specification. They are performed incrementally. We first consider basic modules, then the communication between modules and finally composed modules. To support our method, we have adapted existing tools, dedicated to non-modular specifications, to deal with modular constraints. These tools are integrated into a common platform to build a coherent execution environment.
Document type :
Conference papers
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Tuesday, August 1, 2017 - 3:17:28 PM
Last modification on : Thursday, March 21, 2019 - 1:13:32 PM

Links full text



M. Doche, Isabelle Vernier-Mounier, Fabrice Kordon. Modular Approach to Specify and Validate an Electrical Fligh Control System. Formal Method Europe (FME '2001), Mar 2001, Berlin, Germany. pp.590-610, ⟨10.1007/3-540-45251-6_34⟩. ⟨hal-01571083⟩



Record views