Skip to main content

Research Repository

Advanced Search

Programming language evaluation criteria for safety-critical software in the air domain.

Ashmore, Rob; Howe, Andrew; Chilton, Rhiannon; Faily, Shamal

Authors

Rob Ashmore

Andrew Howe

Rhiannon Chilton



Abstract

Safety-critical software in the air domain typically conforms to RTCA DO-178C. However, latent failures might arise based on assumptions underpinning the programming language used to write the software, whereas the lack of empirical data may constrain the selection of a promising but untested language. To overcome this difficulty, we propose evaluation criteria drawn from RTCA DO-178C, to help quickly review the potential applicability of programming languages in the air domain. We illustrate the constraints by using them to evaluate the suitability of the Rust programming language.

Citation

ASHMORE, R., HOWE, A., CHILTON, R. and FAILY, S. 2022. Programming language evaluation criteria for safety-critical software in the air domain. In Proceedings of the 12th IEEE international workshop on software certification (WoSoCer 2022), 31 October - 3 November 2022, Charlotte, NC, USA. Los Alamitos: IEEE Computer Society. To be made available from: https://ieeexplore.ieee.org/

Conference Name 12th IEEE international workshop on software certification (WoSoCer 2022)
Conference Location Charlotte, NC, USA
Start Date Oct 31, 2022
End Date Nov 3, 2022
Acceptance Date Aug 23, 2022
Deposit Date Aug 24, 2022
Publisher IEEE Computer Society
Keywords Programming language evaluation; Programming languages; Rust (Programming language); Aerospace computing
Public URL https://rgu-repository.worktribe.com/output/1740527
Additional Information URL for the workshop at which the paper will be presented: <a style="text-decoration: underline;" href="https://sites.google.com/view/wosocer2022" target="_blank">https://sites.google.com/view/wosocer2022</a>

This file is under embargo due to copyright reasons.

Contact publications@rgu.ac.uk to request a copy for personal use.




You might also like



Downloadable Citations