Sécurité et sûreté de fonctionnement l'embarqué mobile 2

Cnam Languedoc-Roussillon
À Montpellier

Prix à consulter
Désirez-vous contacter un conseiller pour cette formation ?

Infos importantes

Typologie Formation
Lieu Montpellier
Début Dates au choix
  • Formation
  • Montpellier
  • Début:
    Dates au choix
Description

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

Installations

Où et quand

Début Lieu
Dates au choix
Montpellier
989 Rue de la Croix Verte - Parc Euromédecine, 34093, (34) Hérault, France
Voir plan
Début Dates au choix
Lieu
Montpellier
989 Rue de la Croix Verte - Parc Euromédecine, 34093, (34) Hérault, France
Voir plan

Opinions

0.0
Non évalué
Évaluation de la formation
75%
Recommandé
3.8
fantastique
Évaluation du Centre

Opinions sur d'autres formations de ce centre

Dessinateur Projeteur en Bâtiment

J
jean olivier
2.0 16/02/2010
Le meilleur de la formation: Cette formation n'est pas du tout une formation de dessinateur projeteur, mais plutôt une mise en bouche du métier..... avec des professeurs qui ne sont pas pédagogues, il ne faut pas s'attendre à être opérationnel après une telle formation dans laquelle on ne développe pas le Baba du métier: descente de charge, calcul de section....rien n'est abordé... bref très décevant, en espérant qu'elle s'améliore avec le temps..... Du plus pour Monsieur De varenne pour la RDM1: lui était très bien!
Recommanderiez-vous cette formation ?: Oui

Technicien en Froid et Climatisation

A
alboury faty ndiaye
5.0 01/10/2010
Le meilleur de la formation: les cours de pratiques
À améliorer: les cours d'electrotechnique
Recommanderiez-vous cette formation ?: Oui

Opinion sur le centre

A
anne sophie macor
5.0 01/09/2006
Le meilleur de la formation: méthode des professeurs qui étaient en même temps des professionnels, donc la formation était vraiment concrète et centrée sur nos besoins
À améliorer: les cours du soir sont vraiment contraignants, peut-être prévoir des week-ends de formation (par exemple 1 par mois)
Recommanderiez-vous cette centre de formation ?: oui

Certificat de compétence Gestionnaire de paye

C
Coralie Fernandez
3.0 01/10/2015
Le meilleur de la formation: La possibilité de se former hors temps de travail de façon individuelle à prix réduit, sachant qu'il existe des facilités de paiement. De plus, il est possible d'étaler l'inscription aux unités sur quatre ans, délai maximum pour valider entièrement la certification. La plateforme d'accès au cours offre la possibilité d'échanger à la fois avec les enseignants mais aussi les auditeurs, ce qui facilite le développement d'un réseau professionnel. Suivant les formations, les cours ont lieu en présentiel (le soir ou en séminaire le samedi) et/ou à distance. Cette offre permet de se former tout en conciliant vie professionnelle et personnelle. Les sessions d'examen se déroulent le samedi en fin de semestre ou en continu lors des séances.
À améliorer: L'inconvénient est la pratique professionnelle lorsque le poste actuel n'est pas en lien direct avec le diplôme visé. En effet, soit il faut penser à changer d'employeur pour viser un emploi approprié d'un an minimum, soit il faut trouver un arrangement pour effectuer un stage de 3 mois à temps plein.
Recommanderiez-vous cette formation ?: Non

Qu'apprend-on avec cette formation ?

Mobile

Programme

Contenu Présentation approfondie des techniques de cryptographie et des protocoles réseau pour obtenir des propriétés de sécurité désirées. Nous sensibiliserons les étudiants par la présentation de quelques attaques algébriques et des attaques sur les protocoles pour en dégager des grands principes de design des protocoles sécuritaires. Nous présenterons les efforts de formalisation et de certification des politiques de sécurité. Le cours sera complété par des interventions plus spécifiques :
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.

Ceux qui ont consulté cette formation ont également consulté...
En voir plus