CAST-32A explained

Multi-core Processors
Year Started:2014
Version:A
Organization:FAA
Abbreviation:CAST-32A
Domain:Aviation
Website:faa.gov

CAST-32A, Multi-core Processors is a position paper,[1] by the Certification Authorities Software Team (CAST). It is not official guidance, but is considered informational by certification authorities such as the FAA and EASA. A key point is that Multi-core processor "interference can affect execution timing behavior, including worst case execution time (WCET)."[2]

The original document was published in 2014 by an "international group of certification and regulatory authority representatives."[3] The current revision A was released in 2016. "The Federal Aviation Administration (FAA) and European Aviation Safety Agency (EASA) worked with industry to quantify a set of requirements and guidance that should be met to certify and use multi-core processors in civil aviation, described e.g. in the FAA CAST-32A Position Paper and the EASA Use of MULticore proCessORs in airborne Systems (MULCORS) research report."[4] For applicants certifying under EASA, AMC 20-193 has now superseded CAST-32A since its release on 21 January 2022. It is expected that the FAA will release its Advisory Circular AC 20-193 guidance in 2023, which is expected to be almost identical to AMC 20-193.[5] [6]

One of the first mixed-criticality multicore avionics systems is expected to be certified sometime in 2020.[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.[10] Verification that multicore interference channels have been mitigated can be accomplished through the use of interference generators i.e. software tuned to create a heavy usage pattern on a shared resource.[11]

Objectives

The paper presents ten objectives that must be met for Design Assurance Level (DAL) A or B. Six of the objectives apply for DAL C. The paper does not apply for DAL D or E.

ObjectiveApplicable Design Assurance Levels
MCP Planning 1 A, B, C
MCP Resource Usage 1 A, B, C
MCP Resource Usage 2 A, B
MCP Planning 2 A, B, C
MCP Resource Usage 3 A, B
MCP Resource Usage 4 A, B
MCP Software 1 A, B, C
MCP Software 2 A, B, C
MCP Error Handling 1 A, B
MCP Accomplishment Summary 1 A, B, C

Notes and References

  1. Web site: Multi-core Processors . CAST-32A . Federal Aviation Administration . 2016-11-01 . 2020-03-23.
  2. Book: https://www.sae.org/publications/technical-papers/content/2020-01-0016/ . An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A) . VanderLeest . Steven H. . Evripidou . Christos . SAE Technical Paper Series . SAE International Journal of Advances and Current Practices in Mobility . SAE International . 2020-03-10 . 1 . 3 . 1174–1181 . 10.4271/2020-01-0016 . 213352079 . 2020-03-11.
  3. Multi-Core Ready to Become Airborne . Embedded Computing Design . Kühlert . Oliver . 2020-02-11 .
  4. Book: Athavale . Jyotika . Mariani . Riccardo . Paulitsch . Michael . 2019 IEEE International Reliability Physics Symposium (IRPS) . Flight Safety Certification Implications for Complex Multi-Core Processor Based Avionics Systems . IEEE . 2019-03-19 . 1–6 . 10.1109/IRPS.2019.8720422 . 978-1-5386-9504-3 . 169037813 .
  5. Web site: EASA and FAA to Issue Further Guidance on Multicore Certification This Year . Wolfe . Frank . Avionics International . 2020-02-28 . 2020-03-09.
  6. Web site: Certification Authorities Software Team (CAST) . Federal Aviation Administration . 2021-10-29 .
  7. Web site: Civil Certification of Multi-core Processing Systems in Commercial Avionics . Radack . David . Tiedeman, Jr. . Harold G. . Parkinson . Paul . Rockwell Collins . 2018 . 2020-03-23.
  8. Web site: DDC-I and Rapita Systems Simplify Verification and Certification of Multicore Avionics Applications . 2020-04-21 . 2020-03-23.
  9. Web site: CAST=32A: Significance and Implications . Brown . Mark . 2018-11-15 . 2020-12-11.
  10. Web site: On the Tailoring of CAST-32A CertificationGuidance to Real COTS Multicore Architectures . Agirre . Irune . Abella . Jaume . Azkarate-askasua . Mikel . Cazorla . Francisco . IEEE . 2017-06-14 . 2020-03-23.
  11. An Approach to Verification of Interference Concerns for Multicore Systems . VanderLeest . Steven H. . Evripidou . Christos . SAE International Journal of Advances and Current Practices in Mobility . SAE . 2020-03-10 . 2 . 3 . 1174–1181 . 10.4271/2020-01-0016 . 213352079 . 2020-03-23.