Plan du cours
Introduction au développement assisté par modèles
Aperçu du « modèle système »
Approches de modélisation mathématique
Établissement des exigences
Définition du système
Conception du modèle
Préparation de votre boîte à outils MBD
Vérification et validation du modèle
- Outils et pratiques de simulation : Simulink et StateFlow
Conception de logiciels embarqués critiques pour la sécurité
Outils et approches pour tester votre application
Détection et atténuation des défaillances
Réutilisation des suites de tests
Affinement des algorithmes par simulation multi-domaine
Génération de code séquentiel
- Outils et pratiques : TargetLink
Outils SCM pour gérer le MBD
Utilisation d'un environnement de conception commun entre les équipes
Déploiement sur plusieurs processeurs et types de matériel
Conclusion
Pré requis
- Expérience en programmation
- Bonne compréhension générale du développement de systèmes embarqués
Audience
- Ingénieurs en systèmes embarqués
- Développeurs et programmeurs
Nos clients témoignent (1)
Pouvoir demander des sujets avancés même s'ils n'étaient pas prévus initialement.
Gabriel Chouinard - Spark Microsystems
Formation - FreeRTOS: Programming for Real Time Operating Systems
Traduction automatique