Frank BöhrView profile
Researcher
Frank Böhr is a PostDoc researcher in the graduate school “Embedded Microsystems” at the Albert-Ludwig-University of Freiburg/Breisgau. He previously studied and conducted research at the Technical University of Kaiserslautern and worked at the Fraunhofer Institute for Experimental Software Engineering (IESE). His work bridges academic research and industrial application, particularly in embedded and automotive software systems. Education: Dipl.-Inf. and Dr.-Ing. from Technical University of Kaiserslautern Professional Affiliation: Fraunhofer IESE, University of Freiburg Teaching: Delivered a lecture on Introduction to Computer Science (Summer 2012) Invited Talks: Presented at the University of Tennessee (2009, 2010) Frank Böhr's primary research interest lies in model-based software testing , with a strong emphasis on model-based statistical testing (MBST) . His work focuses on enhancing the reliability and quality of embedded and real-time systems through rigorous, usage-driven testing methodologies. He investigates how to model software usage effectively using techniques such as stochastic Petri-Nets and Markov chains, and how to apply these models to generate realistic and statistically valid test cases. His research spans both theoretical foundations and practical tool development, aiming to automate the testing process and improve test coverage in industrial settings. The recent publications reflect a consistent focus on applying model-based statistical testing to complex embedded systems, particularly those involving real-time and hybrid behaviors. Key themes include the integration of testing across development phases (MiL, HiL), the modeling of concurrent and timed usage scenarios, and the automation of test case generation from requirements. Many of his works are applied in automotive contexts, demonstrating strong industry relevance. The evolution of his work shows a progression from foundational modeling (e.g., time, duration, concurrency) to integrated solutions combining requirements, models, and automated testing tools like SIMOTEST. Model-Based Statistical Testing (MBST) Usage modeling and operational profiles Reliability estimation for embedded systems Automated test generation from models Simulink-based testing Industrial application in automotive systems Frank Böhr has advised or collaborated on several research projects, particularly during his tenure at Fraunhofer IESE, where he worked with colleagues such as Robert Eschbach, Thomas Bauer, and Taras Beletski on industrial case studies involving mirror control units and embedded automotive systems. While no formal PhD students are listed, his collaborative publications suggest a mentoring and team leadership role in applied research. He has contributed to teaching as a lecturer, indicating involvement in academic training. There is no mention of external research grants in the provided text. His research is closely tied to practical application and industrial collaboration, particularly through his work at Fraunhofer IESE. While no specific lab or team name is given, his involvement in the “Embedded Microsystems” graduate school at Freiburg and prior work within IESE’s research teams indicates participation in structured research groups focused on software engineering for embedded systems. These environments emphasize interdisciplinary collaboration between academia and industry, particularly in automotive and safety-critical domains.