Trier par :

• Pertinence
• Date de réalisation
• Durée

Nombre de programmes trouvés : 766

Label UNT Conférences

le 03/07/2014 (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 02/01/2019 (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 02/01/2019 (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 02/01/2019 (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 02/01/2019 (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 02/01/2019 (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 02/01/2019 (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 18/01/2012 (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 10/02/2016 (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 13/02/2019 (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