Mats P. E. Heimdahl
Papers
5
Total Citations
111
H-Index
4
About
Mats P. E. Heimdahl is a leading researcher in software engineering, with a primary focus on safety-critical systems, requirements engineering, and software product lines. His work addresses the challenge of ensuring high assurance in complex, often life-critical software, particularly in domains like avionics and medical devices. A major contribution is his pioneering development of the software product-line approach for safety-critical systems, demonstrating how structured reuse can yield significant cost savings and productivity gains while enabling the reuse of rigorous analysis and testing results. His 2003 paper on structuring product family requirements for n-dimensional and hierarchical product lines (35 citations) and its 2002 extension (22 citations) are foundational works in this area. Heimdahl also advanced formal methods for control systems, showing how formal specifications can survive hardware changes and support rigorous requirements analysis, as seen in his 2000 paper (10 citations). His 2012 work on trace queries for safety requirements (42 citations) provides critical techniques for linking requirements to system artifacts in high-assurance environments. Through these contributions, Heimdahl has shaped how engineers build reliable, reusable software for the most demanding applications.
Research Focus
Key Achievements
Top Papers
- 1Trace Queries for Safety Requirements in High Assurance Systems42 citations · 2012
- 2
- 3
- 4
- 5A CAD Environment for Safety-Critical Software2 citations · 1999