Module : Sécurité et fiabilité au niveau sytème
Description
La sécurité et la robustesse d’un système embarqué sont parfois mises de côté lors du développement car l’objectif fonctionnel prend le dessus. Cependant, afin de garantir un fonctionnement fiable de notre système, il est primordial d’implémenter certains mécanismes afin de prévenir les erreurs pouvant survenir dans l’opération de notre produit.
Ce module présentera les concepts de développement de systèmes embarqués pour applications critiques. Les méthodes actuelles de détection et de correction d’erreur seront mises en avant autant dans l’architecture du système que dans la communication entre les composants.
Objectifs
Ce module s’adresse aux ingénieurs qui souhaitent se former dans le développement de systèmes pour des applications dans lesquelles la sécurité ou la robustesse est importante.
A travers la théorie et des laboratoires pratiques, cette formation familiarise l’ingénieur avec le développement d’applications critiques, en lui proposant des architectures éprouvées, en passant à travers les défaillances présentes dans les systèmes embarqués et en proposant des outils pour les éviter ou les corriger. Il aura l’occasion d’effectuer des tests et implémenter les fonctions vues en cours sur un système embarqué afin d’en prouver l’efficacité.
Sujets traités
- Architectures hardware/software reconnues dans l’industrie (Lockstep, Redondances, Watchdog...)
- Erreurs de conception communes et faiblesses des systèmes embarqués (conception et opération)
- Mécanismes de détection et correction d’erreur (conception robuste)
- Sécurisation des protocoles de communication (Black/White channel)
Travaux pratiques
Lors de chaque cours, des exercices de mise en pratique seront effectués. Les mécanismes de détection et correction de défaillance implémentés et testés (à définir : carte xxx fonctionnant en lockstep).
Projet intégré
Un projet à réaliser sur la totalité de la durée du module permettra de mettre en œuvre les concepts abordés durant les cours et de les consolider.
Inscription
Ce module fait partie du CAS en Systèmes embarqués.
Documents demandés :
- lettre de motivation
- curriculum vitae
- diplômes
- pièce d'identité valable
- permis de séjour
- carte AVS
- justificatif de paiement de la taxe
Contact
Jacques Supcik, Responsable du CAS
Information et administration
+41 26 429 66 06
+41 26 429 65 98
Modalités d'évaluation
L’évaluation du projet intégré ainsi que les exercices effectués chaque semaine permettront de valider l’ensemble du module. Un rapport, le code source ainsi qu’une présentation serviront à l’évaluation du module. La réussite du module sera certifiée par une attestation avec la mention « module réussi ». En cas d’échec, une attestation sera délivrée avec la mention « a suivi le module ».
Littérature
A COMPLETER
Mode d'admission
- Formations requises :
- Bachelor en informatique, télécoms, génie électrique ou équivalent
- 3 ans d’expérience dans le développement de systèmes embarqués
- Connaissances préalables :
- Pas de connaissances préalables requises
- Bases dans le domaine de l’architecture hardware
- Bases dans le domaine des réseaux
Organisation
Organisation
Haute école d’ingénierie et d’architecture de Fribourg, Service de la formation continue
Haute école spécialisée de Suisse occidentale HES-SO
Responsable du module
Eric Silva, adjoint scientifique HES
Cours
-
cours : jeudi des semaines 08 à 15 en 2022
(24.02, 03.03, 10.03, 17.03, 24.03, 31.03, 07.04, 14.04.2022) -
workshop : samedi : semaine 13 en 2022
-
Mode : présentiel