Méthodes
Méthodes d'analyse, de modélisation et de développement
Au-delà d'une certaine taille, un système embarqué échoue moins à cause d'un code défaillant que de décisions prises sans moyen de les vérifier. La modélisation et l'analyse de sûreté servent à rendre ces décisions vérifiables avant que le matériel ne soit construit.
UML fournit une notation commune pour l'architecture et le comportement temps réel. La sûreté y ajoute les méthodes attendues par la certification : analyse des dangers, AMDEC et arbres de défaillance, traçabilité de l'exigence au test, et les preuves qu'un évaluateur réclame. Aucune ne remplace le jugement d'ingénieur, toutes le rendent inspectable.
Nos formations couvrent l'architecture logicielle avec UML, la modélisation temps réel, et le cycle de vie de la sûreté des systèmes critiques, avec les normes qui l'encadrent et les documents qu'un projet doit produire.
Cours disponibles
FreeRTOS est un système d'exploitation temps réel (RTOS) léger, conçu pour gérer les tâches dans des applications embarquées. Le cours Real Time Programming with FreeRTOS d'AC6 vous guide à travers la conception et l'implémentation d'applications en temps réel, en mettant l'accent sur des aspects cruciaux tels que task scheduling, synchronization et memory management. Destiné aux développeurs ayant une compréhension de base des systèmes temps réel, ce cours offre une solide fondation en développement avec FreeRTOS, permettant aux participants de concevoir, implémenter et debugger efficacement des applications en temps réel pour des solutions IoT et embarquées modernes.
Les systèmes embarqués sont de plus en plus critiques et doivent répondre à des contraintes de sureté de fonctionnement de plus en plus drastiques. Cette formation vous présente les différents concepts et les standards qui s'appliquent aux systèmes critiques.
Les systèmes embarqués sont de plus en plus complexes et ne peuvent donc plus être conçus directement à partir des schémas existants. Il faut d'abord créer une architecture détaillée pour maîtriser et planifier correctement leur développement et leur intégration. Ce cours vous aidera à aborder ces phases efficacement et à éviter les pièges courants ; il vous expliquera pourquoi l'architecture logicielle est nécessaire et comment les processus d'architecture peuvent être mis en œuvre dans un contexte d'entreprise.
Le code embarqué et temps réel, particulièrement en environnement multi-cœur, ne peut être testé efficacement; il doit être validé avant le codage. Cette formation vous aider à maîtriser la programmation multitâches et temps réel des systèmes mono ou multi-cœurs et de comprendre comment résoudre ses problèmes en utilisant les primitives fournies par le système d'exploitation.