Innovative Research Award
Prof. Frederic Mallet — Universite Cote d’Azur
Prof. Frederic Mallet is presented in this academic recognition profile as a researcher associated with Universite Cote d’Azur whose work relates to embedded systems, timing specifications, formal methods, and safety requirements. The cited publications address modular timing integration, formal translation between specification approaches, and inconsistency detection in railway systems, providing a basis for evaluating innovative research contributions. [1] [2] [3]
Abstract
Prof. Frederic Mallet’s research profile is associated with embedded systems and formal methods for specifying, analyzing, and validating complex computer-based systems. The cited publications examine modular integration of operational and prescriptive timing requirements, formal translation between CCSL and TASTD, and scalable detection of safety-requirement inconsistencies in railway systems. These topics address important challenges in dependable system engineering, where temporal consistency, formal specification, and safety assurance are essential. The reported academic record includes 122 documents, 1,266 citations, and an h-index of 19. Together, the cited research demonstrates a sustained interest in formal timing models, system requirements, and safety-oriented verification. [1] [2] [3]
Keywords
Embedded Systems; Formal Methods; Timing Requirements; TASTD; CCSL; Prescriptive Timing; Operational Timing; Safety Requirements; Railway Systems; Requirements Engineering; Formal Specification; Verification; Safety-Critical Systems; Dependable Computing. [1] [2] [3]
Introduction
Embedded systems increasingly combine complex timing, behavioral, and safety requirements that must remain consistent throughout development. Research by Prof. Frederic Mallet addresses these challenges through formal specification and analysis techniques. His cited studies investigate timing integration, formal model translation, and automated detection of safety inconsistencies, with particular relevance to dependable and safety-critical systems engineering. [1] [2] [3]
Research Profile
The research profile centers on formal methods for embedded and cyber-physical systems, particularly the representation and analysis of temporal requirements. The cited work connects operational and prescriptive timing concepts with formal specification technologies such as TASTD and CCSL. It also considers requirements consistency in railway systems, reflecting an emphasis on dependable system development and verification. [1] [2] [3]
Research Contributions
The cited research contributes methods for managing timing and safety requirements in complex systems. One study presents a modular approach for integrating operational and prescriptive timing requirements, while another establishes a formal translation from CCSL to TASTD. A third develops a scalable approach for detecting inconsistencies among railway safety requirements, supporting systematic verification. [1] [2] [3]
Publications
Three representative publications illustrate the researcher’s focus on formal specification and safety-oriented system engineering. The first examines modular integration of operational and prescriptive timing requirements using TASTD. The second addresses formal translation from CCSL to TASTD for critical system specification. The third investigates scalable detection of safety-requirement inconsistencies within railway systems. [1] [2] [3]
Research Impact
The reported bibliometric record lists 122 documents, 1,266 citations, and an h-index of 19, providing quantitative context for the researcher’s scholarly activity. The cited publications additionally demonstrate application of formal methods to timing and safety problems in critical systems. Such research can support more systematic requirements engineering, consistency analysis, and verification in embedded and safety-critical domains. [1] [2] [3]
Award Suitability
The cited publications provide evidence of research addressing technically significant problems in embedded and safety-critical systems. Their focus on modular timing integration, formal model translation, and scalable safety-requirement analysis aligns with themes commonly associated with innovative research in formal systems engineering. The reported publication and citation record provides additional context for scholarly recognition. [1] [2] [3]
Conclusion
Prof. Frederic Mallet’s cited research reflects sustained engagement with formal methods, timing requirements, and safety analysis for embedded and critical systems. The selected publications address complementary aspects of specification and verification, from temporal integration and formal translation to safety inconsistency detection. These contributions provide a relevant scholarly foundation for innovative research recognition. [1] [2] [3]
External Links
References
-
- Mallet, F. (2025). A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD. Springer.
https://doi.org/10.1007/978-3-032-12086-1_2
- Mallet, F. (2025). Bridging Prescriptive and Operational Timing: A Formal Translation from CCSL to TASTD for Critical System Specification. SSRN.
https://doi.org/10.2139/ssrn.7036117
- Mallet, F. (2024). A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. IEEE Transactions on Intelligent Transportation Systems.
https://doi.org/10.1109/TITS.2024.3418864