Recommendations for the Usage of Design Models in Aviation Software

Sarkis, Andre; Marques, Johnny; Dias, Luiz Alberto Vieira

doi:10.1109/issrew53611.2021.00044

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2022

Publication Types

Select...

Other1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Marques and de Cunha [8] devised process requirements for certifying airborne military software from several standards, including RTCA DO-178C, but these requirements are agnostic of programming language. Sarkis et al [9] have drawn recommendations on the use of design models from RTCA DO-178C. Although their work does not consider programming languages, it does consider areas where programming langauge choice could have an impact, such as traceability and automatic code generation.…”

Section: Related Workmentioning

confidence: 99%

Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain

Ashmore

Howe

Chilton

et al. 2022

2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

View full text Add to dashboard Cite

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.

show abstract

Section: Related Workmentioning

confidence: 99%