Objectifs
Au terme de ce cours, la personne étudiante sera en mesure de/d’ :
• Caractériser les couches de l’architecture logicielle des systèmes embarqués;
• Élaborer et maintenir les exigences des logiciels embarqués
• Spécifier des logiciels embarqués à l’aide de méthodes et des outils adéquats.
Contenu
Taxonomie et caractéristique des systèmes informatisés : réactif, temps réel, transformationnel. Systèmes synchrones et asynchrones. Système déterministe et système non-déterministe. Systèmes multitâches : ordonnancement préemptif, ordonnancement non préemptif, temps réel. Architecture matérielle des systèmes embarqués et des principes d’intégration des composants logiciels dans les systèmes embarqués. Couches et interfaces de programmation de l’architecture logicielle des systèmes embarqués : couche application, couche middleware, couche système d’exploitation, couche pilote de périphériques, couche matérielle; Cycle de vie et norme de développement des logiciels embarqués (DO 178/C, ISO 26262, AUTOSAR, etc.); Élaboration et maintenance des exigences des logiciels embarqués et outils (DOORS, Reqtify, Jama, Jira, Codebeamer, etc); Spécification des logiciels embarqués et outils (MARTE, AADL, UML, LUSTRE/Scade, Entreprise Architect, UPPAAL, etc); Étude de cas de la conception, du développement et du déploiement de logiciels embarqués dans les secteurs appliqués (Transport, Manufacturier, internet des objets, etc); Introduction à la vérification et au test des logiciels embarqués. Ce cours comporte des séances obligatoires de travaux dirigés (TD).