Formal Analysis of Accidents
Auf einen Blick
- Projektleiter/in : Dr. Karl Reiner Lermer
- Projektteam : Prof. Dr. Antonio Cerone
- Projektvolumen : CHF 10'000
- Projektstatus : abgeschlossen
- Drittmittelgeber : Bund (Staatssekretariat für Bildung, Forschung und Innovation SBFI)
- Kontaktperson : Karl Reiner Lermer
Beschreibung
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.