互操作性中自动化测试和发现的困难取决于明确已知的信息。互操作性仍然是一个尚未解决的挑战性问题，它依赖于易出错的手动解决方案，每年的成本高达数十亿美元。本研究的目标是基于最近开发的基于属性的互操作性理论，研究互操作性验证和发现的自动化方法。这可能使下一代自动组合和可重构系统成为可能。
DARPA提供的资金
