第二届嵌入式与安全关键系统技术因果推理国际研讨会论文集
计算机科学中的逻辑
2017-10-10 v1 软件工程
系统与控制
摘要
第二届 CREST 国际研讨会延续了第一届 CREST 研讨会的重点：探讨工程复杂嵌入式和安全关键系统中因果推理的方法。相关的因果推理方法已由多个社区（通常独立地）提出：人工智能、并发理论、基于模型的诊断、软件工程、安全工程和形式化方法。CREST 的目标是将来自这些社区的研究人员和从业者聚集在一起交流思想，特别是促进社区间的交流，以推进确定关键系统故障根本原因的科学。诸如电网停电、飞机坠毁、安全和隐私违规、医疗设备或汽车系统故障等故障日益复杂的特性，使得 CREST 的目标比以往任何时候都更加相关。
引用
@article{arxiv.1710.02770,
title = {Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies},
author = {Alex Groce and Stefan Leue},
journal= {arXiv preprint arXiv:1710.02770},
year = {2017}
}