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