Programmation de Systèmes Sûrs

Le service de formation continue de l’UPMC figure parmi les premiers centres de formation continue universitaire en France. Son offre complète de formations lui permet d’apporter une réponse adaptée et personnalisée aux besoins des professionnels, des entreprises, collectivités et administrations. Techniques de programmation temps-réel asynchrones : définition du temps réel, sûreté, vivacité ponctualité, réactivité, confiance, gestion de la concurrence. Exécutifs temps réel et leur interface, ordonnancements, gestion des ressources, méthodes pour la tolérance aux fautes logicielles et temporelles. Analyse, spécification, conception (SART, UML, DARTS). Programmation concurrente asynchrone pour le temps réel : outils et schémas de synchronisation, partage de ressources, interblocage, optimisations, reprise sur ex-ceptions, exploitation du temps, validation de la concurrence. Programmation de bas niveau. Étude(s) de cas.

Langages synchrones :
L'approche synchrone (modèle, sémantique). Présentation de langages synchrones : Esterel, Lustre et Signal. Techniques de compilation. Vérification par modèle. Exécution répartie de programmes asynchrones.

Programmation répartie :
Introduction à la programmation répartie : modèles de répartition, modèles d'exécution. Les supports de la réalisation : réseaux, protocoles, composants. Algorithmique, tolérance aux pannes, sécurité.