ASICs FOR SAFETY-CRITICAL SYSTEMS
This page relates to the work being done on ASICs for safety-critical systems and currently funded by Scottish Nuclear(UK) in association with Nuclear Electric(UK) and the Nuclear Installations Inspectorate(UK).
Co-workers in this endeavour are Dr Robert Zimmer, Dr Ian Dear, Richard Tully and Alan Hunter, all from Brunel University (UK).
REFERENCE MATERIAL
Two papers are currently publicly available in PostScript format for anyone who is interested to find out more about this work.
"Design of ASICs for Nuclear Reactor Protection Systems", Zimmer & Ambler
"Formal Verification of Design and Test for Safety-Critical Applications", Tully, Hunter, Zimmer, Dear & Ambler
"Formal Verification and Synthesis of On-Line Self Test", Hunter, Tully, Zimmer, Dear & Ambler
If you have any comments, suggestions or enquiries, please mail me at:
