ADA/SPARK already owns this space.
This is also why car makers name their cars things like "Jeep Expedition" or "Ford Escape". The name doesn't change the car, but it does make it more exciting.
In this case, a 141 page highly dense (and frankly
boring to read) document is in its essence a liability
So, do you think that the intent was for developers to memorize this document?Or do you think the expectation was something more reasonable, like using this document as a tool to configure linting tools so that developers could get realtime feedback as they code?
A large segment in this article (which is great overall) focuses on this decision. The short summary is "hiring Ada developers was hard and middleware and tooling were difficult to acquire."
While I've moved through a lot of parts of the software industry and may just be out of touch, I actually feel that this may be less the case today. I've seen a lot of school programs focus less on specific languages and frameworks and more on fundamental concepts, and with more "esoteric" languages becoming popular in the mainstream, I actually think hiring Ada developers would be a lot easier today (plus, big industry players like NVIDIA are back to using Ada since AdaCore have been so effective at pushing SPARK, which probably helps too).
These days they are even more comfortable using C++ than they were back then due to improvements in process, tooling, and language.
> (12) Multiply paper work in plausible ways. Start duplicate files.
> (13) Multiply the procedures and clearances involved in issuing instructions, pay checks, and so on. See that three people have to approve everything where one would do..
> (14) Apply all regulations to the last letter.
[1] https://www.cia.gov/static/5c875f3ec660e092cf893f60b4a288df/...
[1] https://en.wikipedia.org/wiki/Lockheed_Martin_F-35_Lightning...
The obvious expectation here is that these rules would be incorporated into some kind of automated linting tool.
I really need to get the fuck out of this industry.
I’m a TS + Java person. Is this specific to C++ or is it just due to control freaks with low abstraction skills?
> MISRA-C was used as the basis for the C applications and a coding standards was developed with the assistance of Bjarne Stroustrup, original author of the C++ language. For both C and C++ Static Code Analysis (SCA) tools are used to ensure that restricted features are not utilized. Arguments about the lack of reliability in either C or C++ are addressed by programming standards restrictions and SCA checks. In truth, this approach is probably more consistent and robust than the manual checks used for previous development efforts including Ada.
But C/C++ certainly did well enough for Lockheed Martin considering it's now one of their principal languages, if not the principal.
sema4hacker•11h ago