FTL-CFree: A fuzzy real-time language for runtime verification

IEEE Transactions on Industrial Informatics

Volumn 10, Issue 3, 2014, Pages 1670-1683

  Perez, Joaquin ^a   Jimenez, Jaime ^a   Rabanal, Asier ^a   Astarloa, Armando ^a   Lazaro, Jesus ^a  

^a Sisteplant Company ^*  (Spain)

Author keywords

Condition monitoring; formal languages; fuzzy logic; runtime verification

Indexed keywords

CONDITION MONITORING; FORMAL LANGUAGES; FUZZY LOGIC; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; TEMPORAL LOGIC;

EVOLUTIONARY SEMANTICS; FUNCTIONAL SPECIFICATION; INDUSTRIAL USE CASE; MANUFACTURING EXECUTION SYSTEM; PERFORMANCE CONSTRAINTS; REAL-TIME LANGUAGES; RUN-TIME VERIFICATION; SPECIFICATION REQUIREMENT;

HIGH LEVEL LANGUAGES;

EID: 84940298311     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2014.2307531     Document Type: Article

References (35)

1. N. Delgado, A. Q. Gates, and S. Roach, "Ataxonomy and catalog of runtime software-fault monitoring tools," IEEE Trans. Softw. Eng., vol. 30, no. 12, pp. 859-872, Dec. 2004.
2. M. Fujita, I. Ghosh, and M. Prasad, Verification Techniques for System-Level Design. New York, NY, USA: Elsevier, 2008.
3. P. Iyenghar, E. Pulvermueller, M. Spieker, and J. Wuebbelmann, "Time and memory-Aware runtime monitoring for executing model-based test cases in embedded systems," in Proc. IEEE Int. Conf. Ind. Informat., 2013, vol. 54, pp. 506-512.
4. V. Vyatkin, "Software engineering in industrial automation: State-of-The-Art review," IEEE Trans. Ind. Informat., vol. 9, no. 3, pp. 1234-1249, Aug. 2013.
5. M. Witsch and B. Vogel-Heuser, "Towards a formal specification framework for manufacturing execution systems," IEEE Trans. Ind. Informat., vol. 8, no. 2, pp. 311-320, Apr. 2012.
6. M. Leucker and C. Schallhart, "A brief account of runtime verification," J. Logic Algebraic Program., vol. 78, pp. 293-303, 2009.
7. J. Håkansson, B. Jonsson, and O. Lundqvist, "Generating online test oracles from temporal logic specifications," J. Softw. Tools Technol. Transfer, vol. 4, pp. 456-471, 2003.
8. V. Stolz, "Temporal assertions with parametrised propositions," J. Logic Comput., vol. 20, pp. 743-757, 2010.
9. Z. Wu, "On the expressive power of QLTL," in Proc. 4th Int. Conf. Theor. Aspects Comput., 2007, pp. 467-481.
10. J. P. Katoen, Principles of Model Checking. Enschede, the Netherlands: Formal Methods and Tools Group, University of Twente, 2003.
11. Sisteplant homepage [Online]. Available: Http://www.sisteplant.com
12. D. K. Peters and D. L. Parnas, "Requirements-based monitors for realtime systems," IEEE Trans. Softw. Eng., vol. 28, no. 2, pp. 146-158, Feb. 2002.
13. A. Pnueli, "The temporal logic of programs," in Proc. 18th Symp. Found. Comput. Sci., 1977, pp. 46-57.
14. T. A. Henzinger, J. F. Raskin, and P. Y. Schobbens, "The Regular real-Time languages," in Proc. 25th Int. Colloq. Automata, Languages, Program. (ICALP), Lect. Notes in Computer Science, Springer, 1998, pp. 580-591.
15. P. Bouyer, F. Chevalier, and N. Markey, "On the expressiveness of TPTL and MTL," J. Inform. Comput., vol. 208, pp. 97-116, Feb. 2010.
16. R. Alur, T. Feder, and T. A. Henzinger, "The benefits of relaxing punctuality," J. ACM, vol. 43, pp. 116-146, 1996.
17. R. Mattolini and P. Nesi, "An interval logic for real-Time system specification," IEEE Trans. Softw. Eng., vol. 27, no. 3, pp. 208-227, Mar. 2001.
18. J. A. Anderson, Automata Theory with Modern Applications. Cambridge, U.K.: Cambridge Univ. Press, 2006.
19. H. Barringer, A. Goldberg, K. Havelund, and K. Sen, "Rule-based runtime verification," in Proc. 5th Int. Conf. Verif., Model Checking, Abstract Interp. (VMCAI04), 2004, vol. 55, pp. 277-306.
20. A. Bauer, M. Leucker, and C. Schallhart, "Runtime verification for LTL and TLTL," ACM Trans. Softw. Method., vol. 20, 2011, article no. 14.
21. K. B. Lamine and F. Kabanza, "History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots," in Proc. IEEE Int. Conf. Tools Artif. Intell., 2000, pp. 312-319.
22. A. Frigeri, L. Pasquale, and P. Spoletin, "Fuzzy time in LTL," Logic Comput. Sci., to be published.
23. L. De Alfaro, M. Faella, and M. Stoelinga, "Linear and branching system metrics," IEEE Trans. Softw. Eng., vol. 35, no. 2, pp. 258-273, Mar./Apr. 2009.
24. A. Bauer and P. Haslum, "LTL goal specifications revisited," in Proc. Eur. Conf. Artif. Intell., 2010, vol. 215, pp. 881-886.
25. D. Giannakopoulou and K. Havelund, "Automata-based verification of temporal properties on running programs," in Proc. IEEE Int. Conf. Automated Softw. Eng., 2001, pp. 412-416.
26. Z. Duoli, S. Yukun, D. Gaoming, and Z. Yuanjie, "Atechnique of automatic monitor generation based on FSM," in Proc. IEEE Asia Pacific Conf. Circuits Syst., 2008, pp. 1775-1778.
27. B. Finkbeiner and H. Sipma, "Checking finite traces using alternating automata," Electron. Notes Theor. Comput. Sci., vol. 55, pp. 147-163, 2001.
28. P. Thati and G. Rosu, "Monitoring algorithms for metric temporal logic specifications," Electron. Notes Theor. Comput. Sci., vol. 113, pp. 145-162, 2005.
29. S. Mukherjee and P. Dasgupta, "A fuzzy real-Time temporal logic," Int. J. Approx. Reason., vol. 54, pp. 1452-1470, 2013.
30. M. C. W. Geilen, "On the construction of monitors for temporal logic properties," Electron. Notes Theor. Comput. Sci., pp. 181-199, 2001.
31. R. M. Hierons, "Oracles for distributed testing," IEEE Trans. Softw. Eng., vol. 38, no. 3, pp. 629-641, May/Jun. 2012.
32. T. Massart and C. Meuter, "Efficient online monitoring of LTL properties for asynchronous distributed systems," Univ. Libre de Bruxelles, Tech. Rep., 2006.
33. D. Wang, "Robust data-driven modeling approach for real-Time final product quality prediction in batch process operation," IEEE Trans. Ind. Informat., vol. 7, no. 2, pp. 371-377, May 2011.
34. D. P. Filev, R. B. Chinnam, F. Tseng, and P. Baruah, "An industrial strength novelty detection framework for autonomous equipment monitoring and diagnostics," IEEE Trans. Ind. Informat., vol. 6, no. 4, pp. 767-779, Nov. 2010.
35. M. Cereia, I. C. Bertolotti, and S. Scanzio, "Performance of a real-Time EtherCAT master under Linux," IEEE Trans. Ind. Informat., vol. 7, no. 4, pp. 679-687, Nov. 2011.