Mats Heimdahl
Location: (Minneapolis, Minnesota)
Personal Research Web Page: http://www.cs.umn.edu/people/faculty/index.php?user=heimdahl
Keywords: Requirements Engineering, Verification, Testing, Validation, Safety, Critical Systems, Certification, Assurance Cases
Posted on: Tuesday, June 2nd, 2009
Broad Research Area: Software Engineering
Research Interests:
The Critical Systems Research Group (CriSys) at theUniversity of Minnesota is conducting research in software engineering and is investigating methods and tools to help us develop software with predictable behavior free from defects.
Research in this area spans all aspects of system development ranging from concept formation and requirements specification, through design and implementation, to testing and maintenance. In particular, we are currently investigating model-based software development for critical systems.
Specifically, we are focusing on how to use various static verification techniques to assure that software requirements models possess desirable properties, how to correctly generate production code from software requirements models, how to validate models, and how to effectively use the models in the testing process.
Contact Information:
email obfuscated - click to reveal
Phone: (612)-625-2068
Dept.: (612)-625-4002
