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