A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM
复制标题
使用 VDM 模拟分布式实时系统的确定性解释器
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
N. Battle
中科院分区：
文献类型：
--
作者：
K. Lausdahl;P. Larsen;N. Battle
VDM 的实时方言（称为 VDM-RT）包含用于描述并发线程、此类线程的同步以及对象实例及其线程在多个 CPU（通过总线连接它们）上的分布的结构。模拟 VDM-RT 模型可执行子集的工具受益于确定性，因此问题是可重现的并且可以更容易地调查。我们描述了 VDM-RT 解释器的确定性调度功能，并展示了如何确定性地调试多线程模型。
The real time dialect of VDM, called VDM-RT, contains constructs for describing concurrent threads, synchronisation of such threads and the distribution of object instances and their threads over multiple CPUs with busses connecting them. Tools that simulate an executable subset of VDM-RT models benefit from being deterministic so that problems are reproducible and can be more easily investigated. We describe the deterministic scheduling features of our VDM-RT interpreter, and show how multi-threaded models can also be debugged deterministically.
DOI：
10.1007/978-3-540-74107-7
发表时间：
2007
期刊：
--
影响因子：
--
作者：
D. Bjørner;Martin C. Henson
通讯作者：
D. Bjørner;Martin C. Henson