Models Android Multi-View Design Analysis Design Space Exploration Drone Ingénierie des modèles Coprocessors UAV Malware Remote sensing Application specific integrated circuits Formal Verification Formal methods Immersion Virtual prototyping Exploration d'architecture SysML Open Platforms for Multistandard Support Automata MDE Propagation URSI Design space exploration Architecture Interactive Model driven engineering Execution Trace Analysis Risque Signal processing Simulation Communications Computer architecture Requirements Differential power analysis DPA SysML-Sec Risk assessment LDPC codes Risk management Requirements analysis Field programmable gate arrays Autonomy Model checking UML Integration Dependency Graph DIPLODOCUS Modeling Costs Formal verification Timing analysis System-on-Chip GPR TTool Hardware/software partitioning Heterogeneous models CPS Virtual Prototyping Formal Methods Hardware/software co-design System-level design Model-based engineering Embedded systems Classification Hardware HW/SW partitioning Behavior Attacks Baseband Processing Design MBSE Cryptography Autonomous navigation Model-driven engineering Model-checking FPGA ProVerif Disaster management Autonomous vehicles Security Model Checking Code generation Iterative decoding Drones Verification Embedded Systems Safety HW Accelerators UML/SysML Analog/Mixed Signal Design Hardware Architecture SDR Robustness Image processing Reliable systems Model Driven Engineering 3D perception Modélisation Performance Cognitive Radio