EPSRC logo

Details of Grant 

EPSRC Reference: EP/K001698/1
Title: UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER)
Principal Investigator: Koutny, Professor M
Other Investigators:
Khomenko, Dr V Yakovlev, Professor A Randell, Professor B
Researcher Co-Investigators:
Project Partners:
BOM Group
Department: Computing Sciences
Organisation: Newcastle University
Scheme: Standard Research
Starts: 14 January 2013 Ends: 13 January 2016 Value (£): 559,122
EPSRC Research Topic Classifications:
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
Panel History:
Panel DatePanel NameOutcome
18 Jul 2012 EPSRC ICT Responsive Mode - July 2012 Announced
Summary on Grant Application Form
The project aims to develop theories and implement prototype software tools for the formal verification, synthesis and analysis of *complex evolving systems*. Such systems may involve hardware, software and human organizations; though very common in practice, as yet such systems lack robust scientific and engineering support. The project will do this by developing a rigorous methodology supported by a toolkit based on structured behavioural representations (structured occurrence nets). The effective use of such representations greatly reduces the cognitive complexity of, and the storage and computational resources involved in the modelling and manipulation, of large systems. Moreover, it offers a solution to the difficult problem of representing and analyzing the behaviour of systems that are evolving, e.g. through being subject to modification (by other systems). The power and generality of the new formalism of structured occurrence nets, and the potential of our planned toolkit, will be demonstrated using three case studies: (i) the verification of asynchronous VLSI circuits, (ii) on-line deadlock detection in networks-on-a-chip, and (iii) in partnership with a leading commercial developer of such systems, a major crime investigation support system.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.ncl.ac.uk