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

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