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:
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.