Details of Grant 

EPSRC Reference:	GR/N31573/01
Title:	MODELLING AND VERIFICATION OF SOFT DEADLINES
Principal Investigator:	Kwiatkowska, Professor MZ
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	School of Computer Science
Organisation:	University of Birmingham
Scheme:	Standard Research (Pre-FEC)
Starts:	01 June 2000	Ends:	31 May 2003	Value (£):	3,408
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:	Creative Industries Information Technologies No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
This project would run in parallel with GR/N22960 which was submitted to EPSRC in December 1999. And will cheifly focus on providing the necessary assistance in the following areas: analysis methods for probabilistic and timed systems (more specifically, efficient algorithms for the verification of probabilistic timed automata) probabilistic and timed process calculi (eg the relationship between Timed CSP and Spades); verification of soft deadlines (subclass of quality of service properties); and implementation techniques for probabilistic model checkers (including comparison of tools through use of common benchmarks).Dr Katoen would normally give lectures when visiting, which will be advertised at nearby universities. One visit of 2 weeks duration is planned in each year of the lifetime of the project GR/N22960.
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.bham.ac.uk