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 implementone or more hard real-time safety-criticalapplications, the central processing unit (2) comprises a multi-core processor(3) with a plurality of cores (4), an avionics systemsoftware executable by the multi-core processor (3), a memory (6), and acommon bus (8) though which the multi-core processor (3)can access the memory (6); the avionics system (1) is characterized in thatthe avionics system software is designed to cause, whenexecuted, the cores (4) in the multi-core processor (3) to access the memory(6) through the common bus (8) by sharing bus bandwidthaccording to assigned bus bandwidth shares.