Output details
15 - General Engineering
University of Leicester
Chapter title
Calculating Concurrency Using Circus
Type
C - Chapter in book
DOI
-
Publisher of book
Chapman & Hall/CRC
Book title
Process Algebras for Parallel and Distributed Processing
ISBN of book
978-1-4200-6486-5
Year of publication
2009
URL
-
Number of additional authors
0
Additional information
This publication presents novel work, funded by QinetiQ, in the area of formal techniques for developing software and hardware control systems, and has been applied in military equipment development. Contribution is an algebra enabling the calculation of concurrent systems from sequential specifications. Impact is an increase in confidence in implementations without compromising verification processes, with a dramatic reduction in associated costs. Academic take-up includes projects at the University of York (Jim Woodcock, High Integrity Systems Engineering Research Group).
Contact: Colin O’Halloran, D-RisQ Ltd, Wyche Innovation Centre, Malvern, WR13 6PL, info@drisq.com (formerly QinetiQ)
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Embedded Systems and Communications
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
