金额

AMT:一种基于属性的模拟系统监控工具。本文描述了一种用于监测连续信号时间特性的工具AMT。我们首先介绍了Stl/Psl,这是一种基于工业标准语言Psl和实时时序逻辑Mitl的规范形式,扩展了允许描述实值变量行为的结构。该工具根据Stl/Psl规范自动构建属性观察器,并以脱机或增量方式检查仿真跟踪是否满足该属性。AMT工具通过一个Flash存储器案例进行了验证。


zbMATH中的参考文献(参考文献12条)

显示第1到第12个结果,共12个。
按年份排序(引用)

  1. 盆地,大卫;克莱德克,费利克斯;Zălinescu,Eugen:实时特性监控算法(2018)
  2. Drechsler,Rolf(编辑):正式系统验证。最新技术和未来趋势(2018)
  3. 德什穆克,乔蒂莫伊五世。;顿兹é, 亚历山德拉;Ghosh,Shromona公司;金小青;朱尼瓦尔,加维特;Seshia,Sanjit A.:信号时序逻辑的强大在线监测(2017)
  4. 米奇,斯特凡;普拉泽,安德烈é: ModelPlex:验证的网络物理系统模型的验证运行时验证(2016)
  5. 边缘,L。;德鲁霍š, P、 。;Šafr公司á奈克,D。;Vejpustek,T.:STL*:用信号值冻结运算符扩展信号时序逻辑(2014)
  6. 皮尼塞蒂,斯里尼瓦斯;法尔肯,伊莉ès;Jé罗恩,蒂埃里;马钱德,先生é; 安托万罗莱;Nguena Timo,Omer:Runtime enforcement of timed properties Review(2014年)
  7. 瑞克,奥瑞é留置权;蓄电池组é血淋淋的;费格斯,弗兰çois;Soliman,Sylvain:时序逻辑规范的连续评估及其在参数优化和稳健性度量中的应用(2011)
  8. 克拉克,埃德蒙;顿兹é, 亚历山德拉;Legay,Axel:基于仿真的混合模拟电路概率模型检查(2010)
  9. 琼斯,凯文·D。;康拉德,维克托;č科维ć, Dejan:模拟属性检查器:DDR2案例研究(2010)
  10. 洛克,马丁;Schallhart,Christian:运行时验证简介(2009)
  11. 费格斯,弗兰çois;瑞克,奥瑞é连:数值数据时间序列分析的时序逻辑约束求解(2008)
  12. 尼科维奇,德扬;Maler,Oded:AMT:模拟系统的基于属性的监视工具(2007)ioport公司