Heu les système électronique en logique cablé oui. Quand on commence a parler de processeurs programmés ce n'est pas la même chose, on peut avoir des bugs. Alors effectivement il y a des méthodes formelles pour obtenir des garantie, sauf que actuellement les constructeurs automobiles ne les utilisent pas, ou peu.
[^] # Re: Intérêt ?
Posté par Joris R (site web personnel, Mastodon) . En réponse au journal Vers un OS automobile ?. Évalué à 2.