EPSRC logo
Researcher Details
 
Name: Professor JA McDermid
Organisation: University of York
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
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)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator