On Tue, Jan 29, 2019 at 11:15:37AM +0100, ajh-valmer wrote: > Linux utilisé sur les systèmes non critiques, > et sur les systèmes critiques, quel est OS utilisé ? PikeOS, WindRiver, LynxOS, Integrity, ... y'en a plein, dont par exemple ECos qui est également OpenSource, mais je ne crois pas qu'il y ai d'open source qui soit également certifiable. Y.