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