• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Industrial Informatics, IEEE Transactions on >FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification
【24h】

FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification

机译：FTL-CFree：用于运行时验证的模糊实时语言

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper presents the functional specification language fuzzy temporal logic context free (FTL-CFree), a real runtime language designed to enable industry to model and verify complex scenarios. Such specification requirements demand the flexibility to manage manufacturing event correlations, performance constraints, and timing restrictions, such as holdups and delays. Moreover, this language enriches temporal logic expressiveness with random access to past values and fuzzy evolutionary semantics. Given a specific input trace, this interpretation not only aims to measure the degree of truth of an assertion, but also sets how it will evolve in the future if new trace suffixes are provided. As it is usually the case in runtime verification, the language provides for oracle generation, and so an automatic observable specification can be obtained from high-level requirements. To test the expressiveness and practical usefulness of FTL-CFree, the specifications of two industrial use cases are generated: 1) a batch plant in a glassworks; and 2) a manufacturing execution system.
机译：本文介绍了功能规范语言模糊时间逻辑上下文无关（FTL-CFree），这是一种旨在使行业能够建模和验证复杂方案的实时运行语言。这样的规范要求要求灵活性来管理制造事件相关性，性能约束和时序约束，例如保持和延迟。此外，这种语言通过随机访问过去的值和模糊的进化语义，丰富了时间逻辑的表达能力。给定特定的输入迹线，这种解释不仅旨在衡量断言的真实程度，而且还设置了如果提供新的迹线后缀，将来它将如何发展。在运行时验证中通常是这种情况，该语言提供了oracle的生成功能，因此可以从高层需求中获得自动可观察的规范。为了测试FTL-CFree的表达性和实用性，生成了两个工业用例的规范：1）玻璃厂中的批处理工厂;和2）一个制造执行系统。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号