Papers
1
Total Citations
12
H-Index
1
About
M. Hagner is a researcher focused on model-based development for complex embedded systems, with a particular emphasis on integrating non-functional requirements analysis into early design stages. Their major contribution lies in bridging the gap between high-level modeling and rigorous scheduling analysis through model transformation techniques. Hagner’s most-cited work, "Integration of scheduling analysis into UML based development processes through model transformation" (2010, 12 citations), demonstrates how to embed timing and schedulability checks directly into UML-based workflows, enabling engineers to verify safety-critical constraints before implementation. This approach addresses the growing complexity and safety demands of embedded systems, offering a systematic method to maintain control over development while ensuring real-time performance. Though their citation count is modest, Hagner’s work is notable for its practical relevance in industrial contexts, where early detection of scheduling issues can prevent costly redesigns. Their research underscores the importance of merging formal analysis with user-friendly modeling languages, making it a valuable reference for students and practitioners seeking to enhance reliability in embedded system design.
Research Focus
Key Achievements
Top Papers
- 1