ICD Management

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

Montréal, Québec, and Canada are leaders in the development of avionics systems, including the architecture and design of digital avionic systems. Avionics companies compete in the global market and thus must use the state-of-the-art in their processes and practices. In particular, when designing and implementing avionics software systems, choosing and composing available pieces of equipment or designing new pieces of equipment to create a system (or system of systems) are challenging tasks due to the complexity of the interfaces control documents (ICDs), which describe these pieces of equipment. Also, new aircrafts would benefit further from previous development efforts if product lines could be identified and managed from the developments. This project consists of researching a solution, automated in some tool support by reusing, using, or extending existing standards, to ease the current processes of the Canadian partners companies, CMC Electronics and CS Canada, to address these challenging tasks. Our overall goal in this project is to reduce the cost of the development and maintenance of systems built using ICDs. We seek more cost-effective and more reliable ways to use ICDs, focusing on their use by engineers for their integration and validation when building systems. We want to help engineers integrate, verify, and validate their safety-critical systems by alleviating the recurring, uninteresting activity of matching inputs/outputs and let the engineers concentrate on the difficult cases. We want to provide this help by providing engineers with a domain-specific language (DSL) to describe ICDs systematically, uniformly, and with necessary and sufficient details. Then, we foresee a solution based on an extensible meta-model to create models of ICDs based on the DSL, on which we will build tool support to describe and validate ICDs. We want also to provide engineers with specific tool support to create systems using the DSL and models of ICDs. This support will be possible thanks to a dedicated architecture description language (ADL) and compiler-like algorithms to verify the interconnections between systems.