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 od-ularity but offer complementary validation procedures: model checking and functional test generation. We have adapted these validation pro-cedures 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 Specification, to deal with modular constraints. These tools are integrated into a common platform to build a coherent execution environment. © Springer-Verlag Berlin Heidelberg 2001.
CITATION STYLE
Doche, M., Vernier-Mounier, I., & Kordon, F. (2001). A modular approach to the specification and validation of an Electrical Flight Control System. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2021 LNCS, pp. 590–610). Springer Verlag. https://doi.org/10.1007/3-540-45251-6_34
Mendeley helps you to discover research relevant for your work.