Composante
INSA Hauts-de-France
Description
Cette ECUE concerne et approfondit :
- les principes fondamentaux (tâche, ordonnancement, respect de contraintes de temps, interactions entre tâches),
- la gestion de ressources, la coordination entre tâches, l’échange de données entre tâches et entre tâches et systèmes physiques,
- les principes de mise en oeuvre (exécutif, osTR, cycle de développement, outils de développement),
- la preuve du respect de la logique d’une application (modélisation, vérification),
- la preuve du respect des contraintes de temps (modélisation, vérifications analytique et graphique),
- le développement d’une application orientée OC sous RTX et l’outil de développement uVision de Keil sur SOC Nordicsemiconductor, processeur ARM et module de communication smart BLE.