Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults

Authors:
Martin Jung;Francesca Saglietti
Affiliations:
University of Erlangen;University of Erlangen
Venue:
HASE '05 Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering
Year:
2005

Citing 0
Cited 3

White and grey-box verification and validation approaches for safety- and security-critical software systems

Information Security Tech. Report
An integrated approach for developing semantic-mismatch free commercial off the shelf (COTS) components

Proceedings of the 8th International Conference on Frontiers of Information Technology
Software reliability testing covering subsystem interactions

MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

Quantified Score

Hi-index	0.01

Visualization

Abstract

We present an extended interface description language supporting the avoidance and the automatic detection and tolerance of inconsistency classes likely to occur when integrating pre-developed components. In particular, the approach developed allows the automatic generation of component wrapping mechanisms aimed at handling the occurrence of local and global inconsistencies during runtime. On the whole, the application of the procedure suggested supports reusage of components and of architectural patterns by allowing their easy adaptation to the specific needs of the application considered.