Résultats de recherche
Nombre de programmes trouvés : 766
Label UNT Conférences
le
(34m33s)
Test et vérification automatique pour systèmes musicaux interactifs
... exhaustif, ce qui demande un traitement automatique. Nous verrons comment des méthodes formelles pour la vérification ou le test de systèmes embarqués peuvent être appliquées dans ce cadre, se basant sur des modèles formels de partitions augmentées....
Voir la vidéo
Label UNT Vidéocours
le
(13m31s)
Propos liminaire (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Première partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours
le
(9m26s)
Exécution symbolique (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Deuxième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours
le
(9m52s)
Raisonnement mathématique (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Quatrième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours
le
(10m9s)
Récursivité (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Troisième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours
le
(4m48s)
Conclusion (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Sixième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours
le
(8m3s)
Assistant de démonstration (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Cinquième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Conférences
le
(59m3s)
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables numériques (entiers et réels) il faut utiliser des notions géométriques telles que les intervalles et les polygones. Nous montrons ensuite que l'analyse des boucles (boucles while et boucles for) requiert des techniques d'accélération. Nous terminons avec des exercices réalisés avec l'outil concurinterproc qui permet d'analyser un ...
Voir la vidéo
Label UNT Conférences
le
(57m54s)
Architectures multi-coeurs, fiabilité et optimisation
Présentation des principes généraux de l'optimisation multi-critères et de l'ordonnancement pour les systèmes temps-réel embarqués. En particulier les notions d'optimum de Pareto et les techniques d'ordonnancement de liste. Ensuite sera présenté en détail un cas particulier d'ordonnancement multi-critères (temps d'exécution, consommation énergétique, fiabilité).
Voir la vidéo
Label UNT Conférences
le
(30m42s)
Ordonnancement pour systèmes temps réel : conception et vérification
Un système informatique est dit "temps réel" dès qu'il doit répondre à un stimulus dans un délai donné. Les système informatiques embarqués dans les avions et les voitures sont ainsi soumis à des contraintes temps réel. Pour de tels systèmes, il faut concevoir et vérifier des techniques d'arbitrage de l'utilisation des ressources (processeurs, bus, mémoires, etc.) entre les différentes opérations à effectuer en concurrence (calcul, communication, etc.). C'est l'objet de l'ordonnancement temps réel, et nous donnerons un aperçu des problèmes de recherche actuels en lien avec l'évolution des besoins dans l'industrie.
Voir la vidéo