Re: VMS

On 6/20/25 4:57 AM, Lawrence D'Oliveiro wrote:

On Thu, 19 Jun 2025 08:40:31 +0100, Richard Kettlewell wrote:
 

The software industry has been trying this for decades now. It does not
work.

 There is a safety-critical spec for writing C code. It has been in
production use in the automotive industry for some years, decades now. How
often do you hear about software bugs in safety-critical car systems?

   DOES happen, but very rarely. Hurried 'updates' seem
   to be the main source.
   However, for now, car systems aren't a major target. It's
   banks, govt, infrastructure.
   As I said elsewhere - how do we KNOW the supposed "fixes"
   by post-'C' compliers didn't introduce a lot more potential
   flaws/errors ???
   Face it, our stuff is just TOO COMPLEX these days. It is
   NOT possible to pre-ID all possible flaws/interactions.
   Now a MAJOR cyber-war ... they COULD go after all the
   'connected' cars too - paralyze almost everything. May
   be good to have a pre-Y2K car handy, '64 Ford pickup ...
   all 'dumb-ware'  :-)