Specification and verification of design models for certifiable avionics software

点击翻译按钮获取中文摘要

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.