Luca Santinelli

Office National d'Études et de Recherches Aérospatiales

Papers

Total Citations

H-Index

About

Luca Santinelli is a leading researcher in real-time embedded systems and robotic software architectures, with a focus on ensuring safety and predictability in autonomous machines. His work addresses the critical challenge of verifying real-time constraints in robotic systems—a necessity for robots to safely operate alongside humans in everyday environments like homes, hospitals, and industrial settings. Santinelli’s most cited paper, “Measurement-based real-time analysis of robotic software architectures” (2016, 11 citations), introduces methods to provide formal guarantees on system behavior, preventing unsafe outcomes from timing violations. He also developed the “Periodic state-machine aware real-time analysis” (2015, 3 citations), which models complex robotic behaviors to ensure hardware and software components meet deadlines. His contributions are vital for applications ranging from flying drones to medical assistants and industrial arms, where human-robot interaction demands rigorous verification. Santinelli’s research bridges theory and practice, offering engineers tools to design reliable, certifiable robotic systems. His work has influenced the real-time systems community, advancing the safe integration of robots into daily life.