Verification of an industrial rule-based manufacturing system using REX

Formal methods are not used in their full potential for enhancing software quality in industry. We argue that seamless support in a high-level specification tool is a viable way to provide system d ...

[1]  Jonathan P. Bowen,et al.  High-Integrity System Specification and Design , 1999, Formal Approaches to Computing and Information Technology (FACIT).

[2]  Mikael Berndtsson,et al.  Seamless formal verification of complex event processing applications , 2007, DEBS '07.

[3]  Anthony Hall.  Using Formal Methods to Develop an ATC Information System , 1996, IEEE Softw..

[4]  AnnMarie Ericsson.  Verifying an industrial system using REX. , 2008 .

[5]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[6]  James Bailey,et al.  On the decidability of the termination problem of active database systems , 2004, Theor. Comput. Sci..

[7]  CeriStefano,et al.  Compile-Time and Runtime Analysis of Active Behaviors , 1998 .

[8]  Thierry Coupaye,et al.  3D visualization of rule processing in active databases , 1997, NPIV '97.

[9]  Jennifer Widom,et al.  Static analysis techniques for predicting the behavior of active database rules , 1995, TODS.

[10]  Luciano Baresi,et al.  Introducing Formal Specification Methods in Industrial Practice , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[11]  Elena Baralis,et al.  Improving Rule Analysis by Means of Triggering and Activation Graphs , 1995, Rules in Database Systems.

[12]  Mikael Berndtsson,et al.  REX, the rule and event eXplorer , 2007, DEBS '07.

[13]  Elena Baralis,et al.  Compile-Time and Runtime Analysis of Active Behaviors , 1998, IEEE Trans. Knowl. Data Eng..

[14]  James Bailey,et al.  Decidability and undecidability results for the termination problem of active database rules , 1998, PODS '98.

[15]  Mokrane Bouzeghoub,et al.  VITAL: A Visual Tool for Analysis of Rules Behaviour in Active Databases , 1995, Rules in Database Systems.

[16]  Jonathan P. Bowen,et al.  Ten Commandments of Formal Methods , 1995, Computer.

[17]  Tomas Fors.  Visualization of Rule Behaviour in Active Databases , 1995, VDB.

[18]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[19]  London South.  Ten Commandments of Formal Methods … Ten Years Later , 2006 .

[20]  George S. Avrunin,et al.  Property specification patterns for finite-state verification , 1998, FMSP '98.

[21]  Stefano Ceri,et al.  Modeling web applications reacting to user behaviors , 2006, Comput. Networks.

[22]  T. Fors.  Visualization of rule behaviour in active database , 1997 .

[23]  José Júlio Alferes,et al.  State-of-the-art on evolution and reactivity , 2004 .