Output details
15 - General Engineering
University of Leicester
Modelling and analysis of the AMBA bus using CSP and B
This work was funded by the Atomic Weapons Establishment (AWE) to satisfy their need for industry-specific development and verification techniques for high-consequence arming systems. It contributes novel formal modelling and automated analysis techniques that have a lasting influence on the Systems Engineering processes used in their industry. It led directly to an AWE/EPSRC funded project (£125k) that further advances developments in quantifiable and repeatable verification, validation, and certification practices in their Systems Engineering processes and contributes to their collaborations with international partners.
Contact: Wilson Ifill, Technology Division, AWE, Aldermaston, Reading, RG7 4PR, wil.ifill@awe.co.uk