Systems Software Engineering

Systems and Software Engineering concerns processes, tools, techniques and theories for constructing computer-based systems. The School's research is aimed at enabling software and systems engineers to develop and evolve better software intensive systems more efficiently and effectively.

Research is focused on:

  • Improvement of systems and software engineering processes
  • Rigorous (mathematical) approaches to design and construction of computer-based systems
  • Practical tools to assist engineers in these endeavours

These research areas are being explored in the context of information security, legacy systems, concurrency, railway interlocking design and large-scale defence contracting. New research challenges include the verification and validation of model-based systems and the formalisation of software specification and design patterns. With the increasing complexity of software used to implement safety-critical real-time systems, rigorous approaches to the provision of fault-tolerance in such systems are a growing challenge.