CERTIFIABLE DETERMINISTIC SYSTEM SOFTWARE FRAMEWORK FOR HARD REAL-TIME SAFETY-CRITICAL APPLICATIONS IN AVIONICS SYSTEMS FEATURING MULTI-CORE PROCESSORS

摘要

An avionics system (1) comprising a central processing unit (2) to implement one or more hard real-time safety-critical applications, the central processing unit (2) comprises a multi-core processor (3) with a plurality of cores (4), an avionics system software executable by the multi-core processor (3), a memory (6), and a common bus (8) though which the multi-core processor (3) can access the memory (6); the avionics system (1) is characterized in that the avionics system software is designed to cause, when executed, the cores (4) in the multi-core processor (3) to access the memory (6) through the common bus (8) by sharing bus bandwidth according to assigned bus bandwidth shares.