Formal Analysis of Accidents

Description

This Unige Leading House project aims to extend CAFAISHA, a cognitive architecture developed by Antonio Cerone (School of Science and Technology, National Laboratory Astana, Computer Science Laboratory, Kazakhstan) , to incorporate STAMP, an accident causality model extensively used at the safety critical systems research lab (IAMP, ZHAW) in industrial projects.