Hardware and software interference mitigation for ARINC-653 compliant real-time operating systems on multi-core architectures

多核架构上符合 ARINC-653 标准的实时操作系统的硬件和软件干扰缓解

• 批准号: 538140-2018
• 负责人: Nicolescu, GabrielaEG
• 金额: $ 3.29万
• 依托单位: École Polytechnique de Montréal
• 依托单位国家: 加拿大
• 项目类别: Collaborative Research and Development Grants
• 财政年份: 2022
• 资助国家: 加拿大
• 起止时间: 2022-01-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=754170
• 关键词: Hardware; software; interference; mitigation; ARINC

The main objective of the proposed project is to define new solutions for mitigating undesirable hazards caused by the shared resources in multicore systems. These hazards are called interferences. We address the hazards that occur at both hardware and software level in the context where critical applications are executed on multi-core systems, in avionic systems. We will consider the reality of designers from avionics by considering the tight requirements imposed by standards like ARINC-653 standard and DO-178 certification and by collaborating with an industrial actor in the aerospace sector. Our specific objectives are to: 1. Define an innovative approach for mitigation of hardware interferences in multicore systems2. Propose efficient solutions to mitigate software interferences3. Propose new validation methods and develop tools for assessment of interference mitigation solutions in multicore systems.The proposed methodology will address specifically the aerospace constraints where standards, certifications and tight real-time constraints need to be respected.The expected outcome is a set of solutions and a set of tools enabling designers to cope with one of the major challenges for software design in aerospace: the interferences. The proposed solutions will be an enabler for the transition from classical monocore architectures to the modern efficient multicore architectures in order to execute critical aerospace applications and integrate new capabilities to meet operational requirements. The project will enable academia and industry to collaborate for solving a key challenge and train the HQP required for the future generation of embedded systems and software to be used in aerospace field.

该项目的主要目标是定义新的解决方案，以减轻多核系统中共享资源所造成的不良危害。这些危害称为干扰。我们解决的危险发生在硬件和软件级别的情况下，关键应用程序在多核系统上执行，在航空电子系统。 我们将通过考虑ARINC-653标准和DO-178认证等标准的严格要求，并与航空航天领域的工业参与者合作，来考虑航空电子设计师的现实。我们的具体目标是：1.定义一种创新的方法来缓解多核系统中的硬件干扰2。提出有效的解决方案，以减轻软件干扰3.提出新的验证方法并开发工具，用于评估多核系统中的干扰缓解解决方案。所提出的方法将专门解决航空航天的限制，其中需要遵守标准、认证和严格的实时限制。预期的结果是一套解决方案和一套工具，使设计人员能够科普航空航天软件设计的主要挑战之一：干扰。所提出的解决方案将推动从经典单核架构向现代高效多核架构的过渡，以执行关键的航空航天应用并集成新功能以满足运营要求。该项目将使学术界和工业界能够合作解决一个关键挑战，并培训下一代嵌入式系统和软件在航空航天领域使用所需的HQP。