Causality Analysis for Concurrent Reactive Systems
arXiv: Formal Languages and Automata Theory(2016)
摘要
We present a comprehensive language theoretic causality analysis framework in the setting of concurrent reactive systems. Our framework allows us to uniformly express a number of causality notions studied in the areas of artificial intelligence and formal methods, as well as define new ones that are of potential interest in these areas. Furthermore, our formalization provides means for reasoning about the relationships between individual notions which have mostly been considered independently in prior work; and allows us to judge appropriateness of the different definitions for various applications in system design. In particular, we consider causality analysis notions for debugging, error resilience, and for liability resolution in concurrent reactive systems. Finally, we derive automata based algorithms for computing various causal sets based on our language theoretic encoding, and derive the algorithmic complexities. Digital Object Identifier 10.4230/LIPIcs.CVIT.2016.23
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络