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