• Increase font size
  • Default font size
  • Decrease font size
Consortium Consortium

University of Newcastle Upon Tyne


The Dependability Research Group in the School of Computing Science at Newcastle University has been active in research into trustworthy computer-based systems for over 30 years. The group’s expertise encompasses rigorous design, fault tolerance, verification tools, system architectures, integration, dependability concepts, intrusion control, requirements, traceability, safety cases and modelling socio-technical systems. The group pioneered the view that dependability is a system property and its achievement requires cooperation between disciplines and between engineers and non-engineers.


John Fitzgerald (Reader in Computing Science) will lead Newcastle’s contribution to DESTECS. Over fifteen years in academia and industry, he has made significant contributions in formal methods, particularly with VDM++, and in industry application of modelling technology. His recent industry work included establishing validation activities in Transitive, the leading SME in dynamic binary translation technology. He has been involved in several EU and UK projects and currently leads work on resilience-explicit computing in FP6 ReSIST NoE. He is a leading investigator in TrAmS and the DCSC. He is Chairman of Formal Methods Europe, has published widely and has co-authored three books, and has organised many scientific conferences including the leading “FM” international symposium series. 

Alexander Romanovsky (Research Professor) will contribute to the Newcastle work on fault tolerance. He has been involved in many  ESPRIT, FP and EPSRC/UK projects on system dependability within which a wide range of general fault tolerance mechanisms and architectures have been developed (PDCS, DeVa, CaberNet, DSoS, Maftia, ReSIST, DISCS, DOTS and TrAmS). He has organised scientific workshops at ECOOP, ICSE, COMPSAC and DSN. He has some 260 relevant publications, including 12 edited books.

Cliff Jones (Professor) is a pioneer of formal methods research: he played a major part in the creation of VDM and continues to contribute new concepts to formal methods generally and their tool support in particular. Technical contributions include the model-oriented approach, data reification and key ideas in concurrent systems. Since joining Newcastle University in 1999, he has become involved in wider issues of Dependability and was Director of the DIRC project. He is a Fellow of ACM and the Royal Academy of Engineering.




Project DESTECS 248134

Challenge 3.4: Embedded System Design