Modelling software fault management with runtime verification

To achieve the software fault tolerance at runtime, based on runtime verification techniques, this paper proposes a runtime model of running program, which is used to define the actions and constrains for runtime software fault management. This model contains the descriptions of event, path, scope and adjustment. A runtime fault management system prototype, which mainly includes the rule description, event acquisition, fault diagnosis and handling, is implemented to verify the model. Two test cases are used to estimate the effect of the prototype, and the results show that this method can handle faults successfully at runtime.

[1]  Grigore Rosu,et al.  Efficient monitoring of safety properties , 2004, International Journal on Software Tools for Technology Transfer.

[2]  Choonghwan Lee,et al.  Towards Categorizing and Formalizing the JDK API , 2012 .

[3]  Grigore Rosu,et al.  Synthesizing Monitors for Safety Properties: This Time with Calls and Returns , 2008, RV.

[4]  Giovanni Di Crescenzo,et al.  Detecting Anomalies in Active Insider Stepping Stone Attacks , 2011, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

[5]  Grigore Rosu,et al.  Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation , 2003, RV@CAV.

[6]  Martin Leucker,et al.  Comparing LTL Semantics for Runtime Verification , 2010, J. Log. Comput..

[7]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[8]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[9]  Takayuki Sasaki,et al.  A Framework for Detecting Insider Threats using Psychological Triggers , 2012, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

[10]  Darrin M. Hanna,et al.  Applying partial fault tolerance with explicit area constraints , 2013, Int. J. Embed. Syst..

[11]  Daniel Mahrenholz,et al.  Program instrumentation for debugging and monitoring with AspectC++ , 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.

[12]  Grigore Rosu,et al.  Scalable Parametric Runtime Monitoring , 2012 .

[13]  Volker Stolz,et al.  Temporal Assertions with Parametrised Propositions , 2007, RV.

[14]  Radu Grosu,et al.  Aspect-Oriented Instrumentation with GCC Appears in the Proceedings of the First International Conference on Runtime Verification (RV 2010) , 2010 .

[15]  Lujo Bauer,et al.  Edit automata: enforcement mechanisms for run-time security policies , 2005, International Journal of Information Security.

[16]  Bernd Finkbeiner,et al.  Checking Finite Traces Using Alternating Automata , 2004, Formal Methods Syst. Des..

[17]  Yliès Falcone,et al.  You Should Better Enforce Than Verify , 2010, RV.

[18]  David Walker,et al.  Policy enforcement via program monitoring , 2006 .

[19]  Volker Stolz,et al.  Temporal Assertions using AspectJ , 2006, Electron. Notes Theor. Comput. Sci..

[20]  Seyed Morteza Babamir,et al.  Runtime verification of service-oriented systems: a well-rounded survey , 2013, Int. J. Web Grid Serv..

[21]  Miguel Castro,et al.  Using abstraction to improve fault tolerance , 2001, Proceedings Eighth Workshop on Hot Topics in Operating Systems.

[22]  Ming-Jeng Yang,et al.  High Discovery Proportion and Fault Tolerance of Grid Information Service , 2012 .

[23]  Swarat Chaudhuri,et al.  Instrumenting C Programs with Nested Word Monitors , 2007, SPIN.

[24]  Zhang Wenjun.  Software Fault Tolerance:Techniques and Prospects , 2007 .

[25]  Ieee Std,et al.  IEEE Standard for Software Verification and Validation , 2008 .