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

拟议项目的主要目标是确定新的解决方案，以减轻多核系统中共享资源造成的不良危险。这些危险称为干扰。我们解决了在航空电子系统中关键应用程序在多核系统上执行的情况下，在硬件和软件层面上发生的危险。我们将通过考虑ARINC-653标准和DO-178认证等标准提出的严格要求，并通过与航空航天领域的工业参与者合作，来考虑航空电子设计师的现实。我们的具体目标是：1.定义一种创新的方法来缓解多核系统中的硬件干扰2。提出有效的解决方案以减少软件干扰3。提出新的验证方法并开发工具来评估多核系统中的干扰缓解解决方案。所提出的方法将专门针对需要尊重标准、认证和严格的实时约束的航空航天约束。预期的结果是一套解决方案和一套工具，使设计者能够应对航天软件设计的主要挑战之一：干扰。拟议的解决方案将促进从传统的单核架构向现代高效多核架构的过渡，以便执行关键的航空航天应用程序并整合新的能力，以满足业务需求。该项目将使学术界和工业界能够合作解决一个关键挑战，并培训未来一代用于航空航天领域的嵌入式系统和软件所需的HQP。

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.