The research aims and objectives of the Dependable Systems
Group are to improve the reliability and predictability of
computer systems through the development and application of
rigorous design, implementation and verification techniques.
More broadly, Dependable Systems research is considered as
spanning the following three layers:
-
Foundations:
discrete mathematics; logic; computability; probability and
statistics; algorithmic analysis and complexity.
-
Technologies:
specification oriented prototyping; performance
modeling; simulation; formal verification; empirical
verification and validation; automated reasoning;
transformation; refinement and synthesis.
-
Applications:
safety critical system; secure systems; fault tolerant
systems; disaster analysis and recovery; performance
optimisation; multi process/processor systems;
hybrid/embedded systems; predictable systems.
Our current strengths lie mainly within Foundations - models and formalisms for languages and systems - and within Technologies -
functional programming, performance modelling, parallel
prototyping, automated reasoning and formal verification.
