I have a substantial amount of embedded systems experience. More than 10 years.
Note that what you are describing is almost always in fact faulty system behavior which is exactly the reason you need better architectures. Many systems shipping today have faulty behavior, it passes acceptance tests but is undefined for the reasons you mention.
Determinism and timing guarantees is almost always correct software behavior. (RNGs being isolated exceptions)
We could not fix the architecture for many systems for the obvious reasons, the cost in labor to rewrite it. Which disappears if you can ask an AI to do it in a series of well defined steps.
I have a substantial amount of embedded systems experience. More than 10 years.
Note that what you are describing is almost always in fact faulty system behavior which is exactly the reason you need better architectures. Many systems shipping today have faulty behavior, it passes acceptance tests but is undefined for the reasons you mention.
Determinism and timing guarantees is almost always correct software behavior. (RNGs being isolated exceptions)
We could not fix the architecture for many systems for the obvious reasons, the cost in labor to rewrite it. Which disappears if you can ask an AI to do it in a series of well defined steps.