On-line monitoring of real time applications for early error detection

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008

Volumn , Issue , 2008, Pages 24-31

  Robert, Thomas ^a   Fabre, Jean Charles ^a   Roy, Matthieu ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATICALLY GENERATED; DETECTOR SYSTEMS; ERROR CONFINEMENTS; ERROR DETECTORS; FORMAL DEFINITIONS; FORMAL MODELS; GENERATION PROCESS; MISBEHAVIOUR; ON-LINE MONITORING; REAL-TIME APPLICATIONS; RUN-TIME; SOFTWARE APPLICATIONS; SOFTWARE DEPENDABILITIES; TEMPORAL CONSTRAINTS; TIME ERROR DETECTORS; TIMING ASPECTS; TIMING CONSTRAINTS;

APPLICATIONS; DETECTORS; EMBEDDED SYSTEMS; ERROR DETECTION; SPECIFICATIONS; TIME MEASUREMENT; TIMING CIRCUITS;

REAL TIME SYSTEMS;

EID: 60349096937     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.2008.31     Document Type: Conference Paper

References (13)

1. J. Fabre, M. Rodríguez, J. Arlat, and J. Sizun: "Building dependable COTS microkernel-based systems using MAFALDA", in PRDC, IEEE Computer Society, 2000, 85-94
2. K. Havelund and G. Rosu: "Runtime Verification", vol. 70. Elsevier Science, 2002.
3. A. Bauer, M. Leucker, and C. Schallhart: "Monitoring of real-time properties", in FSTTCS, 2006.
4. R. Alur and D. L. Dill: "A theory of timed automata", in Theoretical Computer Science, vol. 126, 1994.
5. S. Tripakis and S. Yovine: "Analysis of timed systems using time abstracting bisimulations", in Formal Methods in System Design, vol. 18, Springer, 2001.
6. Xenomai homepage, https://www.xenomai.org
7. N. Delgado, A. Q. Gates, and S. Roach: "A taxonomy and catalog of runtime software-fault monitoring tools", in IEEE Transactions Software Engineering, vol. 30, IEEE Transactions, 2004.
8. K.J. Kristoffersen, C. Pedersen, and H.R. Andersen: "Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems", Electr. Notes Theor. Comput. Sci, vol. 89, 2003.
9. A. Mok, and G. Liu: "Early Detection of Timing Constraint Violation at Runtime", in RTSS, IEEE, 1997, p 176-186
10. M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky: "Formally Specified Monitoring Of Temporal Properties", in Euromicro, 1999, pp. 114-22.
11. K. Havelund and G. Rosu : "Monitoring Java programs with Java PathExplorer", Runtime Verification, 2001.
12. Kronos home page: http://www.verimag.imag.fr/TEMPORISE/kronos/
13. Early error detector generation framework: http://www.laas.fr/ ̃trobert/RTRV/