Specification and verification of design models for certifiable avionics software

可认证航空电子软件设计模型的规范和验证

• 批准号: 463076-2014
• 负责人: Dssouli, Rachida
• 金额: $ 4.37万
• 依托单位: Concordia University
• 依托单位国家: 加拿大
• 项目类别: Collaborative Research and Development Grants
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=618825
• 关键词: Specification; verification; design; models; certifiable

Model-Based Development (MBD) is a software engineering paradigm where the central focus is on the use of executable model that will allow automation of several tasks such as code generation, test cases generation (MTB) and verification. This paradigm is widely accepted in safety critical systems development and in particular the domain of avionics. MBD and MTB offer a cost efficient development of such systems and help establishing their conformity with avionics software standards DO-178C. Canada count several avionics software industry but very little work is carried in this area. Few tools exist but they are incomplete. There are few testing tools but they are not sufficient to cover all the aspects to be tested. This project tries to fill this gap and offer Model based approaches and techniques that helps model, and automatically test and verify avionics software. More specifically, this project addresses the creation of design models, and model-based testing and verification techniques for avionics software certification. The objectives are: (1) to specify, develop and verify software design models and more specifically create new UML profiles and Simulink design standards that suit avionics systems descriptions; (2) enable verification techniques and design by contract in the context of Model Driven Development; (3) develop low level requirements testing techniques in conformity with avionics software standards DO-178C and DO-331; and (4) enable low level requirements-based automatic test generation.The outcomes of this project will help the productivity by offering a precise semantics to modeling languages used by our industrial partners, automating test case generation and verifications tasks. The development will be more cost effective and will help enhance the quality of avionics software. The proposed work will benefits to our industrial partners, will help train highly qualified personnel needed in this industry and will enhance the body knowledge in this area.

基于模型的开发（MBD）是一种软件工程范式，其中心焦点是使用可执行模型，这将允许自动化若干任务，如代码生成，测试用例生成（MTB）和验证。这种模式在安全关键系统开发中被广泛接受，特别是在航空电子领域。MBD和MTB为此类系统的开发提供了成本效益，并有助于建立其与航空电子软件标准DO-178 C的一致性。加拿大有几个航空电子软件产业，但在这方面开展的工作很少。工具很少，但它们是不完整的。测试工具很少，但不足以涵盖所有需要测试的方面。本项目试图填补这一空白，并提供基于模型的方法和技术，帮助建模，自动测试和验证航空电子软件。更具体地说，该项目致力于设计模型的创建，以及航空电子软件认证的基于模型的测试和验证技术。其目标是：（1）规定、开发和验证软件设计模型，更具体地说，创建适合航空电子系统描述的新的UML剖面和Simulink设计标准;（2）在模型驱动开发的背景下，使验证技术和合同设计成为可能;（3）开发符合航空电子软件标准DO-178 C和DO-331的低层次需求测试技术;以及（4）实现基于低层次需求的自动测试生成。该项目的成果将通过为我们的工业合作伙伴使用的建模语言提供精确的语义，自动化测试用例生成和验证任务，从而提高生产率。该开发将更具成本效益，并将有助于提高航空电子软件的质量。拟议的工作将有利于我们的工业合作伙伴，将有助于培养高素质的人才需要在这个行业，并将提高身体在这方面的知识。