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