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