This content is not included in your SAE MOBILUS subscription, or you are not logged in.

An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A)

Journal Article
2020-01-0016
ISSN: 2641-9637, e-ISSN: 2641-9645
Published March 10, 2020 by SAE International in United States
An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A)
Sector:
Event: AeroTech
Citation: VanderLeest, S. and Evripidou, C., "An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A)," SAE Int. J. Adv. & Curr. Prac. in Mobility 2(3):1174-1181, 2020, https://doi.org/10.4271/2020-01-0016.
Language: English

References

  1. Krodel , J. and Romanski , G. 2007
  2. Kinnan , L. Use of Multicore Processors in Avionics Systems and Its Potential Impact on Implementation and Certification Proceedings of the 28th Digital Avionics Systems Conference Orlando, FL 2009 10.1109/DASC.2009.5347560
  3. Thales 2012
  4. https://www.faa.gov/aircraft/air_cert/design_approvals/air_software/cast/cast_papers/media/cast-32a.pdf 2016
  5. Federal Aviation Administration https://www.faa.gov/aircraft/air_cert/design_approvals/air_software/cast 2019
  6. Lui , S. , Marco , C. , Mancuso , R. , Kim , J.-E. et al. 2014
  7. Reinhard , W. , Ferdinand , C. , Cullmann , C. , Grund , D. et al. Designing Predictable Multicore Architectures for Avionics and Automotive Systems Proceedings of Workshop on Reconciling Performance with Predictability (RePP)
  8. Awan Ali , M. , Patrick , M.Y. , Konstantinos , B. , Vincent , N. et al. https://recipp.ipp.pt/bitstream/10400.22/6866/1/COM_CISTER_2015.pdf 2015
  9. VanderLeest , S.H. , Millwood , J. , and Guikema , C. 2018 10.1109/DASC.2018.8569651
  10. Girbal , S. , Pérez , D.G. , Rhun , J.L. , Faugère , M. et al. A Complete Toolchain for an Interference-Free Deployment of Avionic Applications on Multi-Core Systems Proceedings of the 34th Digital Avionics Systems Conference (DASC) Prague, Czech Republic 2015 10.1109/DASC.2015.7311460
  11. Radack , D. , Tiedeman , H.G. Jr. , and Parkinson , P. https://resources.windriver.com/wind-river-collins-aerospace/civil-certification-of-multi-core-processing-systems-in-commercial-avionics 2018
  12. Radack , D. and Parkinson , P. https://event.webcasts.com/starthere.jsp?ei=1268860&tp_key=5d83823865 2019

Cited By