|
|
|
|
|
by kazinator
2884 days ago
|
|
> I've been involved in aerospace for quite some time. That's nice; not all engineering is aerospace and not all aerospace processes are always appropriate everywhere else. Even in aerospace, still I don't want to write code that depends on knowing exactly how the compiler works. I will write code mostly to the language spec. Then treat the compiler as a black box: obtain the object code, and verify that it implements the source code (whose own correctness is separately validated). Safety is not treated the same way regardless of project. For instance, an electronic device that has a maximum potential difference of 12V inside the chassis is not designed the same way, from a safety point of view, as one that deals with 1200V. |
|