Formal Analysis of Accidents
At a glance
- Project leader : Dr. Karl Reiner Lermer
- Project team : Prof. Dr. Antonio Cerone
- Project budget : CHF 10'000
- Project status : completed
- Funding partner : Federal government (Staatssekretariat für Bildung, Forschung und Innovation SBFI)
- Contact person : Karl Reiner Lermer
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.