Maroua Taouil

Approfondissement du Cycle en V et de son application à l'ingénierie système embarqué. Étude de cas concrets en modélisation et simulation sous MATLAB/Simulink et System Composer. Consolidation des compétences en conception de lois de contrôle, gestion du Simulink Data Dictionary (SLDD) et stratégies de test MIL/SIL/HIL. Étude des exigences de la norme ISO 26262 appliquée aux systèmes automobiles critiques.

Développement d'un framework de transformation automatique MBSE → MBD, générant une architecture Simulink top-level depuis un modèle Capella en un clic. Parsing XML des modèles Capella : extraction des composants fonctionnels, ports et interfaces logiques. Génération automatique d'architectures Simulink : mapping fonctions/interfaces, traduction des diagrammes de séquence et création du SLDD. Validation sur le cas d'usage "Robot Taxi Autonome" (ARCADIA) via interface MATLAB App Designer. Compétences clés : Capella

• · MATLAB

◦ · Simulink

◦ · Stateflow

◦ · XML

◦ · MBSE

◦ · MBD

◦ · App Designer

Conception d'un outil MATLAB/Simulink automatisant la génération d'architectures Simulink hiérarchisées à partir de spécifications fonctionnelles (Excel). Génération de modèles Global-to-Local et gestion du Simulink Data Dictionary (SLDD) avec injection des propriétés signaux/paramètres. Framework V&V automatisé par ID d'exigences avec vérification des règles MAAB (Model Advisor), tests MIL (Signal Editor) et génération de rapports de conformité. Trois interfaces : génération from scratch, mise à jour incrémentale et refactoring de modèles. Compétences clés : MATLAB

• · Simulink

◦ · Stateflow

◦ · Data Dictionary

◦ · App Designer

◦ · MBD

◦ · MIL Testing