CAST-32A
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 "interference can affect execution timing behavior, including worst case execution time (WCET)."[2]
| Abbreviation | CAST-32A |
|---|---|
| Year started | 2014 |
| Latest version | A November 2016 |
| Organization | FAA |
| Domain | Aviation |
| Website | faa.gov |
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] An Advisory Circular (AC) that formalizes guidance for multicore systems and harmonizes guidance between FAA and EASA is expected to replace this position paper in late 2020.[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 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] By creating stress on the shared resource, the impact of contention between cores can be measured and quantified.
Objectives
The standard presents nine objectives that must be met, depending on the Design Assurance Level (DAL).[1]
| Objective | Applicable 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 |
References
- "Multi-core Processors" (PDF). CAST-32A. Federal Aviation Administration. 1 November 2016. Retrieved 23 March 2020.
- VanderLeest, Steven H.; Evripidou, Christos (10 March 2020). "An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A)". SAE International. Retrieved 11 March 2020.
- Kühlert, Oliver (11 February 2020). "Multi-Core Ready to Become Airborne". Embedded Computing Design.
- Athavale, Jyotika; Mariani, Riccardo; Paulitsch, Michael (19 March 2019). "Flight Safety Certification Implications for Complex Multi-Core Processor Based Avionics Systems". 2019 IEEE International Reliability Physics Symposium (IRPS). IEEE: 1–6. doi:10.1109/IRPS.2019.8720422. ISBN 978-1-5386-9504-3. S2CID 169037813.
- Wolfe, Frank (28 February 2020). "EASA and FAA to Issue Further Guidance on Multicore Certification This Year". Avionics International. Retrieved 9 March 2020.
- "Certification Authorities Software Team (CAST)". Federal Aviation Administration. Retrieved 29 October 2021.
- Radack, David; Tiedeman, Jr., Harold G.; Parkinson, Paul (2018). "Civil Certification of Multi-core Processing Systems in Commercial Avionics". Rockwell Collins. Retrieved 23 March 2020.
- "DDC-I and Rapita Systems Simplify Verification and Certification of Multicore Avionics Applications". 21 April 2020. Retrieved 23 March 2020.
- Brown, Mark (15 November 2018). "CAST=32A: Significance and Implications". Retrieved 11 December 2020.
- Agirre, Irune; Abella, Jaume; Azkarate-askasua, Mikel; Cazorla, Francisco (14 June 2017). "On the Tailoring of CAST-32A CertificationGuidance to Real COTS Multicore Architectures". IEEE. Retrieved 23 March 2020.
- VanderLeest, Steven H.; Evripidou, Christos (10 March 2020). "An Approach to Verification of Interference Concerns for Multicore Systems". SAE. Retrieved 23 March 2020.