PharOS (OASIS Automotive) est un système d'exploitation sécurisé et une chaine d'outils utilisés pour la conception, la réalisation et l'exploitation de système temps-réel dans le domaine des véhicules à moteur. L'outil PharOS est utilisé dans le projet EDONA.
Le projet OASIS offre un cadre rigoureux permettant d'effectuer la conception multitâches temps-réel déterministe d'une application de sûreté. Il offre la possibilité de réaliser des systèmes temps-réel critiques plus sûrs, en se fondant sur des méthodes de conception, de réalisation, de test et de qualification.