CAST-32A, Multi-core Processors is a position paper,[1] by the Certification Authorities Software Team (CAST).
"[2] The original document was published in 2014 by an "international group of certification and regulatory authority representatives.
[7] The objectives of the standard are applicable to software on multicore processors, including the operating system.
[8][9] However, the nature of the underlying processor hardware must be examined in detail to identify potential interference channels due to inter-core contention for shared resources.
The paper presents ten objectives that must be met for Design Assurance Level (DAL) A or B.