1 |
FAA, CAST-8, Using of the C++ Programming Language, 2002
|
2 |
LDRA Ltd., User Guide for LDRA tool suite, 2016
|
3 |
SGS-TuV Saar GmbH, Certificate of LDRA Tool Suite, Certification Report No. K1C20003, 2015
|
4 |
Liskov, B. H. and Wing, J. M., A behavioral notion of subtyping, ACM Trans. Program. Lang. Syst. 16(6). 1811-1841, 1994
DOI
|
5 |
MISRA, MISRA-C++:2008, Guidelines for the use of the C++ language in critical systems, 2008
|
6 |
RTCA Inc, DO-332, Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A, 2011
|
7 |
FAA, CAST-4, Object-Oriented Technology (OOT) In Civil Aviation Projects: Certification Concerns, 2000
|
8 |
LDRA Ltd., MISRA-C++:2008 Standards Model Compliance for C++, 2020.
|
9 |
FAA, AC20-115D, "Advisory Circular in Airborne Software Development Assurance Using EUROCAE ED-12 and RTCA DO-178", 2017
|