Même avec un OS, je ne vois pas ce qui empêche de définir des contraintes temps réel mou.
Tu dois pouvoir écrire un modèle d'OS du style, tu as 90 % de chance de te prendre une IT qui dure 10 us, 9% quel dure 100us, 1% 800 μs. Idem pour bon nombre des appels systèmes.
Tu perds beaucoup en précision mais cela reste utile. On peut faire plein de choses avec des probabilités.
[^] # Re: Se passer des tests ...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.
Tu dois pouvoir écrire un modèle d'OS du style, tu as 90 % de chance de te prendre une IT qui dure 10 us, 9% quel dure 100us, 1% 800 μs. Idem pour bon nombre des appels systèmes.
Tu perds beaucoup en précision mais cela reste utile. On peut faire plein de choses avec des probabilités.
"La première sécurité est la liberté"