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