Tu crois que cela ressemble à quoi des vrai spec ?
Ché pas, j'en ai jamais vu :)
Je faisais un référence un peu trop subtile à un défaut d'un cruise control de toyota qui s'est fait démonté par un expert aéronautique pour un procès : il ne se désactivait pas si la pédale de frein était enfoncé...
Houla, on parle de gens qui ont utilisé un OS spécialisé dans une version non certifiée en violant une tétra-chiée de règles du MISRA-C :D
En plus, le partitionnement de l'applicatif était foireux et j'en passe et des meilleures.
Au passage, si la NASA a bien fait une première étude, l'expert, Michael Barr, n'est pas issu de l'aéronautique.
[^] # Re: Le cerveau n'est pas logique
Posté par Blackknight (site web personnel, Mastodon) . En réponse au journal Pourquoi la recherche en langages de programmation ?. Évalué à 3.
Ché pas, j'en ai jamais vu :)
Houla, on parle de gens qui ont utilisé un OS spécialisé dans une version non certifiée en violant une tétra-chiée de règles du MISRA-C :D
En plus, le partitionnement de l'applicatif était foireux et j'en passe et des meilleures.
Au passage, si la NASA a bien fait une première étude, l'expert, Michael Barr, n'est pas issu de l'aéronautique.
Allez, pour le plaisir, le rapport