Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms
Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms
复制标题
分布式算法的动态数据驱动的正式进度范围
DOI：
10.1007/978-3-030-61725-7_29
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Varela, C.A.
中科院分区：
文献类型：
--
作者：
Paul, S.;Kopsaftopoulos, F.;Varela, C.A.
这项工作presentsformal progress esteresapplied到飞行系统的明确分类系统的状态空间到区域中的分布式算法的进展的正式证明持有或不持有。本文还提出了一种基于参数化证明的形式化方法在动态数据驱动应用系统（DDDAS）体系结构中的运行时集成方法。最后，它展示了可重用的参数化证明库的开发，用于Athena证明助手中的高级统计和随机推理，并演示了它们在Paxos分布式共识协议的进度证明中的使用。
This work presentsformal progress envelopesapplied to flight systems for distinctly classifying a system’s state space into regions where a formal proof of progress for a distributed algorithm holds or does not hold. It also presents an approach for runtime integration of formal methods in the dynamic data-driven applications systems (DDDAS) architecture usingparameterized proofs. Finally, it showcases the development of reusable parameterized proof libraries for high-level statistical and stochastic reasoning in the Athena proof assistant and demonstrates their use with a progress proof for the Paxos distributed consensus protocol.
登录
查看更多内容
数据驱动的飞行感觉航空航天结构随机识别：非参数和参数方法的批判性评估
DOI：
--
发表时间：
2019
期刊：
AIAA Scitech 2019 Forum
影响因子：
--
作者：
F. Kopsaftopoulos
通讯作者：
F. Kopsaftopoulos
使用安全信封证明数据驱动系统的运行时属性
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
S. Breese;F. Kopsaftopoulos;Carlos A. Varela
通讯作者：
Carlos A. Varela
DOI：
10.1016/j.tcs.2007.05.009
发表时间：
2007
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
O. Hasan;S. Tahar
通讯作者：
S. Tahar
DOI：
--
发表时间：
2007
期刊：
CADE
影响因子：
--
作者：
O. Hasan;S. Tahar
通讯作者：
S. Tahar
使用定理证明对无线系统进行概率分析
DOI：
--
发表时间：
2009
期刊：
FMWS@CONCUR
影响因子：
--
作者：
O. Hasan;S. Tahar
通讯作者：
S. Tahar