Markus Bohlin
Papers
1
Total Citations
7
H-Index
1
About
Markus Bohlin is a leading researcher in real-time systems engineering, with a primary focus on timing analysis, scheduling, and dependable embedded systems. His work addresses a critical industry challenge: the growing complexity of modern software, which often defies traditional analytical methods for response-time analysis. Bohlin’s major contribution lies in developing scalable, simulation-based approaches that can handle intricate, non-compliant systems. His seminal paper, "Best-Effort Simulation-Based Timing Analysis using Hill-Climbing with Random Restarts" (2009, 7 citations), introduced a novel, efficient method for timing verification when exhaustive analysis is infeasible. By combining heuristic search with simulation, Bohlin provided a practical solution for companies lacking accurate timing tools, bridging the gap between theoretical rigor and real-world applicability. His work has influenced the design of safety-critical systems, particularly in automotive and industrial automation, where precise timing guarantees are essential for reliability and performance. Bohlin’s research continues to shape how engineers approach the verification of complex real-time software, making him a key figure in advancing dependable system design.
Research Focus
Key Achievements
Top Papers
- 1