Sinon, ils ont les sources, quand a l'independance technologique, vu qu'ils n'ont tout simplement pas les moyens de maintenir un OS eux-meme, c'est un faux probleme(eh oui, c'est tres complexe et cher a faire, la SSII du coin, meme une grosse n'en a pas les moyens).
Comment dire... des entreprises comme Thales n'ont pas vraiment que les moyens des grosses SSII... ;-)
Beaucoup de systèmes critiques utilisent des OS propriétaires (j'imagine que Thales en a plusieurs en interne, y en a un qui tourne sur l'avionique A380 par exemple) ou même pas d'OS du tout (est-ce qu'un séquenceur est encore un OS ?)
C'est un problème de qualif et surtout de maitrise du comportement de l'OS (pour une illustration de ceci voir le bug de Pathfinder le rover martien, la NASA a utilisé VxWorks sans vraiment maitriser le comportement sur les sémaphores ce qui a conduit au bug...)
[^] # Re: Critique = faut que ça marche sans bug et tout le temps
Posté par gege (site web personnel) . En réponse à la dépêche Thales met à disposition un framework à composants logiciels visant les systèmes critiques. Évalué à 5.
Sinon, ils ont les sources, quand a l'independance technologique, vu qu'ils n'ont tout simplement pas les moyens de maintenir un OS eux-meme, c'est un faux probleme(eh oui, c'est tres complexe et cher a faire, la SSII du coin, meme une grosse n'en a pas les moyens).
Comment dire... des entreprises comme Thales n'ont pas vraiment que les moyens des grosses SSII... ;-)
Beaucoup de systèmes critiques utilisent des OS propriétaires (j'imagine que Thales en a plusieurs en interne, y en a un qui tourne sur l'avionique A380 par exemple) ou même pas d'OS du tout (est-ce qu'un séquenceur est encore un OS ?)
C'est un problème de qualif et surtout de maitrise du comportement de l'OS (pour une illustration de ceci voir le bug de Pathfinder le rover martien, la NASA a utilisé VxWorks sans vraiment maitriser le comportement sur les sémaphores ce qui a conduit au bug...)