Modélisation des systèmes communicants
Performance Digitale
Formation créée le 13/05/2025. Dernière mise à jour le 22/05/2025.Version du programme : 1
Type de formation
Formation présentielleDurée de formation
14 heures (2 jours)Accessibilité
OuiModélisation des systèmes communicants
Performance Digitale
Les systèmes communicants sont partout et leur complexité est en constante augmentation. Leur évolution continue génère des problèmes de maintenance substantiels qui amènent très souvent à leur re-conception intégrale. Enfin, les personnes qui définissent un besoin pour leur système et ceux qui le réalisent rencontrent énormément de difficultés à se comprendre car ils sont de cultures métier différentes. Cette incompréhension permanente génère plus de la moitié des problèmes lors du projet. Le langage de modélisation SDL (Specification and Description Language) standard de l’Union Internationales des Télécommunications est reconnu dans le domaine aéronautique, spatial et automobile et est accompagné de technologies connexes comme l’ASN.1, le MSC, le TTCN-3 et l’UML. Cet ensemble de technologies aide à gérer la complexité inhérente aux systèmes modernes tant au niveau de la spécification, du développement, que du test. Elles permettent la formalisation, la vérification et l’optimisation d’une spécification exécutable. Elles permettent de valider au plus tôt ce que doit faire le système avant de se préoccuper comment il doit le faire. La formation présentera les différentes technologies de modélisation SDL et ASN.1. Au travers d’exemples simples ou personnalisés les participants modéliseront, vérifieront, et optimiseront des modèles de systèmes communicants.
Objectifs de la formation
- Savoir modéliser, formaliser, vérifier, et optimiser un modèle fonctionnel de système communicant.
Profil des bénéficiaires
- Architecte système
- Chefs de projets
- Développeurs
- Connaissance des langages de programmation C / C++
- Connaissance d’un exécutif temps réel (RTOS)
- Notions d’architecture de développement logiciel
- Expérience de développement logiciel
Contenu de la formation
Jour 1 : Langages
- SDL
- TTCN
- SDL-RT
Jour 1 : Outil
- Gestionnaire de projets
- Intégration d’outils externes
- Editeurs
- Vérification syntaxique et sémantique
Jour 1 : Exercices
- Analyse
- Spécification
- Conception
Jour 2 : Outil
- Simulation SDL & TTCN
- Principes de génération de code
- Fichiers générés
- Adaptation au RTOS
- Architecture de débogue
Jour 2 : Exercices
- Simulation / Débogue
- Vérification
- Personnalisation du générateur de code
- Interface de prototypage
- Génération de TTCN à partir de MSC
- Application finale
Équipe pédagogique
Suivi de l'exécution et évaluation des résultats
- Feuilles de présences
- Evaluation des connaissances par un questionnaire en début et en fin de formation
- Certificat de réalisation de l’action de formation
Ressources techniques et pédagogiques
- Documents supports de formation projetés
- Exposés théoriques & pratiques
- Etude de cas concrets
Capacité d'accueil
Délai d'accès
Accessibilité
Dans le cadre de notre politique d’inclusion, nous avons développé des partenariats afin de mettre en place des aménagements spécifiques pour faciliter l’accueil des personnes en situations de handicap, n’hésitez pas à nous contacter