Maroua Taouil

Deepening understanding of the V-Cycle and its application to embedded systems engineering. Concrete case studies in modeling and simulation using MATLAB/Simulink and System Composer. Consolidated skills in control law design, Simulink Data Dictionary (SLDD) management, and MIL/SIL/HIL testing strategies. Study of ISO 26262 standard requirements applied to critical automotive systems.

Development of an automatic MBSE → MBD transformation framework, generating a top-level Simulink architecture from a Capella model with one click. XML parsing of Capella models: extraction of functional components, ports, and logical interfaces. Automatic generation of Simulink architectures: mapping functions/interfaces, translating sequence diagrams, and creating the SLDD. Validation on the 'Autonomous Robot Taxi' use case (ARCADIA) via MATLAB App Designer interface. Key skills: Capella

• · MATLAB

◦ · Simulink

◦ · Stateflow

◦ · XML

◦ · MBSE

◦ · MBD

◦ · App Designer

Design of a MATLAB/Simulink tool automating the generation of hierarchical Simulink architectures from functional specifications (Excel). Generation of Global-to-Local models and Simulink Data Dictionary (SLDD) management with signal/parameter properties injection. V&V framework automated by requirement ID with MAAB rule verification (Model Advisor), MIL testing (Signal Editor), and compliance report generation. Three interfaces: generation from scratch, incremental update, and model refactoring. Key skills: MATLAB

• · Simulink

◦ · Stateflow

◦ · Data Dictionary

◦ · App Designer

◦ · MBD

◦ · MIL Testing