Research Perspectives - Tools for Visualisation of Portfolios
EPSRC logo

EPSRC Database


Source RCUK EPSRC Data

EP/K001698/1 - UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER)

Research Perspectives grant details from EPSRC portfolio

http://www.researchperspectives.org/gow.grants/grant_EPK0016981.png

Professor M Koutny EP/K001698/1 - UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER)

Principal Investigator - Computing Sciences, Newcastle University

Other Investigators

Dr V Khomenko, Co InvestigatorDr V Khomenko

Professor B Randell, Co InvestigatorProfessor B Randell

Professor A Yakovlev, Co InvestigatorProfessor A Yakovlev

Scheme

Standard Research

Research Areas

Microelectronics Design Microelectronics Design

Theory of Computation Theory of Computation

Verification and Correctness Verification and Correctness

Start Date

01/2013

End Date

01/2016

Value

£559,122

Similar Grants

Automatic generation of similar EPSRC grants

Similar Topics

Topic similar to the description of this grant

Grant Description

Summary and Description of the grant

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.

Structured Data / Microdata


Grant Event Details:
Name: UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER) - EP/K001698/1
Start Date: 2013-01-14T00:00:00+00:00
End Date: 2016-01-13T00:00:00+00:00

Organization: Newcastle University

Description: 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 practi ...