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

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...