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

被引：6
|
作者：
Perez, Joaquin [1 ]
Jimenez, Jaime [2 ]
Rabanal, Asier [1 ]
Astarloa, Armando [2 ]
Lazaro, Jesus [2 ]
机构：
[1] Sisteplant Co, Derio 48160, Spain
[2] Univ Basque Country, Dept Elect & Telecommun, Bilbao 48012, Spain
来源：
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS | 2014年 / 10卷 / 03期
关键词：
Condition monitoring; formal languages; fuzzy logic; runtime verification; LOGIC; LTL;
D O I：
10.1109/TII.2014.2307531
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：1670 / 1683
页数：14
相关论文
共 50 条
  • [31] EVENTS - A STRUCTURING MECHANISM FOR A REAL-TIME RUNTIME SYSTEM
    DONNER, M
    JAMESON, D
    MORAN, W
    REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 22 - 30
  • [32] Runtime Behavior Adaptation for Real-Time Interactive Games
    Mehta, Manish
    Ram, Ashwin
    IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES, 2009, 1 (03) : 187 - 199
  • [33] Runtime Optimisation Approaches for a Real-Time Evacuation Assistant
    Wagoum, Armel Ulrich Kemloh
    Steffen, Bernhard
    Seyfried, Armin
    PARALLEL PROCESSING AND APPLIED MATHEMATICS, PT I, 2012, 7203 : 386 - 395
  • [34] REAL-TIME FINGERPRINT VERIFICATION SYSTEM
    GAMBLE, FT
    FRYE, LM
    GRIESER, DR
    APPLIED OPTICS, 1992, 31 (05): : 652 - 655
  • [35] Face verification for real-time applications
    Romano, R
    Beymer, D
    Poggio, T
    IMAGE UNDERSTANDING WORKSHOP, 1996 PROCEEDINGS, VOLS I AND II, 1996, : 747 - 756
  • [36] An abstraction technique for real-time verification
    Clarke, Edmund M.
    Lerda, Flavio
    Talupur, Muralidhar
    NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 1 - +
  • [37] TEMPORAL VERIFICATION OF REAL-TIME SYSTEMS
    CAMPOS, SV
    CLARKE, EM
    MARRERO, W
    MINEA, M
    HIRAISHI, H
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (07) : 796 - 801
  • [38] Real-time speaker identification and verification
    Kinnunen, T
    Karpov, E
    Fränti, P
    IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2006, 14 (01): : 277 - 288
  • [39] A Real-Time Antenna Verification System
    Cutajar, D.
    Farhat, I.
    Magro, A.
    Borg, J.
    Adami, K. Zarb
    Sammut, C. V.
    2018 2ND URSI ATLANTIC RADIO SCIENCE MEETING (AT-RASC), 2018,
  • [40] A simplification of a real-time verification problem
    Roy, Suman
    Misra, Janardan
    Saha, Indranil
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 26 (08): : 548 - 571
12345