Christian Fotsing

Christian Fotsing is a Lecturer at ISAE-ENSMA in Poitiers, France, affiliated with the LIAS laboratory's Real Time Team. His research centers on advancing real-time systems through innovative scheduling methodologies and semantic integration.

Education:

• PhD in Real-Time Systems from ISAE-ENSMA (2012), thesis: "Integration of Semantic Elements in the Schedulability Analysis of Real-Time Applications"

His research investigates semantic properties in real-time scheduling, Petri net modeling for embedded systems, and transformations for conditional task execution. Key contributions include developing realistic system models that improve scheduling efficiency while maintaining temporal guarantees in resource-constrained environments. His work bridges theoretical formal methods with practical embedded system implementations, focusing on schedulability analysis and semantic-aware resource allocation.

Publication trends (2009-2012) reveal a consistent focus on semantic integration in real-time scheduling, with increasing sophistication in model transformations and tool development. His research evolved from foundational semantic property applications (2009) to advanced linear transformations and Petri net implementations (2012), demonstrating progression toward practical scheduling tools for complex embedded systems.

Laboratory Affiliation:

• LIAS Laboratory (Laboratoire d'Ingénierie des Applications de la Sensorielle)
• Real Time Research Team at ISAE-ENSMA campus in Chasseneuil