Measuring with Timed Patterns
Measuring with Timed Patterns
复制标题
使用定时模式进行测量
DOI：
10.1007/978-3-319-21668-3_19
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Dogan Ulus
中科院分区：
文献类型：
--
作者：
Thomas Ferrère;O. Maler;D. Ničković;Dogan Ulus
我们提出了一种声明性测量规范语言，用于基于模拟轨迹的混合（离散-连续）系统的定量性能评估。我们使用带有事件的定时正则表达式来指定定义要进行测量的模拟迹线段的模式。此外，我们将这些模式的测量规范关联起来，以描述要在匹配的信号段上完成的特定类型的性能评估（最大化、平均值等）。由此产生的语言可以实现测量目标的表达和通用规范。我们为测量框架开发了一种算法，在原型工具中实现它，并将其应用于汽车通信协议的案例研究中。我们的实验表明，所提出的技术对于典型（计算密集型）模拟来说可以以非常低的开销使用。
We propose a declarative measurement specification language for quantitative performance evaluation of hybrid (discrete-continuous) systems based on simulation traces. We use timed regular expressions with events to specify patterns that define segments of simulation traces over which measurements are to be taken. In addition, we associate measure specifications over these patterns to describe a particular type of performance evaluation (maximization, average, etc.) to be done over the matched signal segments. The resulting language enables expressive and versatile specification of measurement objectives. We develop an algorithm for our measurement framework, implement it in a prototype tool, and apply it in a case study of an automotive communication protocol. Our experiments demonstrate that the proposed technique is usable with very low overhead to a typical (computationally intensive) simulation.