首页> 外文会议>International symposium of formal methods Europe >A Modular Approach to the Specification and Validation of an Electrical Flight Control System
【24h】

A Modular Approach to the Specification and Validation of an Electrical Flight Control System

机译:电动飞行控制系统规范和验证的模块化方法

获取原文

摘要

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.
机译:为研究一部分电动飞行控制系统,我们开发了一种专用于复杂异构系统的增量规范和验证的工具支持的方法。系统的正式描述是在互动的模块中构建的。我们组合了两个模块化方法,该方法共享了相同的模块化视图,但提供了互补验证程序:模型检查和功能测试生成。我们改编了这些验证程序来处理我们规范的模块化方面。它们是逐步执行的。我们首先考虑基本模块,然后是模块之间的通信和最终组成的模块。为了支持我们的方法,我们调整了专用于非模块化规格的现有工具,以处理模块化约束。这些工具集成到共同的平台中以构建连贯的执行环境。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号