It has been asked before what programming languages are used in avionics programming, the main ones being C, Ada as well as C++ in adherence with DO-178B/C.
To be more specific, I will focus my question on C++, when I ask: what concrete methods and tools are used to verify software for compliance with DO-178B/C?
I have found lots of details as to what DO-178B/C requires one to verify but not how it is concretely achieved in practice.
As I understand, the op-code itself is analysed, not just the source?
Aucun commentaire:
Enregistrer un commentaire