Overview

Our research in systems engineering focuses on methods, tools and techniques for developing and supporting large, distributed, software-intensive systems and their associated operational and organisational processes. Our researchers work in three broad areas:

• Dependable socio-technical systems where we are working on ways to understand the social, organisational and cultural factors that influence the design, use and dependability of systems. Key projects in this area include the INDEED project and the Large-Scale Complex IT Systems project .
• Software architecture and processes where we are working on new approaches to software architecture and dynamic evolution through the development of novel programming languages, concepts and technologies, in autonomic systems and process co-design. Key projects in this area include DIAS-MC: Design, Implementation and Adaptation of Sensor Networks through Multi-dimensional Co-design and ASA: Secure Location-Independent Autonomic Storage Architectures .
• Functional programming where our main area of work focuses on investigating how to use functional programming in domains, such as control systems, where program behaviour must be predictable. Key projects in this area include the EMBOUNDED project and The HUME programming language.

The web pages describing these areas describe the work in more detail and link to the researchers involved in the work, specific projects and, where appropriate, partner sites.

We work closely with industry and other academic partners including the Universities of Edinburgh, Glasgow, Manchester, York, Oxford, Leeds, Bristol, Heriot-Watt University, Edinburgh and City University, London.