EPSRC logo
Researcher Details
 
Name: Professor A Burns
Organisation: University of York
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Networks & Distributed Systems
Software Engineering

Current EPSRC Support
EP/P003664/1 Mixed Criticality Cyber Physical Systems(P)
EP/N023641/1 STRATA; Layers for Structuring Trustworthy Ambient Systems(C)
Previous EPSRC Support
EP/K011626/1 Mixed Criticality Embedded Systems on Many-Core Platforms(P)
EP/G055548/1 TEMPO: Time Driven Modelling and Resource Management of Real-Time Systems on Multiprocessor Systems-on-Chip(C)
EP/E001580/1 Interdisciplinary Design and Evaluation of Dependability (INDEED)(P)
GR/S04642/01 Dependable, Service-centric Grid Computing(C)
GR/M94113/01 PORTABLE CODE FOR SAFETY CRITICAL REAL-TIME SYSTEMS(C)
GR/N05963/01 INTEGRATING SEQUENTIAL AND CONCURRENT VERIFICATION TECHNIQUES FOR HIGH INTEGRITY REAL-TIME SOFTWARE(P)
GR/N13999/01 INTERDISCIPLINARY RESEARCH COLLABORATION IN DEPENDABILITY OF COMPUTER-BASED SYSTEMS(C)
GR/L73456/01 ROPA: DERIVING 'VALUES' FOR VALUE-BASED REAL-TIME SCHEDULING(P)
GR/K80334/01 ENGINEERING OF FLEXIBLE AND ROBUST REAL-TIME SYSTEMS(P)
GR/K07638/01 ANAYLIS AND DESIGN SYNTHESIS FOR REAL-TIME SAFETY CRITICAL SYSTEMS(P)
GR/J93849/01 PROTEUS - UNDERSTANDING CHANGING REQUIREMENTS(P)
GR/H88015/01 PROTEUS - UNDERSTANDING CHANGING REQUIREMENTS IED4/1/9304(P)
GR/H39611/01 REAL-TIME SYSTEMS ENGINEERING(C)
GR/F99410/01 SPIRITS-SUPPORTING PREDICTABLE-IMPLEMENTATION OF REQUIREMENTS ON TIMING AND SAFETY(IED4/1/2133)(C)
GR/F99908/01 REAL-TIME SYSTEMS THE NEXT GENERATION(P)
GR/D43587/01 THE DEVELOPMENT AND IMPLEMETATION OF THE PROCESS CAPABLITY/QIALITY CONTROL MODULEOF AN OVERALL EXPERT DESIGN(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator