Incremental messages: micro-kernel services for flexible and efficient management of replicated data

Perez, C.; Fabregat, G.; Martinez, Robert; Martín, Gonzalo

doi:10.1109/ftcs.1999.781034

Cited by 2 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• Operating System layer: the Operating System can be modified in order to guarantee a higher level of dependability. The approach is very effective but requires a very detailed modification of the Operating System services and a free access to its source code [1]. • Middleware layer: interposition techniques are used to design an intermediate software layer able to intercept and possibly modify all the communications between the user application and the Operating System.…”

Section: Introductionmentioning

confidence: 99%

Validation of a software dependability tool via fault injection experiments

Benso

Carlo

Natale

et al.

Proceedings Seventh International on-Line Testing Workshop

View full text Add to dashboard Cite

The present paper presents the validation of the strategies employed in the RECCO tool to analyze a C/C++ software; the RECCO compiler scans C/C++ source code to extract information about the significance of the variables that populate the program and the code structure itself. Experimental results gathered on an Open Source Router are used to compare and correlate two sets of critical variables, one obtained by fault injection experiments, and the other applying the RECCO tool, respectively. Then the two sets are analyzed, compared, and correlated to prove the effectiveness of the RECCO's methodology.

show abstract

Section: Introductionmentioning

confidence: 99%