Template languages for fault monitoring of timed discrete event processes
Template languages for fault monitoring of timed discrete event processes
复制标题
DOI：
10.1109/9.855548
复制
发表时间：
2000-05
期刊：
影响因子：
--
通讯作者：
D. Pandalai;L. Holloway
中科院分区：
文献类型：
--
作者：
D. Pandalai;L. Holloway
本文介绍了一种用于建模离散事件过程的新框架。该框架称为条件模板，允许对同时展示单实例和多实例行为的流程进行建模。单实例行为对应于单个有限状态进程的跟踪，多实例行为对应于同时运行的未指定数量的相同进程的定时交错。模板框架允许对由单实例和多实例行为的并发混合组成的系统进行正确操作的建模。然后可以将该表示用于在线故障监控，以确认系统的正确操作。我们将模板模型可表示的定时语言类与定时自动机模型中的定时语言类进行比较。结果表明，模板能够对与单实例和多实例行为及其组合相对应的定时语言进行建模。因此，模板可以表示仅使用定时自动机无法表示或监控的语言。
This paper introduces a new framework for modeling discrete event processes. This framework, called condition templates, allows the modeling of processes in which both single-instance and multiple-instance behaviors are exhibited concurrently. A single-instance behavior corresponds to a trace from a single finite-state process, and a multiple-instance behavior corresponds to the timed interleavings of an unspecified number of identical processes operating at the same time. The template framework allows the modeling of correct operation for systems consisting of concurrent mixtures of both single and multiple-instance behaviors. This representation can then be used in online fault monitoring for confirming the correct operation of a system. We compare the class of timed languages representable by template models with classes of timed languages from timed automata models. It is shown that templates are able to model timed languages corresponding to single and multiple-instance behaviors and combinations thereof. Templates can thus represent languages that could not be represented or monitored using timed automata alone.