Analytic Design Laboratories (ADL) proposes methodology development and power tools for hardware Nuclear Safety Cross-Check Analysis (NSCCA). NSCCA of hardware needs methodology development because it is a new discipline. It needs new tools because existing tools supporting software NSCCA do not address all of the issues the hardware NSCCA needs to evaluate.
Benefit: Given that hardware mechanisms have more things happening concurrently, ADL proposes to develop a methodology and tools based on CSP descriptions of the system undergoing NSCCA. Having CSP as a coherent mathematical model will lend formality and precision for both static analysis and dynamic simulation of the equipment analyzed by the NSCCA.
Keywords: NSCCA, Nuclear safet
