3 ms·
Because the compiler is only correct if its execution environment is also correct. This cannot be guaranteed. And also because the relevant standards say so.
by gmueckl 8y ago
Because the compiler is only correct if its execution environment is also correct. This cannot be guaranteed.
And also because the relevant standards say so.
- fooker 8y agoCan you point me to these standards? I do research in this field and it would be helpful to refer to such standards in papers.
- gmueckl 8y agoFor traceability you would need to look at Do-178C. I am currently not aware that ISO 61508 (general functional safety) and ISO 26262 (automotive functional safety) require traceability between source code and executable machine code. All standards specify different levels of safety. Lower levels come with fewer requirements and are easier to implement, but are recognized as less reliable and therefore limited to less critical applications.