ICD Management

montrsamal， qusambec和加拿大是航空电子系统发展的领导者，包括数字航空电子系统的架构和设计。航空电子公司在全球市场上竞争，因此必须在他们的流程和实践中使用最先进的技术。特别是，在设计和实施航空电子软件系统时，选择和组合可用的设备部件或设计新的设备部件来创建一个系统（或系统的系统）是具有挑战性的任务，因为描述这些设备部件的接口控制文档（icd）非常复杂。此外，如果能够从开发中确定和管理产品线，新飞机将进一步受益于以前的开发工作。该项目包括研究一个解决方案，通过重用、使用或扩展现有标准，在一些工具支持中实现自动化，以简化加拿大合作伙伴公司（CMC Electronics和CS Canada）的当前流程，以解决这些具有挑战性的任务。我们在这个项目中的总体目标是降低使用icd构建的系统的开发和维护成本。我们寻求更具成本效益和更可靠的方法来使用icd，重点是工程师在构建系统时使用它们进行集成和验证。我们希望通过减少重复出现的、无趣的输入/输出匹配活动，帮助工程师集成、验证和验证他们的安全关键系统，让工程师专注于困难的情况。我们希望通过为工程师提供特定于领域的语言（DSL）来系统地、统一地描述icd，并提供必要和充分的细节，从而提供这种帮助。然后，我们预见一个基于可扩展元模型的解决方案，以创建基于DSL的icd模型，我们将在此基础上构建工具支持来描述和验证icd。我们还希望为工程师提供特定的工具支持，以使用DSL和icd模型创建系统。由于专用的体系结构描述语言（ADL）和类似编译器的算法来验证系统之间的互连，这种支持将成为可能。

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.