The Dependable Systems Group has three major themes: Software Engineering, Formal Methods and Security. The research conducted in this group is broad, dynamic and multi-faceted, and can vary from highly theoretical, abstract models, through the development of numerous branches of technology, into empirical studies of industrial practice.

The focus of the Dependable Systems Group is the development of reliable and secure software. This encompasses a number of different approaches to ensuring the dependability of software, from the softer approaches through software development methods and software project management, to more formal approaches through refinement, verification and automatic program construction.

Several researchers from the Dependable Systems Group are also affiliated with Lero – The Irish Software Engineering Research Centre.