Formation : Les systèmes temps réel

Les objectifs de la formation " Les systèmes temps réel et la modélisation logicielle SDL "
- Présenter les caractéristiques des systèmes temps réel et la problématique de développement des logiciels .
Le noyau microC-OSII sert de base poour illustrer les mécanismes mis en œuvre dans les systèmes
- Présenter le langage SDL ( Specification and Description Language ) comme un exemple de formalisme permettant la modélisation formelle et le développement de logiciel embarqué .
Les modèles SDL peuvent être simulés dans un environnement adéquat et traduits ensuite en langage C .
Les mécanismes de traduction en programmes C exécutables sur des cartes temps seront présentés

- Caractéristiques des systèmes temps réels
- Les concepts de base des systèmes d'exploitation et noyaux temps réel
- Les notions de tâches, de ressources, les services d'un noyau temps réel
- Les politiques d'ordonnancement, les mécanismes de synchronisation et de communication
- Le noyau microC-OSII - Le langage SDL et un environnement de développement et de simulation
- La traduction de modèles SDL en programmes C