EMBEDDED OFFICE Flexible Safety RTOS
- Fournisseur : EMBEDDED OFFICE
- Solutions : Noyaux / RTOS
Micro noyau temps réel intégrant les fonctions de protection mémoire MPU/MMU et pré-certifié pour IEC 61508, IEC 62304, ISO26262 et EN50128.
RTOS SECURITAIRE FLEXIBLE
Un système d'exploitation temps réel (RTOS - Real-Time Operating System) fournit des services qui aident à gérer la complexité sans cesse croissante du développement de logiciels dans les systèmes embarqués. Par rapport à un système d'exploitation (OS) comme Linux ou Windows, le RTOS de Embedded Office fournit :
- Gestion déterministe et temps réel des événements
- Un scheduler capable de respecter les délais
- Utilisable des microcontrôleurs minuscules aux gros processeurs
La vidéo suivante donne un aperçu du RTOS Flexible Safety
SYSTÈME D'EXPLOITATION TEMPS RÉEL PRÉ-CERTIFIÉ
Le moyen le plus efficace d'utiliser un composant logiciel consiste à utiliser un composant pré-certifié. Le plus gros effort est déjà fait et aucune connaissance interne approfondie n'est requise. L'équipe de développement peut se concentrer sur le développement de fonctionnalités ce qui réduit les efforts.
CAPACITÉ DE SÉCURITÉ
Le Flexible Safety RTOS est pré-certifié pour la plupart des normes, ce qui permet l'évaluation des composants.
Le Flexible Safety RTOS est pré-certifié pour la plupart des normes, ce qui permet l'évaluation des composants.
- Automobile : ISO 26262 - ASIL D
- Industriel : CEI 61508 - SIL 3
- Médical : IEC 62304 - Classe C
- Ferroviaire : EN 50128 - SIL 4
INDÉPENDANCE DU COMPILATEUR
La certification est effectuée de manière à ce qu'aucun compilateur certifié ne soit requis. La correspondance de pré-certification à n'importe quel compilateur ANSI-C peut être fournie. Les compilateurs populaires et largement utilisés sont :
La certification est effectuée de manière à ce qu'aucun compilateur certifié ne soit requis. La correspondance de pré-certification à n'importe quel compilateur ANSI-C peut être fournie. Les compilateurs populaires et largement utilisés sont :
- IAR Embedded Workbench
- TASKING
- ARM/Keil
- HighTec
CERTIFICAT DE SÉCURITÉ
Des organismes d'évaluation indépendants ont vérifié le développement à plusieurs reprises et confirment la capacité de sécurité du noyau Flexible Safety RTOS.
Des organismes d'évaluation indépendants ont vérifié le développement à plusieurs reprises et confirment la capacité de sécurité du noyau Flexible Safety RTOS.
- Certificat de sécurité des composants
- Manuel de sécurité
- Manuels d'utilisation et d'intégration
CERTIFICATION
Le processus de développement et de certification est conçu pour atteindre la plus grande flexibilité possible pour tous les clients du noyau Flexible Safety RTOS :
Le processus de développement et de certification est conçu pour atteindre la plus grande flexibilité possible pour tous les clients du noyau Flexible Safety RTOS :
- Sélection libre d'appareils avec un cœur donné
- Modifier les paramètres et les versions du compilateur
- RTOS est indépendant de tout fournisseur de composants
Services & Fonctions assurés par le noyau pré-certifié Flexible Safety RTOS
Le noyau Flexible Safety RTOS amène à votre équipe de conception système tous les services qu'un noyau moderne temps réel doit offrir. Vous apprécierez les conventions de nommage simples et directes des fonctions API.
TIMMING
- SCHEDULEUR MULTITACHES : Le Scheduler est l’élément principal d’un noyau en charge d’ordonnancer les tâches
- TIMER LOGICIEL : Le service de Timer Logiciel permet l’exécution de fonctions de call back à des timings spécifiques
SAFETY
- PROTECTION MEMOIRE : La protection mémoire gère les éléments MPU ou MMU du composant
- SURVEILLANCE DU MATÉRIEL : Ce module permet la surveillance de certains composants matériels
SYNCHRONISATION
- EVENEMENTS : Le service de gestion des évènements permet la synchronisation sur de multiples conditions
- SEMAPHORE : Gestion de sémaphores binaires et compteurs
RESSOURCES
- GESTION MEMOIRE : Gestion de blocs mémoire de tailles équivalentes appelés Partitions
- MUTEX : Permet d’éviter l’inversion de priorité dans l’accès à des ressources partagées
COMMUNICATION
- QUEUE : File d’attente permettant le transfert de données entre les tâches
- MAILBOX : Le service de Mailbox permet l’échange sur évènement d’un paquet de données
- MEMOIRE PARTAGÉE : Ce service permet d’affecter une zone mémoire à une ou plusieurs tâches avec permission d’écriture
EXTENSION
- HOOK : Le noyau fourni un ensemble de fonctions hook permettant d’étendre certain fonctions système
L’assurance de la Sécurité/Sûreté fonctionnelle
Au cours du développement de produits critiques, vous souhaitez minimiser les possibilités de défaillances. Ceci est valable pour tous les acteurs impliqués tout au long du cycle de vie d’un produit critique. Cela implique que les librairies logicielles tierces telles qu’un noyau doivent garantir :
Ce processus de gestion de la sécurité fonctionnelle est appliqué tout au long du développement du noyau et a été validé par des autorités indépendantes telles que :
- Une gestion maitrisée des risques liés à la sécurité fonctionnelle
- Un processus de développement bien établi
- Une surveillance en continu du noyau
- Un suivi pro-actif des rapports de maintenance
Ce processus de gestion de la sécurité fonctionnelle est appliqué tout au long du développement du noyau et a été validé par des autorités indépendantes telles que :
