Hello all, I have been following the recent clashes between various participants (see the post "Compiling differences between C51 v7.03 and v8.06" or "introducing the smoked sardine complex" :) :) ). C was given, I think, a unjustified bash in that post. I wouldn't like to have been compelled to explicitly cast too often. Most potentially dangerous casts can be filtered out by a static code analyzer. Can you give an example of more strongly-typed languages than C that are used in embedded development?
Newer versions of C++ do have RTTI and more advanced cast operations to help a user that cares.
People who do not apply engineering will most probably fail with whatever tool they lay their hands on.
You can use FEM to simulate the stress on a mechanical structure. If the builder then decides to switch material, the FEM simulation will not help.