Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems

Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems

Gonzalez, A.
Piel, E.
Gross, H.G.

Electrical Engineering, Mathematics and Computer Science

Software Computer Technology

2008-12-31

Preprint of paper published in: ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, 15-19 September 2008; doi:10.1109/ASEW.2008.4686292 Systems-of-Systems (SoS) represent a novel kind of system, for which runtime evolution is a key requirement, as components join and leave during runtime. Current component integration and verification techniques are not enough for SoS. In this paper we present ATLAS, an architectural framework that enables the runtime integration and verification of a system, based on the built-in test paradigm. ATLAS augments components with two specific interfaces to add and remove tests, and to provide adequate testability features to run these tests. To illustrate our approach, we present a case study of a dynamic reconfiguration scenario of components, in the Maritime Safety and Security domain, using our implementation of ATLAS for the Fractal component model. We demonstrate that built-in testing can be extended beyond development-time component integration testing, to support runtime reconfiguration and verification of component-based systems.

http://resolver.tudelft.nl/uuid:142337fa-49d5-4df6-913f-066a5ae994db

Delft University of Technology, Software Engineering Research Group

1872-5392

Technical Report Series TUD-SERG-2008-007

Institutional Repository

report

(c) 2008 The Author(s)
IEEE