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