Modeling of Timing Constraints in Hybrid Systems Using Event-B
Modeling of Timing Constraints in Hybrid Systems Using Event-B
复制标题
使用事件 B 对混合系统中的时序约束进行建模
DOI：
10.1109/tr.2019.2936026
复制
发表时间：
2020-06
影响因子：
5.9
通讯作者：
苏雯
中科院分区：
文献类型：
--
作者：
苏雯
混合和信息物理系统对系统的正式构建提出了新的挑战。在混杂系统中，状态按照连续和离散动力学的相关规律在连续时间内演化。因此，定时约束和同步信号起着重要的作用。此外，在复杂的混合动力系统的发展，细化，和组合的时间约束是必要的。然而，现有的事件B的形式化方法在混合系统的精化和组合方面存在困难。因此，在这篇文章中，我们提出了一个正式的混合方法来解决这个问题。我们的建模方法是基于事件-B方法，并使用罗丹平台及其插件理论。
Hybrid and cyber-physical systems pose new challenges for formal construction of systems. In hybrid systems, the states evolve over continuous time according to related laws of continuous and discrete dynamics. Thus, timing constraints and synchronous signals play important roles. Moreover, in the development of complex hybrid systems, refinement, and composition of timing constraints are in need. However, the existing formal approaches of Event-B have difficulties in refinement and composition of hybrid systems. Therefore, in this article, we propose a formal hybrid approach to solve this problem. Our approach of modeling is based on the Event-B method, and uses the Rodin platform and its plugin Theory.
登录
查看更多内容
DOI：
10.1007/s10009-009-0130-5
发表时间：
2007-12
影响因子：
1.5
作者：
Joris Rehm
通讯作者：
Joris Rehm
DOI：
10.1007/978-3-642-34281-3_18
发表时间：
2012-11
期刊：
--
影响因子：
--
作者：
Wen Su;J. Abrial;Huibiao Zhu
通讯作者：
Wen Su;J. Abrial;Huibiao Zhu
DOI：
10.1007/978-3-642-25271-6_7
发表时间：
2010-11
期刊：
--
影响因子：
--
作者：
Renato Silva;M. Butler
通讯作者：
Renato Silva;M. Butler
DOI：
10.1007/978-3-319-91271-4_31
发表时间：
2018-06
期刊：
--
影响因子：
--
作者：
Wen Su;Jinxin Chen;Shehroz Khan
通讯作者：
Wen Su;Jinxin Chen;Shehroz Khan
DOI：
10.1007/978-3-642-39718-9_2
发表时间：
2013-09
期刊：
--
影响因子：
--
作者：
Jifeng He
通讯作者：
Jifeng He