yes, what you have to ask is if it is possible to "certify" a SW system, because that is the key role of the whole "engineer" mess.
basically, a bridge build according to regulation is deemed safe
can you do that on systems engineering ? no, not unless you basically "freeze" the tech landscape and certify it
The key point I am trying to say: You need to look beyond the simple statement, to the consequences
Have a look at what this guy is up to.
https://research.unsw.edu.au/people/scientia-professor-gernot-heiser
I have gray hair and around 30 years ago transputers where the thing, to be used for "formal programming"
guarantee to be provable true
obviously there is a catch, the whole issue is moved to the "specification" and that becomes another language
it is turtles all the way down
Shit, somebody else who has used transputers. My masters was in distributed systems using transputers..
(post is archived)