[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/1810295.1810352acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

Runtime repair of software faults using event-driven monitoring

Published: 01 May 2010 Publication History

Abstract

In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults can lead to unacceptable program behavior during execution, even leading to the program terminating unexpectedly. Using a distributed event-driven runtime software-fault monitor to repair faulty states creates an enforceable runtime specification. Using such an architecture can help ensure that emergent systems operate within specification, increasing the reliability of such software.

References

[1]
Belli, F., Budnik, C. J., and White, L. Event-based modelling, analysis and testing of user interactions: approach and case study. Software Testing, Verification and Reliability 16, 1 (2006).
[2]
Delgado, N., Gates, A. Q., and Roach, S. A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Transactions on Software Engineering 30, 12 (2004), 859--872.
[3]
Forgy, C. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artifical Intelligence 1 (1982), 17--37.
[4]
Gray, J., and Reuter, A. Transaction Processing: Concepts and Techniques, 1st ed. Morgan Kaufmann, September 1992.
[5]
Henjes, R., Schlosser, D., Menth, M., and Himmler, V. Throughput performance of the ActiveMQ JMS Server. In Kommunikation in Verteilten Systemen (KiVS), Informatik aktuell. 2007, ch. 10, pp. 113--124.
[6]
Kim, M., Viswanathan, M., Kannan, S., Lee, I., and Sokolsky, O. Java-MaC: A run-time assurance approach for Java programs. Formal Methods in System Design 24, 2 (March 2004), 129--155.
[7]
Luckham, D. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Professional, May 2002.
[8]
Mourad, S., and Andrews, D. On the reliability of the IBM MVS/XA operating system. Software Engineering, IEEE Transactions on SE-13, 10 (September 2006), 1135--1139.
[9]
Perkins, J. H., Kim, S., Larsen, S., Amarasinghe, S., Bachrach, J., Carbin, M., Pacheco, C., Sherwood, F., Sidiroglou, S., Sullivan, G., Wong, W. F., Zibin, Y., Ernst, M. D., and Rinard, M. Automatically patching errors in deployed software. In SOSP '09: Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles (New York, NY, USA, 2009), ACM, pp. 87--102.
[10]
Rinard, M. Acceptability-oriented computing. In OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (New York, NY, USA, 2003), ACM, pp. 221--239.
[11]
Sammapun, U., Lee, I., and Sokolsky, O. RT-MaC: runtime monitoring and checking of quantitative and probabilistic properties. pp. 147--153.

Cited By

View all
  • (2023)Run-Time Prevention of Software Integration Failures of Machine Learning APIsProceedings of the ACM on Programming Languages10.1145/36228067:OOPSLA2(264-291)Online publication date: 16-Oct-2023
  • (2020)Fully Automated HTML and JavaScript Rewriting for Constructing a Self‐healing Web ProxySoftware Testing, Verification and Reliability10.1002/stvr.173130:2Online publication date: 14-Feb-2020
  • (2018)Automatic Software RepairACM Computing Surveys10.1145/310590651:1(1-24)Online publication date: 23-Jan-2018
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
May 2010
554 pages
ISBN:9781605587196
DOI:10.1145/1810295
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. event-driven systems
  2. message broker
  3. rule engine
  4. runtime software-fault monitoring
  5. specifications
  6. temporal invariants
  7. video games

Qualifiers

  • Research-article

Conference

ICSE '10
Sponsor:

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)6
  • Downloads (Last 6 weeks)0
Reflects downloads up to 09 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Run-Time Prevention of Software Integration Failures of Machine Learning APIsProceedings of the ACM on Programming Languages10.1145/36228067:OOPSLA2(264-291)Online publication date: 16-Oct-2023
  • (2020)Fully Automated HTML and JavaScript Rewriting for Constructing a Self‐healing Web ProxySoftware Testing, Verification and Reliability10.1002/stvr.173130:2Online publication date: 14-Feb-2020
  • (2018)Automatic Software RepairACM Computing Surveys10.1145/310590651:1(1-24)Online publication date: 23-Jan-2018
  • (2018)Fully Automated HTML and Javascript Rewriting for Constructing a Self-Healing Web Proxy2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE.2018.00012(1-12)Online publication date: Oct-2018
  • (2018)Exhaustive Exploration of the Failure-Oblivious Computing Search Space2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2018.00023(139-149)Online publication date: Apr-2018
  • (2013)Towards model checking of computer games with Java PathFinderProceedings of the 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change10.5555/2662593.2662596(15-21)Online publication date: 18-May-2013
  • (2013)Towards model checking of computer games with Java PathFinder2013 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS)10.1109/GAS.2013.6632584(15-21)Online publication date: May-2013
  • (2011)The whats and the whys of games and software engineeringProceedings of the 1st International Workshop on Games and Software Engineering10.1145/1984674.1984676(1-4)Online publication date: 22-May-2011

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media