Verification of an industrial rule-based manufacturing system using REX

CEUR Workshop Proceedings

Volumn 412, Issue , 2008, Pages

  Ericsson, Annmarie ^a   Berndtsson, Mikael ^a   Pettersson, Paul ^b   Pettersson, Lena ^c  

^a UNIVERSITY OF SKÖVDE   (Sweden)

^b MÄLARDALEN UNIVERSITY   (Sweden)

^c VOLVO AERO CORPORATION   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT CONDITION ACTION RULES; FORMAL VERIFICATIONS; HIGH LEVEL SPECIFICATION; REACTIVE BEHAVIOR; RULE-BASED SPECIFICATION; RULE-BASED SYSTEM; SOFTWARE QUALITY; STATE-SPACE EXPLOSION;

AUTOMATA THEORY; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL METHODS; INTERNET; MODEL CHECKING; SPECIFICATIONS; TOOLS;

INDUSTRY;

EID: 84885604285     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. J. J. Alferes, J. Bailey, M. Berndtsson, F. Bry, J. Dietrich, A. Kozlenkov, W. May, P. L. Patranjan, A. Pinto, M. Schroeder, and G. Wagner, "State-of-the-art on evolution and reactivity., Tech. Rep. REWERSE deliverable I5-D1, 2004, 2004.
2. S. Ceri, F. Daniel, and F. M. Facca, "Modeling web applications reacting to user behaviors," Comput. Netw., Vol. 50, no. 10, pp. 1533-1546, 2006.
3. J. Bailey, G. Dong, and K. Ramamohanarao, "Decidability and undecidability results for the termination problem of active database rules," in PODS '98: Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems. New York, NY, USA: ACM Press, 1998, pp. 264-273.
4. J. Bowen and M. Hinchey, "Ten commandments of formal methods... ten years later," Computer, Vol. 39, no. 1, pp. 40-48, 2006.
5. J. P. Bowen and M. Hinchey, "Ten commands of formal methods," in High-integrity system specification and design, J. P. Bowen and M. Hinchey, Eds. Springer-Verlag, 1998, pp. 215-230.
6. A. Hall, "Using formal methods to develop an atc information system," IEEE Softw., Vol. 13, no. 2, pp. 66-76, 1996.
7. L. Baresi, A. Orso, and M. Pezze, "Introducing formal specification methods in industrial practice," in ICSE '97: Proceedings of the 19th international conference on Software engineering. New York, NY, USA: ACM Press, 1997, pp. 56-66.
8. A. Ericsson and M. Berndtsson, "Rex, the rule and event explorer," in DEBS '07: Proceedings of the 2007 inaugural international conference on Distributed eventbased systems, 2007, pp. 71-74.
9. J. Bengtsson, K. G. Larsen, P. Pettersson, and Y. Wang, "Uppaal - a tool suite for automatic verification of real-time systems," In Hybrid Systems III: Verification and Control, pp. 232-243, 1996.
10. A. Ericsson, "Verifying an industrial system using rex," in Technical Report HSIKI-TR-08-001, School of Humanities and informatics, University of Skövde, June 2008.
11. A. Ericsson, P. Pettersson, M. Berndtsson, and M. Seiriö, "Seamless formal verification of complex event processing applications," in DEBS '07: Proceedings of the 2007 inaugural international conference on Distributed event-based systems, 2007, pp. 50-61.
12. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, "Property specification patterns for finite-state verification," in Proc. 2nd Workshop on Formal Methods in Software Practice (FMSP-98), M. Ardis, Ed. New York: ACM Press, 1998, pp. 7-15.
13. R. Alur and D. L. Dill, "A theory of timed automata," Theoretical Computer Science, Vol. 26, pp. 183-235, 1994.
14. E. Baralis, S. Ceri, and S. Paraboschi, "Improved Rule Analysis by Means of Triggering and Activation Graphs," in Rules in Database Systems (RIDS 95), T. Sellis, Ed., 1995, pp. 165-181.
15. J. Bailey, G. Dong, and K. Ramamohanarao, "On the decidability of the termination problem of active database systems," Theoretical Computer Science, Vol. 311(1-3), pp. 389-437, 2004.
16. A. Aiken, J. Hellerstein, and J. Widom, "Static analysis techniques for predicting the behavior of active database rules," ACM Transactions on Database Systems, Vol. 20, pp. 3-41, 1995.
17. E. Baralis, S. Ceri, and S. Paraboschi, "Compile-time and runtime analysis of active behaviors," Knowledge and Data Engineering, IEEE Transactions on, Vol. 10, no. 3, pp. 353-370, 1998.
18. T. Fors, "Visualization of rule behaviour in active databases," in VDB, 1995, pp. 215-231.
19. E. Benazet, H. Guehl, and M. Bouzeghoub, "Vital: A visual tool for analysis of rules behaviour in active databases," in Proceedings of the Second International Workshop on Rules in Database Systems. Springer-Verlag, 1995, pp. 182-196.
20. T. Coupaye, C. L. Roncancio, C. Bruley, and J. Larramona, "3d visualization of rule processing in active databases," in NPIV '97: Proceedings of the 1997 workshop on New paradigms in information visualization and manipulation, 1997, pp. 39-42.