Robust partitioning enforcement is a mandatory requirement in IMA 1 When this scenario is deployed on modern COTS systems. In this paper, we refine this requirement in the context of multicore processors and discuss a strategy to ensure it. We focus on a scenario in which several ARINC 653 partitions hosted on the same platform are executed at the same time on different cores. 2

Model‐Based Systems Engineering (MBSE) has become increasingly popular within the aircraft industry in recent years. However, this model‐based approach presents a challenge as traditional safety analysis practices are unable to keep up, resulting in inconsistency between the system and safety domains. This paper proposes a methodology tailored towards aircraft systems that addresses this issue by integrating safety analysis into MBSE. This is achieved by extending the Systems Modeling Language (SysML) profile to account for safety data in the system model and utilizing an Application Programming Interface (API) to automate the generation of safety analysis artefacts. The proposed methodology also allows for requirements management integration to increase the efficiency of the system development process.

Error confinement technologies have proven their efficiency to improve software dependability. Such mechanisms usually require efficient error detectors to swiftly signal any misbehaviour. Real-time systems, due to their timing constraints, require a richer description of correct and/or erroneous states that includes timing aspects. This paper presents real-time error detectors that can be automatically generated from formal models of the expected behaviours of software applications. The considered specifications provide the means to define quantitative temporal constraints on the execution of the application. These detectors check at run-time that the current execution matches its specification. The paper contribution is twofold. Firstly, at the theoretical level, we provide a formal definition of the expected behaviour of such detectors, ensuring a predictable behaviour of the detector system. Secondly, at a practical level, we provide a description of the complete generation process, from the models to the code of the detector.

No abstract

No abstract