Formation indisponible à l'heure actuelle
Sécurité et sûreté de fonctionnement l'embarqué mobile 2
Formation
À Montpellier ()
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Description
-
Typologie
Formation
Missions, moyens et organisation
Le Cnam est placé sous la présidence de Jean-Paul Herteman, P-DG du groupe Safran, et dirigé par Olivier Faron.
Il remplit trois missions principales:
la formation professionnelle supérieure tout au long de la vie,
la recherche technologique et l'innovation,
la diffusion de la culture scientifique et technique.
Le Cnam offre des formations développées en étroite collaboration avec les entreprises et les organisations professionnelles afin de répondre au mieux à leurs besoins et à ceux de leurs salariés. Cette UE apparaît dans les diplômes et certificats suivants : Entrée
MR069p-1 Master Sciences, technologies, santé mention informatique spécialité systèmes embarqués mobiles et sûrs (voie recherche et professionnelle)
Centres d'enseignement
Les Avis
Les matières
- Mobile
Le programme
Nous présenterons les travaux sur la détection d'intrusion dans les domaines dans l'embarqué en particulier dans les réseaux de capteurs.
Nous présenterons les problèmes de sécurité dans le domaine des RFIDs,..
Nous parlerons aussi de la formalisation des politiques de sécurité et leur certification à l'aide d'assistants de preuve. Dans le même esprit nous présenterons l'utilisation de model-checker pour la vérification des politiques de sécurité.
Nous aborderont la détection statique des canaux cachés dans les compilateurs (bien sur ce n'est pas spécifique des systèmes embarqués, mais c'est essentiellement dans ce domaine que les gens se sont penchés sur la question . . .) Pour la partie sûreté de fonctionnement, on insistera sur la mise en oeuvre des méthodes présentées dans l'U.E. STAP et de leur utilisation conjointe dans le cadre des normes définissant les familles des métiers de l'embarqué.
Évitement des erreurs de conception logicielle : méthodes de spécification formelle, langages formels et preuve, processus de développement formel, approche B, approche synchrone, langages d'expression et de vérification de propriétés.
Détection des erreurs d'exécution : analyse statique fondée sur l'interprétation abstraite, techniques d'élimination des erreurs (AEEL, règles de codage et de relecture critique de code), test. - Processus de développement de systèmes sûrs à logiciel prépondérant : caractérisation des exigences, choix d'architecture, choix au niveau du logiciel, logiciels off the shelff, démarche constructive, traçabilité du profil sûreté de fonctionnement.
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Sécurité et sûreté de fonctionnement l'embarqué mobile 2