| EP/S017992/1 | Capital investment to benefit Early Career Researchers | (C) |
| EP/F501374/1 | EngD in Large-Scale Complex IT Systems | (P) |
| EP/F001096/1 | LSCITS-RPv2: Large-Scale Complex IT Systems Initiative - Research Programme v2 | (C) |
| GR/S64226/01 | Agile Development of High-Integrity GRID Middleware | (C) |
| GR/S16782/01 | DARPS: DARPS 2002 Initiative - High Integrity Real-Time Systems (HIRTS) | (P) |
| GR/R67668/01 | Distributed Aircraft Maintenance Environment: DAME | (C) |
| GR/R70590/01 | MATISSE: Models and Techniques for Intergrated System Safety Engineering | (P) |
| GR/R74062/01 | NETWORK : A Research Network for the UK Computing Community | (P) |
| GR/N29785/01 | (MTP) MANAGEMENT COURSES FOR SYSTEM SAFETY ENGINEERING | (P) |
| GR/R14903/01 | RAIS: Familiarity: a Rais Proposal In Assosiation With Converse | (P) |
| GR/N34949/01 | ALLOCATION OF SYSTEM & SOFTWARE SAFETY REQUIREMENTS | (P) |
| GR/L72039/01 | ROPA:INTEGRATED PRODUCT MODELLING FOR DEPENDABLE SYSTEMS | (P) |
| GR/L42872/01 | CONVERSE: A CHANGE-ORIENTED PROCESS FOR ENGINE CONTROLLERS | (P) |
| GR/K63702/01 | TEST AUTOMATION FOR VERIFICATION OF NON-FUNCTIONAL PROPERTIES | (P) |
| GR/K63566/01 | HIERARCHICAL TIMED TRANSITION SYSTEMS FOR HIGH INTEGRITY REAL-TIME DEVELOPMENT | (P) |
| GR/J42311/01 | TOWARDS A THEORY OF SYSTEMS INTEGRATION WITH APPLICATION TO DEPENDABLE SYSTEMS | (P) |
| GR/J93900/01 | EQUIPMENT BID - UPGRADES AND DEMONSTRATOR | (P) |
| GR/J18897/01 | A SAFETY ARGUMENT MANAGER (ASAM II) | (P) |
| GR/H11228/01 | SOFTWARE ENGINEERING METHODS FOR SAFE PROGRAMMABLE LOGIC CONTROLLERS (SEMS-PLC) IED4/1/9019 | (P) |
| GR/G49531/01 | ROLLING GRANT: SAFETY CRITICAL AND HIGH INTEGRITY SYSTEMS | (P) |
| GR/H13499/01 | PROM-PRAGMATIC REUSABLE OBJECT MANAGEMENT IED4/1/2137 | (P) |
| GR/F98185/01 | PROM - PRAGMATIC REUSABLE OBJECT MANAGEMENT (IED4/1/2137) | (P) |
| GR/F99410/01 | SPIRITS-SUPPORTING PREDICTABLE-IMPLEMENTATION OF REQUIREMENTS ON TIMING AND SAFETY(IED4/1/2133) | (P) |
| GR/F98529/01 | ORCA-OBJECT ORIENTED REQUIREMENTS CAPTURE AND ANALYSIS | (P) |
| GR/F66740/01 | A METHODOLOGY FOR ANALYSING HUMAN AND COMPUTER-RELATEDISSUES IN DEPENDABLE SYSTEMS | (P) |
| GR/F39119/01 | SAM A SAFETY ARGUMENT MANAGER | (P) |
| GR/F35920/01 | REAL-TIME SYSTEMS THE NEXT GENERATION | (C) |
| GR/F01871/01 | METHODS FOR DEVELOPING SAFE SOFTWARE | (P) |