1. Strengthening Systems Engineering and Assurance Processes via Embedded Formal Methods
Andrew Ireland
Dependable Systems Group
School of Mathematical & Computer Sciences
Heriot-Watt University
Edinburgh

2. Background
“Platform Grants are a flexible mechanism of providing underpinning funding to well established, world leading research groups.”

3. The Integration and Interaction of Multiple Mathematical Reasoning Processes Platform Grant EP/J001058: £1.4M
Andrew Ireland David Aspinall Alan Bundy
Simon Colton Jacques Fleuriot Jeremy Gow Gudmund Grov Paul Jackson Fiona McNeill Greg Michaelson Alan Smaill
Edinburgh Heriot-Watt Goldsmiths College

4. Our Holistic Perspective of Automated Reasoning
Selecting the "right" representation will typically make it easier to reason about a problem …
… understanding why reasoning breaks down often provides insights into how to improve representations
Exploring this subtle interplay and its applications to practical problems, e.g. from formal methods for systems engineering to ontology management, and from creativity in games to medical work-flows

5. Research Activities Flexibility Fund Projects (FFPs):
Short-term pump priming projects with the aim of attracting further funding
So far 28 FFPs have been funded
Distinguished Visitors (DVs):
Host distinguished academics or industrialists with the aim of accelerating progress across our research agendas – so far 9 DVs, from Europe, South Africa and the US
Added value - engagement outwith our group

6. BAE Systems (Warton) EPSRC grant EP/F037058: REMO - Reasoned Modelling
Collaborators: Heriot-Watt, Edinburgh, Imperial College and
BAE Systems provided partial funding for Teresa Llano (PhD
Student),
EPSRC/BAE iCASE: The Development of Rigorous Methods
for the Design of Complex Systems, in line with Military and
Civil standards for Complex Hardware and Software
Rajiv Murali,
BAE Systems (Warton) – consultancy contracts:
A survey of formal verification technologies within the context of software intensive systems
Exploitation & opportunities for the deployment of automated analysis approaches in the context of DO-178C