Académique Documents
Professionnel Documents
Culture Documents
EXCELLER
FRANCE 2017
EXPLORER EXCELLER
SINSCRIRE
2
TABLE DES MATIRES
AVA N C
MATLAB
12 Vrification et validation de modles Simulink
F O N D A M E N TA L
12 Gnration de code HDL avec Simulink
6 Les fondamentaux MATLAB
12 Traitement numrique du signal sur FPGA
6 Les fondamentaux MATLAB pour les applications arospatiales
12 Gestion et architecture de modles Simulink
6 Les fondamentaux MATLAB pour les applications automobiles
13 Modlisation de systmes de communication avec Simulink
6 MATLAB pour les applications financires
13 Programmation de SoCs XilinxZynq avec MATLAB et Simulink
INTERMDIAIRE 13 Radio logicielle avec Zynq utilisant Simulink nouveau
6 MATLAB pour le traitement et la visualisation de donnes
6 Techniques de programmation MATLAB
MODLISATION PHYSIQUE
7 Cration dapplications interactives avec MATLAB
7 Intgration de code C avec MATLAB INTERMDIAIRE
13 Modlisation de systmes physiques avec Simscape
7 Techniques doptimisation dans MATLAB
14 Modlisation de systmes lectriques de puissance avec Simscape
7 Traitement du signal avec MATLAB
14 Modlisation de systmes mcaniques multicorps avec Simscape
7 Traitement dimages avec MATLAB
14 Modlisation de systmes de fluides avec Simscape
7 Machine Learning avec MATLAB
14 Modlisation de systmes Driveline avec Simscape nouveau
7 Calcul parallle avec MATLAB
8 De MATLAB au langageC avec MATLAB Coder
8 MATLAB pour lallocation stratgique dactifs GNRATION DE CODE
8 Conception dalgorithmes de robotique dans MATLAB F O N D A M E N TA L
9 Mthodes de calcul statistique dans MATLAB 14 Test du code gnr dans Simulink
9 Modlisation de sries temporelles dans MATLAB AVA N C
PRODUITS POLYSPACE
INTERMDIAIRE
15 Polyspace Bug Finder pour lanalyse de codeC/C++ nouveau
AVA N C
15 Polyspace Code Prover pour la vrification de codeC/C++
www.mathworks.fr/2017training 3
INFORMATIONS PRATIQUES
MATLABAcademy. Apprenez vous servir de MATLAB Les prix incluent tous les supports pdagogiques. Le rglement doit
votre rythme, grce nos formations numriques en nous parvenir lors de linscription pour garantir votre participation.
ligne. Vous y trouverez notamment des dmonstrations, des
exercices et des questionnaires. MathWorks est enregistr auprs de
GARP en tant que fournisseur agr
Formation dans vos locaux. Les formateurs MathWorks
de crdits de formation professionnelle
personnalisent le programme en fonction des spcificits
continue (FPC).
et attentes des participants. Ils dveloppent un programme
rpondant aux objectifs spcifiques de votre quipe et comportant
des exemples propres votre entreprise ou votre secteur dactivit.
Sessions garanties
Lorsque vous vous inscrivez une formation dont la session
est garantie, vous tes assur que celle-ci ne sera ni
annule ni reporte.
4
NOS PARCOURS DE FORMATION
Nous vous recommandons de suivre les formations dans un certain ordre afin dacclrer votre matrise de MATLAB et Simulink. Nous avons
mis en place diffrents parcours afin de vous permettre dassimiler correctement les bases et de vous aider utiliser au mieux vos produits.
En voici quelques exemples. Nous vous suggrons de suivre les formations dans cet ordre si vous tes intresss par les domaines dexpertise
prsents.
Notez que tous les parcours ne sont pas rpertoris ici. Vous pouvez consulter les autres parcours sur www.mathworks.fr/2017training.
Programmation
Techniques de programmation
et dploiement
MATLAB
Fondamentaux Programmation oriente
dapplication:
MATLAB et objet avec MATLAB
Dveloppement et Calcul parallle avec MATLAB
gestion de code
Conception de
Conception de systmes de contrle
systmes de contrle et Simulink pour avec MATLAB et Simulink
la modlisation
dalgorithmes: Analyse et
de systmes et
et conception de systmes dalgorithmes Embedded Coder pour la
gnration de code de production
de contrle
CERTIFICATION MATLAB
Donnez un coup de pouce votre carrire avec la certification MATLAB! Vritable standard dexcellence, elle vous permet
de dmontrer votre matrise de MATLAB auprs de vos clients, partenaires et employeurs.
Pour les entreprises, la certification devient un investissement stratgique qui porte ses fruits en amliorant la productivit et
la russite de leurs projets. Les questions poses lors des examens trouvent leurs rponses dans nos formations MATLAB.
Pour connatre les dates, lieux et tarifs, veuillez consulter la page www.mathworks.fr/certification.
www.mathworks.fr/2017training 5
109%
La croissance moyenne des comptences avec MATLAB aprs
une formation
Selon les donnes 2015
Les fondamentaux MATLAB pour les applications MATLAB pour le traitement et la visualisation de donnes
arospatiales
intermdiaire
fondamental
Cette formation dune journe porte sur limportation et la
Conue partir du programme de la formation Les fondamentaux prparation de donnes pour des applications danalyse de donnes.
MATLAB, cette formation de trois jours sappuie sur des exemples Elle est destine aux analystes de donnes ainsi quaux data
et exercices concrets provenant du domaine de larospatiale et de la scientists qui souhaitent automatiser le traitement, lanalyse et la
dfense. reprsentation visuelle des donnes provenant de sources multiples.
Les sujets traits sont:
Prrequis: mathmatiques de niveau licence et matrise des bases Importation des donnes
de loutil informatique Traitement des donnes
Personnalisation de la reprsentation visuelle des donnes
Les fondamentaux MATLAB pour les applications Utilisation de donnes irrgulires
automobiles
Prrequis: Les fondamentaux MATLAB
fondamental
6
Cration dapplications interactives avec MATLAB Traitement dimages avec MATLAB
intermdiaire intermdiaire
Cette formation dune journe montre comment crer une interface Cette formation de deux jours fournit une exprience pratique sur
utilisateur interactive pour vos applications MATLAB. Aucune lanalyse dimages de manire interactive et par programme. Des
exprience pralable en programmation dinterfaces graphiques nest exemples et des exercices illustrent lutilisation des fonctionnalits
requise. Les sujets traits sont: appropries de MATLAB et de lImage Processing Toolbox dans le
cadre du processus danalyse. Les sujets traits sont:
Objets graphiques
Commandes dinterface utilisateur Importation et exportation dimages
Fonctions de rappel Suppression du bruit
Environnement de dveloppement des interfaces graphiques A lignement dimages et cration dune scne panoramique
(GUIDE) Dtection de lignes et de cercles au sein dune image
Dploiement dapplication Segmentation dobjets
Mesure et modification des proprits dune forme dobjet
Prrequis: Les fondamentaux MATLAB
Analyse en lot densembles dimages
Intgration de code C avec MATLAB Prrequis: Les fondamentaux MATLAB
intermdiaire
Machine Learning avec MATLAB
Cette formation dune journe aborde en dtail linterfaage de
MATLAB avec du codeC. Les sujets traitssont: intermdiaire
Code source MEX-files Cette formation de deux jours est axe sur les techniques danalyse
Partage de donnes entre MATLAB et MEX-files de donnes et dapprentissage automatique dans MATLAB laide
des fonctionnalits de la Statistics and Machine Learning Toolbox
Interface MATLAB Engine
et de la Neural Network Toolbox. Elle fait appel lapprentissage
Prrequis: Fondamentaux MATLAB et connaissance pratique des non supervis pour dcouvrir des caractristiques au sein de grands
bases du langage de programmationC ensembles de donnes et lapprentissage supervis pour laborer
des modles prdictifs. Des exemples et des exercices mettent en
Techniques doptimisation dans MATLAB avant les techniques de visualisation et dvaluation des rsultats.
Les sujets traits sont:
intermdiaire
Importation et organisation des donnes
Cette formation dune journe explique comment appliquer les Recherche de structures naturelles au sein des donnes
techniques doptimisation dans MATLAB, plus particulirement laboration de modles prdictifs
avec Optimization Toolbox et Global Optimization Toolbox. Les
valuation et amlioration du modle
sujets traits sont:
Prrequis: Les fondamentaux MATLAB
Excution des problmes doptimisation dans MATLAB
Dfinition des fonctions objectif et des contraintes
Calcul parallle avec MATLAB
Slection des solveurs et options de configuration
valuation des rsultats et amlioration des performances intermdiaire
Mthodes doptimisation globale Au cours de cette formation de deux jours, vous apprendrez
Prrequis: Les fondamentaux MATLAB utiliser la Parallel Computing Toolbox pour acclrer un
programme existant, et vous verrez comment passer lchelle sur
plusieurs machines laide de MATLAB Distributed Computing
Traitement du signal avec MATLAB
Server (MDCS). Si vous travaillez sur de longues simulations ou
intermdiaire avec des ensembles de donnes volumineux, vous pourrez tirer profit
des dmonstrations et exercices pratiques de cette formation. Les
Cette formation de deux jours montre comment analyser des signaux
sujets traits sont:
et concevoir des systmes de traitement du signal avec MATLAB et
la Signal Processing Toolbox. Certaines parties de la formation font Boucles for parallles
usage de la DSP System Toolbox. Les sujets traits sont: Excution dporte
Cration et analyse de signaux Utilisation de clusters
Analyse spectrale Distribution et traitement densembles de donnes
Conception et analyse de filtres volumineux
Conception de filtres adaptatifs Calcul sur GPU
Conception de filtres multitaux Prrequis: Les fondamentaux MATLAB
www.mathworks.fr/2017training 7
De MATLAB au langageC avec MATLAB Coder
intermdiaire
8
Mthodes de calcul statistique dans MATLAB Gestion des risques avec MATLAB
intermdiaire avanc
Cette formation de deux jours apporte une exprience pratique dans Cette formation dune journe offre une introduction complte la
lanalyse statistique de donnes avec MATLAB et la Statistics and gestion des risques avec MATLAB et la FinancialToolbox. Les sujets
Machine Learning Toolbox. Au travers dexemples et exercices, vous traits sont:
apprendrez utiliser les fonctionnalits appropries tout au long du
Construction de points de rfrence pour lvaluation et lanalyse
processus danalyse, notamment:
des risques du march
Importation et organisation de donnes valuation de limpact des risques du march et des performances
Analyse exploratoire relatives du portefeuille
Analyse confirmatoire Calcul et simulation des indicateurs de risques les plus
Simulation couramment utiliss
Cration et analyse de modles GARCH pour ltude des risques
Prrequis: Les fondamentaux MATLAB
valuation du risque de crdit
Comprhension des copules de crdit
Modlisation de sries temporelles dans MATLAB
Calcul des probabilits de transition pour la prvision des taux de
intermdiaire dfaut
Cette formation dune journe offre une introduction complte la Classification de lvaluation du crdit sur la base de donnes
modlisation de sries temporelles laide de MATLAB et de historiques
lEconometrics Toolbox. Les sujets traits sont: Prrequis: MATLAB pour les applications financires et
Identification de tendances long terme et saisonnires au sein de connaissance des concepts de gestion des risques
donnes de sries temporelles
Cration et ajustement de modles de sries temporelles ARIMA et Conception de systmes de communication avec MATLAB
GARCH un ensemble de donnes
avanc
Test de la stationnarit des donnes laide de la vrification
dhypothse Cette formation dune journe vous apprend concevoir et simuler
Comparaison de diffrents modles pour les mmes donnes des systmes de communication numrique avec MATLAB. Diffrents
dfauts de transmission et leur modlisation sont prsents.
Analyse de dynamiques de modle laide de simulations
MonteCarlo
Prrequis: Fondamentaux MATLAB et connaissance des systmes
Prvisions de donnes laide de modles ajusts de communication numriques
Prrequis: MATLAB pour les applications financires et
connaissances de base en matire de concepts de modlisation de Conception de systmes couche physique LTE et
sries temporelles (fortement recommand) LTEAdvanced avec MATLAB
avanc
Programmation oriente objet avec MATLAB
Cette formation de trois jours prsente la couche physique LTE et
avanc LTEAdvanced. laide de MATLAB et de la LTE System Toolbox,
Cette formation de deux jours est axe sur lutilisation des les participants apprennent gnrer des formes donde LTE de
techniques de programmation oriente objet pour dvelopper des rfrence et laborer et simuler un modle LTE PHY de bout en
applications MATLAB complexes et assurer leur maintenance. Les bout. Les sujets traits sont:
sujets traits sont: Passage en revue des techniques de communication avances au
Dfinition de types de donnes personnaliss robustes, intuitifs et cur dun systme LTE:
rutilisables techniques OFDMA et SC-FDMA multi-oprateurs;
Cration dapplications extensibles et maintenables grce systmes MIMO multi-antennes.
lhritage et lagrgation Descriptions de tous les signaux et lments de la chane de
Amlioration de la fiabilit et de la flexibilit des applications processus pour les canaux physiques LTE uplink et downlink
laide de tests unitaires Mthodes de vrification de conformit de la rfrence dor la
Synchronisation des objets laide des vnements et des listeners norme
Prrequis: Fondamentaux MATLAB et connaissance des systmes
Prrequis: Techniques de programmation MATLAB ou exprience
quivalente avec MATLAB de communication sans fil
www.mathworks.fr/2017training 9
Vision assiste par ordinateur avec MATLAB SIMULINK
avanc
Simulink pour la modlisation de systmes et
Cette formation de deux jours fournit une exprience pratique sur dalgorithmes
lexcution de tches de vision assiste par ordinateur. Des exemples
et des exercices illustrent lutilisation des fonctionnalits appropries fondamental
de MATLAB et de la Computer Vision System Toolbox. Les sujets Si votre domaine dapplication implique le traitement du signal ou
traitssont: les systmes de communication, veuillez consulter la formation
Importation, affichage et annotation dimages et de vidos Traitement du signal avec Simulink.
Dtection, extraction et identification de caractristiques dobjets
Cette formation de deux jours sadresse des ingnieurs pour qui
Recalage automatique dimages en utilisant des transformations
la modlisation de systmes et dalgorithmes et la validation de
gomtriques
conception dans Simulink sont des concepts nouveaux. La formation
Dtection dobjets dans des images et des vidos vous montre comment appliquer les techniques fondamentales pour
Suivi dobjets et estimation de leur mouvement dans une vido la modlisation et les outils pour dvelopper des modles Simulink.
Correction de la distorsion de lobjectif dans des images Les sujets traits sont:
Mesure dobjets planaires
Cration et modification de modles Simulink et simulation de la
Prrequis: Fondamentaux MATLAB ou exprience quivalente dynamique dun systme
avec MATLAB. Traitement dimages avec MATLAB et connaissance Modlisation de systmes continus, discrets et hybrides
des bases du traitement de limage et des concepts de vision assiste Modification des options du solveur pour la prcision et
par ordinateur. performance de simulation
Hirarchie dans un modle Simulink
Cration de composants avec des sous-systmes, des bibliothques,
et des rfrences de modle
Prrequis: Les fondamentaux MATLAB
Conue partir du programme de la formation Simulink pour la Cette formation dune journe parcourt les diffrentes mthodes
modlisation de systmes et dalgorithmes, cette formation de deux afin dintgrer du code C et du code MATLAB dans des modles
jours sadresse des ingnieurs dans lautomobile novices dans la Simulink. Les sujets traits sont:
modlisation et la validation de systmes et dalgorithmes.
C MEX-File S-Functions
Prrequis: Fondamentaux MATLAB, Fondamentaux MATLAB Intgration de code MATLAB
pour les applications arospatiales, ou Fondamentaux MATLAB pour Intgration de code C
les applications automobiles Prrequis: Fondamentaux MATLAB et Simulink pour la
modlisation de systmes et dalgorithmes
Traitement du signal avec Simulink
fondamental Conception de systme de contrle avec MATLAB et
Simulink
Cette formation de trois jours parcourt les techniques lmentaires
de modlisation et les outils pour dvelopper des modles Simulink intermdiaire
pour des applications dans le domaine du traitement du signal. Les Cette formation de deux jours vous apprend comment acclrer le
sujets traits sont: processus de conception de systmes de contrle en boucle ferme
Modlisation de systmes dynamiques mono et multicanaux laide des produits MATLAB et Simulink. Les sujets traits sont:
Traitement par chantillons et par trames Conception de systme de contrle
Modlisation de systmes hybrides Modlisation de systme
Cration de blocs et bibliothques personnaliss Analyse des systmes
Modlisation de systmes conditionnels Conception de lois de commande
Analyse spectrale avec Simulink Implmentation du contrleur
Conception de filtres dans Simulink
Prrequis: Fondamentaux MATLAB et Simulink pour la
Systmes multitaux
modlisation de systmes et dalgorithmes
Intgration de code externe
Automatisation des tches de modlisation
Prrequis: Fondamentaux MATLAB et connaissance de base du
traitement du signal numrique
ncessaires. Notre approche axe sur que mme les personnes ayant dj plusieurs
sentraner, dappliquer et dvaluer leurs Simulink trouvent lchange avec les ingnieurs
www.mathworks.fr/2017training 11
Vrification et validation de modles Simulink Traitement numrique du signal sur FPGA
avanc avanc
Cette formation dune journe dcrit les techniques pour tester le Cette formation de trois jours permet de passer en revue les
comportement de modles Simulink et vrifier leur conformit avec fondamentaux du traitement numrique du signal en vue de les
les spcifications systme. Les sujets traits sont: appliquer dans le cadre de conceptions FPGA. Nous mettrons
notamment laccent sur le cot des ressources et des performances
Identification du rle de la vrification et de la validation dans la
dans le cadre de la mise en uvre de diverses techniques et de
conception par modlisation
divers algorithmes de traitement numrique du signal. Les sujets
Cration de scnarios de test pour les modles Simulink traitssont:
Analyse des rsultats dune simulation pour vrifier le
comportement dun modle Arithmtique virgule fixe pour le traitement numrique du signal
Automatisation des activits de test et gestion des rsultats Techniques de reprsentation graphique des flux de signaux
Vrification formelle de modle Gnration de code HDL pour les FPGA
Gnration automatique dartefacts pour communiquer les Mise en uvre de la transforme de Fourier rapide
rsultats Conception et mise en uvre de filtres FIR, IIR et CIC
Algorithme CORDIC
Prrequis: Fondamentaux MATLAB et Simulink pour la
Conception et mise en uvre dalgorithmes adaptatifs, comme les
modlisation de systmes et dalgorithmes. Cette formation est
algorithmes LMS et QR
destine aux utilisateurs intermdiaires ou avancs de Simulink.
Techniques de synchronisation et de rcupration du rythme de
communications numriques
Gnration de code HDL avec Simulink
Prrequis: Fondamentaux MATLAB et Simulink pour la
avanc
modlisation de systmes et dalgorithmes
Cette formation de deux jours montre comment gnrer et vrifier
du code HDL depuis un modle Simulink avec HDL Coder et HDL Gestion et architecture de modles Simulink
Verifier. Les sujets traits sont:
avanc
Prparer un modle Simulink pour la gnration de code HDL
Gnration de code HDL et de test bench pour un modle Cette formation de deux jours montre les techniques pour adopter le
Simulink compatible Model-Based Design dans un processus de conception standard. Elle
apporte des conseils sur la gestion et le partage de modles Simulink
Optimisation des performances
lors dune volution au sein dun environnement de projet grande
Intgration de code manuel et dIP existante chelle. Les sujets traits sont:
Vrification du code HDL gnr avec les tests bench et la
cosimulation Mise en uvre des interfaces des modles et sous-systmes
Gestion des exigences dans les modles Simulink
Prrequis: Traitement du signal avec Simulink
Fractionnement de modles avec des sous-systmes, des
bibliothques, et des rfrences de modles Simulink
Gestion dun modle et de toutes ses dpendances
Contrle de lemplacement, de la porte et du comportement de
gnration de code des donnes du modle
laboration et imposition de normes de modlisation
Documentation dun modle Simulink
Prrequis: Fondamentaux MATLAB et Simulink pour la
modlisation de systmes et dalgorithmes
12
28
Nombre de pays o des formations MathWorks ont t dispenses
Selon les donnes 2015
Modlisation de systmes de communication avec Radio logicielle avec Zynq utilisant Simulink nouveau
Simulink
avanc
avanc
Cette formation pratique dune journe est axe sur la modlisation,
Cette formation dune journe, au travers dexemples pratiques, la configuration et le dploiement de conceptions bases sur la radio
montre comment utiliser Simulink, la Communications System logicielle dans MATLAB et Simulink et le dploiement sur la radio
Toolbox et la DSP System Toolbox pour concevoir des systmes logicielle PicoZed. Les sujets traits sont:
decommunication usuels. Les sujets traits sont:
Modlisation de systmes de communication laide de Simulink
Modlisation laide de la Communications System Toolbox Mise en uvre de larchitecture radio-in-the-loop avec PicoZed et
Analyse du taux derreur binaire (BER) dun systme de Simulink
communication Dploiement de prototypes avec des donnes en temps rel via un
Ajout de dtrioration de canal codesign logiciel/matriel
Conception dalgorithmes de rception
Prrequis: Programmation de SoCs XilinxZynq avec MATLAB et
Prrequis: Fondamentaux MATLAB, Traitement du signal avec Simulink
MATLAB, et Traitement du signal avec Simulink
www.mathworks.fr/2017training 13
95% des participants dclarent avoir rutilis ce quils ont appris en
formation dans des situations relles au travail
Selon les donnes 2015
Modlisation de systmes lectriques de puissance avec Modlisation de systmes Driveline avec Simscape nouveau
Simscape
intermdiaire
intermdiaire
Cette formation dune journe est axe sur la modlisation des
Cette formation dune journe montre comment modliser systmes mcaniques pour les applications automobiles dans
des systmes lectriques de puissance dans lenvironnement lenvironnement Simulink laide de Simscape Driveline
Simulink laide de Simscape Power Systems (anciennement (anciennement SimDriveline). Les sujets traits sont:
SimPowerSystems). Les sujets traits sont:
Modlisation des carrosseries et pneus de vhicules
Cration de systmes triphass avec des composants passifs Conception et optimisation des systmes de freinage
Cration de systmes triphass avec des machines lectriques Conception des mcanismes de transmission de puissance
Analyse et contrle des systmes lectriques de puissance mcaniques
Modlisation de composants dlectronique de puissance Cration de modles automobiles multidomaines avec contrleurs
Acclration de la simulation de modles de systmes lectriques en boucle ferme
Prrequis: Fondamentaux MATLAB, Simulink pour la Prrequis: Fondamentaux MATLAB, Simulink pour la
modlisation de systmes et dalgorithmes et Modlisation de systmes modlisation de systmes et dalgorithmes et Modlisation de systmes
physiques avec Simscape physiques avec Simscape
Cette formation de trois jours est axe sur le dveloppement Polyspace Bug Finder pour lanalyse de codeC/C++ nouveau
de modles dans lenvironnement Simulink dployer sur des intermdiaire
systmes embarqus. Elle sadresse aux utilisateurs de Simulink qui
prvoient de gnrer, valider et dployer du code embarqu avec Cette formation dune journe montre lutilisation de Polyspace Bug
EmbeddedCoder. Les sujets traits sont: Finder pour dceler des dfauts dans le code, amliorer les mesures
de qualit logicielle et assurer lintgrit du produit final. Cette
Structure et excution du code gnr
formation pratique sadresse aux ingnieurs chargs de dvelopper
Options et optimisations de gnration de code des logiciels ou des modles ciblant des systmes embarqus. Les
Intgration de code gnr avec du code externe sujets traits sont:
Personnalisation des donnes
Gnration de code pour systmes multitaux Cration dun projet danalyse de code
Dploiement du code Revue et comprhension des rsultats danalyse
mulation des environnements dexcution cibles
Prrequis: Simulink pour la modlisation de systmes et
Application des rgles MISRA C
dalgorithmes (ou Simulink pour la conception de systmes dans
lautomobile ou Simulink pour la conception de systmes dans Rapports
larospatiale). Connaissances en programmationC. Prrequis: bonne matrise du C ou du C++
Modlisation de systmes logiques avec Stateflow Cette formation de deux jours montre lutilisation de Polyspace Bug
Finder et Polyspace Code Prover pour prouver lexactitude du code,
fondamental amliorer les mesures de qualit logicielle et assurer lintgrit du
Cette formation de deux jours montre comment dvelopper des produit final. Les sujets traits sont:
flux dcisionnels complexes et des machines tats finis avec Cration dun projet de vrification
Stateflow. On aborde tout particulirement les graphes de flux, les
Revue et comprhension des rsultats de la vrification
machines tats, les tables de vrit et la transition dtats dans les
conceptions Simulink. Les sujets traits sont: mulation des environnements dexcution cibles
Gestion des fonctions et donnes manquantes
Machines tats
Gestion de code non prouv (code en orange dans les produits
Diagrammes dtat hirarchiques et parallles Polyspace)
vnements et fonctions dans les machines tats
Application des rgles MISRA C
Tables de vrit et tables de transition dtats
Rapports
Considrations relatives la conception
Prrequis: bonne matrise du C ou du C++
Prrequis: Fondamentaux MATLAB et Simulink pour la
modlisation de systmes et dalgorithmes
91387v14 11/16