Formal Analysis of Accidents
Auf einen Blick
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.