Heimdahl's research group, the Critical Systems Research Group (CriSys), is conducting research in software engineering and is investigating methods and tools to help 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, the group is investigating model-based software development for critical systems.
Specifically, research is focused 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.
Research areas
Software Engineering and Programming Languages
