Research at the Division of Computer Systems contains all of formal specification, verification, experimental systems development, and evaluation. Our application areas in these respects are computer networks, computer architecture, and embedded systems.
Specification and Verification
- For Algorithmic Verification of concurrent and distributed systems, we primarily use model checking techniques, which are extended to cope with infinite state-spaces by incorporating techniques from SAT-solving, constraint-solving and abstract interpretation.
- For Specification and Analysis of Real-Time Systems our work on verification of timing properties, analysis of scheduling policies, component specification, and tool development, has resulted in the UPPAAL and TIMES toolsets. The overall goal is to develop technology and tools for model-based design of real-time embedded systems.
- Model Generation and Testing: We develop techniques for generating test suites from models of concurrent systems, and techniques for generating component models by observing test executions.
- We develop sampling techniques for estimating and tuning performance of high-performance software applications with respect to architectural parameters.
Experimental Systems Development and Evaluation
- techniques are developed for improving high-performance multi-threaded computer system architectures, such as multicore, SMP and NUMA.
- Our Communications research deals with wireless mobile networking. We develop and evaluate protocols that support mobility and new applications more efficiently than current Internet protocols. A significant part of our research studies spontaneous, ad-hoc, autonomic networks. Such networks must be self-managed, reliable and secure.
Centres and Networks
The division is located in building 1 at the Centre for Information Technology. For further contact information, click Contact in the left margin!
Faculty Member Responsible for Research: Bengt Jonsson
Head of Division: Ivan Christoff