LynxOS 178 RTOS

13 avis

LynxOS-178 est un système d'exploitation en temps réel (RTOS) commercial prêt à l'emploi (COTS) conçu pour répondre aux exigences strictes des systèmes critiques pour la sécurité, en particulier dans l'avionique. Il prend en charge les plateformes x86, Arm et PowerPC et est construit sur des standards ouverts, garantissant compatibilité et flexibilité pour les développeurs. LynxOS-178 assure la sécurité et la sûreté grâce à une isolation stricte, appliquée par le matériel, entre les processus en temps réel, les applications, et les services et pilotes du noyau RTOS. Caractéristiques clés et fonctionnalités : - Certification de sécurité : LynxOS-178 a été certifié plusieurs fois au niveau de garantie de conception DO-178C Niveau A (DAL A), le plus haut niveau de certification de sécurité pour les systèmes embarqués. - Conformité aux normes : Le RTOS est entièrement conforme aux normes ARINC 653, POSIX et Future Airborne Capability Environment (FACE), facilitant la portabilité et la réutilisation des logiciels sur différentes plateformes. - Composant logiciel réutilisable (RSC) : LynxOS-178 est le premier et le seul RTOS partitionné en temps et en espace à avoir obtenu une récompense RSC de la Federal Aviation Administration (FAA), permettant aux développeurs de réutiliser des composants logiciels précédemment certifiés, réduisant ainsi les coûts et le temps de certification. - Support matériel : Il prend en charge les processeurs multicœurs sur les architectures x86, Arm et PowerPC, offrant une flexibilité dans le choix du matériel. - Partitionnement : Le RTOS offre un partitionnement en temps, espace et ressources, garantissant que les défauts ou surcharges dans une partition n'affectent pas les autres, améliorant ainsi la fiabilité et la sécurité du système. Valeur principale et résolution de problèmes : LynxOS-178 répond au besoin critique d'un RTOS fiable et certifiable dans les applications critiques pour la sécurité, en particulier dans les industries aérospatiale et de défense. En adhérant aux standards ouverts et en obtenant des certifications de sécurité de haut niveau, il permet aux développeurs de créer des systèmes à la fois sécurisés et interopérables. La certification RSC réduit considérablement le temps et le coût associés au processus de certification, permettant des cycles de développement plus rapides et une utilisation plus efficace des ressources. De plus, son support pour plusieurs architectures matérielles et sa conformité aux normes industrielles garantissent que LynxOS-178 peut être intégré de manière transparente dans une large gamme de systèmes, fournissant une base robuste pour les applications critiques.

LynxOS®-178 RTOS

11 avis

L'industrie du logiciel se préoccupe de la sécurité et fait face à de grands défis pour rendre le processus de certification (à n'importe quelle norme) plus répétable, plus efficace et plus rentable. L'industrie générale du logiciel travaille sur la réutilisation et la modularité des logiciels depuis de nombreuses années, mais ces concepts n'ont qu'effleuré la surface de l'industrie DO-178B.

LynxSecure Separation Kernel Hypervisor

0 avis

LynxSecure est fourni avec des outils de développement et de configuration qui offrent un contrôle en temps réel et granulaire sur les ressources de la plateforme matérielle pour gérer l'allocation des ressources du système d'exploitation invité, la planification de l'exécution et l'intercommunication.

LynxOS RTOS

0 avis

LynxOS est un système d'exploitation en temps réel déterministe qui offre des API conformes à POSIX dans un noyau embarqué à faible empreinte. LynxOS offre un support de traitement multi-symétrique pour tirer pleinement parti des processeurs multi-cœurs/multi-threads. LynxOS 7.0 inclut de nouvelles chaînes d'outils, des débogueurs et un support de développement croisé sur hôte.