DynaMICs: Comprehensive support for run-time monitoring

Electronic Notes in Theoretical Computer Science

Volumn 55, Issue 2, 2001, Pages 164-180

  Gates, Ann Q ^a   Roach, Steve ^a   Mondragon, Oscar ^a   Delgado, Nelly ^a  

^a UNIVERSITY OF TEXAS AT EL PASO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER PROGRAM LISTINGS; CONSTRAINT THEORY; PROJECT MANAGEMENT; STANDARDS;

CAPABILITY MATURITY MODEL (CMM); CONSTRAINT SPECIFICATIONS; RUN-TIME MONITORING; SOFTWARE SYSTEMS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 18944393248     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00251-8     Document Type: Conference Paper

References (45)

1. Bertolino A., and M. Marré, Deriving Path Expressions Recursively, Proceedings IEEE Second Workshop on Program Comprehension, 177-185, 1993.
2. Bonnier S., and T. Heyer, COMPASS: A Comprehensible Assertion Method, TAPSOFT '07: Theory and Practice of Software Development, Lecture Notes in Computer Science, 803-817, 1997.
3. Bruegge B., T. Gottschal, and B. Luo, A Framework for Dynamic Program Analyzers, Proceedings of the Eighth Annual Conference on Object-oriented Programming Systems, Languages, and Applications, 65-82, 1993.
4. Campos S., Clarke E. Analysis and Verification of Real-time Systems Using Quantitative Symbolic Algorithms. Journal of Software Tools for Technology Transfer. 2:1999
5. Chodrow S., Gouda M. Implementation of the Sentry System. Software Practice and Experience. 25:1995;373-387
6. Clarke E.M., Wing J.M., et al. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys. 28:1996;626-643
7. DoD-Std-2167A. "Military Standard: Defense System Software Development," Department of Defense, Washington, DC., 1988.
8. Dardenne A., van Lamsweerde A., Fickas S. Goal-directed Requirements Acquisition. Science of Computer Programming. 20:1993;3-50
9. Fernandez F., "Compiler-driven Approach to Monitoring Integrity Constraints," Master's Thesis, The University of Texas at El Paso, El Paso, Texas, 1998.
10. Flener P. "Logic Program Synthesis from Incomplete Information," 1995;Klewer Academic Publishers, Norwell, MA
11. Freedman D.P., Weinberg G.M. "Handbook of Walkthroughs, Inspections, and Technical Reviews, Evaluating Programs, Projects, and Products," 1990;Dorset House, New York, NY
12. Gates A., On Defining a Class of Integrity Constraints, Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering, 338-344, 1996.
13. Gates A., and S. Li, Software Faults and their Detection through DynaMICs, Proceedings of the IASTED Conference Software Engineering, 323-327, 1998.
14. Gates, A. Q., O. Mondragon, S. Roach, and A. Provetti, "Object-level Constraint Instrumentation: From Control Flowgraphs to Path Expressions," Technical Report, 2001.
15. Gates, A. Q., and O. Mondragon, A Constraint-Based Tracing Approach, to appear Journal of Systems and Software, 2002.
16. Gates, A. Q., and S. Roach, A Framework for Knowledge Management and Automated Constraint Monitoring, Proceedings of the Monterey Workshop 2001: Engineering Automation for Software Intensive System Integration, 154-168, 2001.
17. Gates, A. Q., and P. J. Teller, DynaMICs: An Automated and Independent Software-Fault Detection Approach, Proceedings of the Fourth International High-Assurance Systems Engineering Symposium, 11-19, 1999.
18. Gates A.Q., Teller P.J. An Integrated Design of a Dynamic Software-Fault Monitoring System. Journal of Integrated Design & Process Science. 14:2000;63-78
19. Gates, A. Q., and P. J. Teller, "Dynamic Software Monitoring with Integrity Constraints: A Unified Approach for the Development and Evolution of Software," Technical Report, 2001.
20. Haban D., Wybranietz D. A Hybrid Monitor for Behavior and Performance Analysis of Distributed Systems. IEEE Transactions on Software Engineering. 16:1990;197-211
21. Havelund K., Using Runtime Analysis to Guide Model Checking of Java Programs, The Seventh International SPIN Workshop, Stanford, California, 2000.
22. Holtzmann G. The Spin Model Checker. IEEE Transactions on Software Engineering. 23:1997;279-295
23. Horowitz E., Williamson R. SODOS: A Software Documentation Support Environment - Its Use. IEEE Transactions on Software Engineering. 12:1986;1076-1087
24. Jeffery C., W. Zhou, K. Templer and M. Brazell, A Lightweight Architecture for Program Execution Monitoring, ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 67-74, 1998.
25. Kidd M., Ensuring Critical Event Sequences in High Consequence Computer Based Systems as Inspired by Path Expressions, Proceedings of the International Conference and Workshop on Engineering of Computer Based Systems, 483-490, 1997.
26. Kim M., M. Viswanathan et al., "MaC: A Framework for Run-time Correctness Assurance of Real-Time Systems," Technical Report, 1998.
27. Kim M., M. Viswanathan et al., Formally Specified Monitoring of Temporal Properties, Proceedings of the European Conference on Real-Time Systems, 1999.
28. Lee I., H. Ben-Abdallah et al., A Monitoring and Checking Framework for Run-time Correctness Assurance, Proceedings of the 1998 Korea-U.S. Technical Conference on Strategic Technologies, 1998.
29. Leveson N.G. "Safeware: System Safety and Computers," 1995;Addision-Wesley, Reading, MA
30. Luckham D., Mann W., Meldal S., Helmbold D. An Overview of Anna: Specification Language for Ada. IEEE Software. 20:1988;9-23
31. Lutz, R. R., and H. Shaw, "DS-1 Pilot Implementation of Assertions: Summary of Lessons Learned," Technical Report, Jet Propulsion Laboratory, Pasadena, CA, 1997.
32. Manna Z., Waldinger R.J. A Deductive Approach to Program Synthesis. ACM Transactions on Programming Languages and Systems. 2:1980;90-121
33. Pinheiro F., Goguen A. An Object-Oriented Tool for Tracing Requirements. IEEE Software. 13:1996;52-64
34. Roach S., and A. Q. Gates, Towards Synthesis of Runtime Constraint Monitoring Code, Proceedings of the 2nd International Workshop on Automated Program Analysis, Testing, and Verification, 2001.
35. Rosenblum D.S. A Practical Approach to Programming with Assertions. IEEE Transactions on Software Engineering. 21:1995;19-31
36. Rushby J. Theorem Proving for Verification. Cassez F. "Modelling and Verification of Parallel Processes" 2000;Springer-Verlag, Nantes, France
37. Rushby J., Speech Keynote. High Assurance Systems Engineering Symposium 2000. November 2000;Albuquerque, NM
38. Sankar S., Mandal M. Concurrent Runtime Monitoring of Formally Specified Programs. IEEE Computer. 26:1993;32-41
39. Schroeder B.A. On-line Monitoring: a Tutorial. IEEE Computer. 28:1995;72-78
40. Sosic R., Dynascope: A Tool for Program Directing, Proceedings of the 5th ACM SIGPLAN Conference on Programming Language Design and Implementation, 12-21, 1992.
41. Tarjan R.E. Fast Algorithms for Solving Path Problems. Journal of the ACM. 28:1981;584-614
42. Teller P., M. Maxwell, and A. Gates, Towards the Design of a Snoopy Coprocessor for Dynamic Software-Fault Detection, Proceedings of the 18th IEEE International Performance, Computing, and Communications Conference, 310-317, 1999.
43. Tsai J.P., Fang K., Chen H., Bi Y. A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging. IEEE Transactions on Software Engineering. 16:1990;897-916
44. van Emden M.H. Structured Inspection of Code. Software Testing, Verification and Reliability. 2:1992;133-153
45. Visser W., Havelund K., et al. Java PathFinder - Second Generation of a Java Model Checker. Post-CAV Workshop on Advances in Verification. July 2000