Research

The mission of FMT is to develop mathematical theories, methods, algorithms and high-performance tools for the design of software-intensive embedded systems, facilitating the modelling, analysis and prediction of their functional and quantitative aspects.

Our mission builds on extensive experience in concurrency theory (in particular process algebra and graph rewriting), theorem proving and model checking algorithms. Also, automated model-based testing plays an important role. Our focus areas are:

1. applications to complex object-oriented models and software (UML, Java);
2. modelling and analysis of quantitative aspects for embedded and hybrid systems;
3. high-performance analysis tools.

Our results are disseminated via publications in journals and peer-reviewed conferences. We find it important to validate our research by developing and using tools, that are applied to benchmarks and industrial applications. We apply our methods in projects with industrial and academic partners. Examples of domains where we are active are wireless sensor networks, railway Interlockings, embedded control systems and certified software transformation tools. We investigate the application of our techniques to cell models from molecular biology as well.

We contribute to the broad theme of dependability in CTIT's Strategic Research Orientation Dependable Systems and Networks, in the 3TU Centre of Excellence on Dependable ICT CeDICT. We also contribute to the theme of Information Security in CTIT's Strategic Research Orientation Integrated Security and Privacy in a Networked World. FMT is leading the Twente Graduate School DeSC on Dependable and Secure Computing.