Timeline for Why is Python used on aircraft although it may not be certifiable?
Current License: CC BY-SA 3.0
12 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 14, 2017 at 18:16 | comment | added | selectstriker2 | That's why we test and verify everything, just make sure that the compiler didn't generate machine code that behaves differently than is expected | |
Oct 13, 2017 at 19:28 | comment | added | supercat | ...but compilers for such systems may sometimes decide that since the Standard imposes no requirements on what happens if code compares two unrelated pointers, they should assume code will never do so. | |
Oct 13, 2017 at 19:27 | comment | added | supercat | @PeterA.Schneider: A major problem with C is that while the Standard notes that implementations often usefully expose documented features of the execution environment in cases where the Standard would otherwise impose no requirements, and low-level programming often requires use of such features, there's no standard means by which code can indicate that it requires e.g. the ability to use relational operations to test whether two pointers identify overlapping regions of storage. Linear-address systems will generally define a global transitive ordering relation among all pointers... | |
Oct 13, 2017 at 6:50 | comment | added | T. Archer | @mbrig Currently working on the Eurofighter so I can confirm, it's all over the Typhoon (and the Tornado). I believe it was mandated by the MOD way-back-when. | |
Oct 12, 2017 at 22:42 | comment | added | reirab | @FreeMan I'd imagine that EuroFighter and Rolls use the U.S. DoD-developed Internet, too. :) DoD develops a lot of things. | |
Oct 12, 2017 at 21:06 | comment | added | FreeMan | @mbrig I find it amusing that the US DOD developed ADA is being used in the EuroFighter and the British (well, sort of... OK in name only) Rolls-Royce engines. | |
Oct 12, 2017 at 17:50 | comment | added | mbrig | @Peter The SPARK/Ada people claim it sees use in the EuroFighter and Rolls-Royce engines. I really like the idea of language provability, but it definitely seems like a niche feature. | |
Oct 12, 2017 at 13:47 | comment | added | selectstriker2 | I've worked on safety critical avionics software for the past 10 years or so, and in that time I've never seen Ada used. I know some large companies may use it for some projects, but it isn't taught in most colleges. C/C++ tends to be the most widely taught bare metal language. | |
Oct 12, 2017 at 12:59 | comment | added | Peter - Reinstate Monica | I enjoyed Ada 83 a lot when it was taught in my college, partly in order to create a level playing field for the students. I found that when I put its features to good use my programs were a lot less likely to crash than with C or C++. I find especially C++ extraordinarily toublesome as a language (and I have been using it for >20 years now, and read the last three standards -- ok, maybe that's why). C is not exactly safe but at least a small language which is easy to completely grasp (the language, not the libraries). So is Ada indeed phased out even in avionics? That would be sad. | |
Oct 12, 2017 at 9:38 | history | edited | T. Archer | CC BY-SA 3.0 |
added 8 characters in body
|
Oct 12, 2017 at 9:08 | review | First posts | |||
Oct 12, 2017 at 9:18 | |||||
Oct 12, 2017 at 9:07 | history | answered | T. Archer | CC BY-SA 3.0 |