Embedded Systems

Our research in embedded systems focuses on creating the brains behind the drones. We design and implement specialized hardware and software to meet the stringent demands of these devices. Our work in Reconfigurable Computing allows us to create adaptable hardware that can change its function on the fly, while Real-Time Systemsensure that critical operations are performed within strict deadlines. We use Formal Model-Based Design to mathematically verify the correctness and safety of our systems, and we develop Domain-Specific Architectures tailored to the unique computational needs of drones, such as low power consumption and high processing speed.