Grant: Collaborative Research and Development Grants
Concordia University
$60,000.00
Specification and verification of design models for certifiable avionics software
EF 2017-18
Résumé
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.
Programme
Collaborative Research and Development Grants
Bénéficiaire
Emplacement
Quebec, Canada
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
463076-2014
Name nom
Dssouli, Rachida
Department département
Concordia Institute for Information Systems Engineering (CIISE)
Organization id
70
Institution établissement
Concordia University
Province en
Québec
Province fr
Québec
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2017
Competition year année de concours
2014
Award amount
60000
Program id
CRDPJ
Program name en
Collaborative Research and Development Grants
Program name fr
Subventions de recherche et développement coopérative
Group en
Research partnerships programs
Group fr
Programmes de partenariat
Committee code
96
Committee name en
RPP Internal Decision Cttee
Committee name fr
Cté de décision interne - PPR
Area of application code
703
Area of application group en
Transportation systems and services
Area of application group fr
Services et systèmes de transport
Area of application en
Aerospace
Area of application fr
Aérospatial
Research subject code
2706
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Software engineering
Research subject fr
Génie logiciel
Partie
3
Nb partie
3
Application title
Specification and verification of design models for certifiable avionics software
Keyword
NSERC
Application summary
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.
