Papers
2
Total Citations
7
H-Index
2
About
Chokri Mraidha is a leading researcher in model-driven engineering, real-time systems, and dependable automated systems. His work bridges the gap between high-level design models and implementation-specific constraints, with a particular focus on timing analysis and dependability assessment. In his highly cited 2023 paper, Mraidha introduced the Ontology Language for the Dependability of Automated Systems (OLDAS), a UML-based modeling language that enables systematic dependability analysis for systems operating with minimal human intervention. This contribution is foundational for ensuring safety in autonomous and automated systems. His earlier influential work (2019) tackled a critical challenge in model-based development: the refinement of real-time operating system (RTOS)-independent design models into RTOS-specific models. By enabling early verification of timing properties at the design phase, Mraidha’s methodology helps prevent costly late-stage errors in real-time embedded systems. Though his citation counts are still growing—reflecting the emerging nature of his research areas—his work is gaining traction among practitioners and academics working on safety-critical automation. Mraidha’s contributions are especially valuable for students and researchers seeking robust, model-driven approaches to building trustworthy automated systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2