Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
复制标题
安全关键系统的形式化技术
DOI：
10.1007/978-3-319-53946-1_2
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Dongol B
中科院分区：
文献类型：
--
作者：
Dongol B
我们开发了一种基于区间的逻辑，用于对由使用流处理函数指定的组件组成的系统进行推理，这些组件将输入流映射到输出流。构造是代数的，建立在从形式幂级数的卷积理论之上。利用这些代数基础，我们统一地（并且系统地）定义了基于时间和空间的（分解）组合的算子。我们还证明了Banach的不动点理论可以被纳入框架，建立在现有的部分有序单群理论的基础上，这使得反馈算子可以被代数地定义。
We develop an interval-based logic for reasoning about systems consisting of components specified using stream-processing functions, which map streams of inputs to streams of outputs. The construction is algebraic and builds on a theory of convolution from formal power series. Using these algebraic foundations, we uniformly (and systematically) define operators for time- and space-based (de)composition. We also show that Banach’s fixed point theory can be incorporated into the framework, building on an existing theory of partially ordered monoids, which enables a feedback operator to be defined algebraically.
登录
查看更多内容
混合系统可达性分析的基准套件
DOI：
--
发表时间：
2015
期刊：
NASA Formal Methods
影响因子：
--
作者：
Xin Chen;Stefan Schupp;Ibtissem Ben Makhlouf;E. Ábrahám;Goran Frehse;S. Kowalewski
通讯作者：
S. Kowalewski
时间自动机的符号定量鲁棒性分析
DOI：
--
发表时间：
2015
期刊：
International Conference on Tools and Algorithms for Construction and Analysis of Systems
影响因子：
--
作者：
O. Sankur
通讯作者：
O. Sankur
具有参数更新的定时自动机
DOI：
--
发表时间：
2018
期刊：
International Conference on Application of Concurrency to System Design
影响因子：
--
作者：
É. André;D. Lime;Mathias Ramparison
通讯作者：
Mathias Ramparison
基于学习的事件记录自动机的组合参数合成
DOI：
--
发表时间：
2017
期刊：
Formal Techniques for (Networked and) Distributed Systems
影响因子：
--
作者：
É. André;Shang
通讯作者：
Shang
使用参数定时自动机验证存储电路的通用架构
DOI：
--
发表时间：
2006
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
R. Chevallier;Emmanuelle Encrenaz;L. Fribourg;Weiwen Xu
通讯作者：
Weiwen Xu