Compositional Testing of Real-Time Systems

In this paper we revisit the notion of compositional testing in the setting of real-time systems. In particular, we introduce crucial notions of real-time conformance testing and compositional verification of real-time systems. We illustrate these notions on a Small University example, and show how the tools Uppaal Tron, Uppaal Ecdar and Uppaal SMC provide strong support for an efficient compositional testing methodology.