Current Projects

Our research is supported through a variety of sources; the current portfolio combines EPSRC 6.1M, EU 1.9M, BBSRC 650K, BAE Systems 980K and DTI 1.4M which, when incorporated with smaller sources of funding, totals 11.7M.

All our research groups are supported by, and in many cases lead, large multi-site national and international projects involving the active engagement of both industry and other research disciplines. These engagements stretch the boundaries of our research, emphasising relevance as well as intellectual novelty. EPSRC platform grants are held by the Distributed Systems Group and jointly by the Dependability Group and the Modelling and Reasoning Group.

Our large projects provide a vehicle for fundamental research, building bridges to other research institutions with relevant interests. They also provide a focus for user concerns. They reflect excellent national and international links with industrial and scientific users. Finally their critical mass means that they can have a more substantial influence within the community. Examples of some of our current and recent large projects are:

  • CARMEN (5M), an EPSRC e-Science Pilot project, involves collaboration between neuroscientists and computer scientists. The computer science research is concerned with extracting value from the huge repositories of data that arise in analysing brain experiments.
  • The CISBAN project (6.5M) funds Newcastle University's Centre for Integrated Systems Biology of Ageing and Nutrition. The centre is jointly funded by BBSRC (5.5M) and EPSRC (1.0M). The UOA school's work is concerned with the analysis of complex biological structures.
  • The Dependable Computing Systems Centre (2.75M) is a long-term research collaboration at the Universities of Newcastle and York, funded since 1991 by BAE Systems. It addresses a broad range of dependability issues in avionics systems.
  • DEPLOY (8.6M) is a major EU IST IP (involving Nokia, SAP and other large industrial partners) concerned with the deployment of cost-effective, rigorous development of dependable complex software systems and services.
  • DIRC (8M) is the UK's 6 year interdisciplinary collaboration on Dependability of Computer-based Systems, directed by Jones. DIRC's international impact has been substantial: the collaboration has generated over 550 publications (over 167 published by Newcastle) and spawned over 7M in follow-on projects among the collaborators.
  • DSoS (2M) is an EU funded project that developed significantly improved means for composing a Dependable System of Systems from a large set of autonomous component computer systems.
  • GOLD (3M) is an EPSRC e-science pilot project that investigated virtual organisations, with particular application to Chemical Engineering. Work in the project has been awarded the Roger Needham PhD prize.
  • ReSIST (1.7M) is an EU Network of Excellence that integrates leading European researchers who are active in the multidisciplinary domains of Dependability, Security, and Human Factors.
  • RODIN (2M) is an EU IST project concerned with the creation of a methodology and supporting open tool platform for cost-effective, rigorous development of dependable complex software systems and services.

A complete list of our current projects is:

Project NameAcronymEnd Date
Analysis of Massively Parallel Stochastic SystemsAMPSSeptember 30, 2012
Artificial Intelligence for Formal MethodsAI4FMMarch 31, 2014
CASE Award in Resilient Service Oriented ArchitecturesApril 1, 2013
CASE Studentship 'Modelling and visualizing network dynamics: Spreading of epileptic seizures in the brain' CASE-SeizureSpreadingMarch 31, 2010
Centre for Integrated Systems Biology of Ageing and NutritionCISBANJune 30, 2010
Code Analysis, Repository, and Modelling for e-NeuroscienceCARMENSeptember 30, 2010
Dependability Explicit MetadataSSEI - MetadataFebruary 28, 2011
Design and Verification of Asynchronous CircuitsDAVACAugust 31, 2010
Design Support and Tooling for Embedded Control SoftwareDESTECSDecember 31, 2012
Francis Tam (Nokia) research visitAugust 1, 2010
Hadrian, Safer InternetHadrianJune 30, 2011
Industrial Deployment of Advanced System Engineering Methods for High Productivity and DependabilityDEPLOYJanuary 31, 2012
Interface Contracts for Architectural Specification and Assessment SSEI - ContractsJanuary 10, 2012
Komatsu Visiting FellowshipJune 30, 2010
Networked Computing in Inter-Organisation SettingsNetworked ComputingSeptember 30, 2010
OndexMarch 31, 2011
Platform Grant in Networked Computing in Inter-Organisation SettingsPlatform Grant Distributed SystemsSeptember 30, 2010
Trust EconomicsTrust Economics IIMarch 31, 2011
Trustworthy Ambient SystemsTrAmSJune 30, 2011
Volatility & Change Tolerance in Future SystemsCASE Future SystemsJune 30, 2010