Verification of UML dynamic specifications using simulation-based timing analysis

The Unified Modeling Language (UML) is the result of the unification process of earlier object oriented models and notations. Independent verification and validation (IV&V) tasks, as applied to UML specifications, enable early detection of analysis and design flaws prior to implementation. In this paper, we address timing analysis of UML dynamic specifications, an important IV&V task that we perform on UML models. We discuss an approach for automatic generation of timing diagrams from the simulation logs obtained from simulating UML specifications. We present four timing analysis methods, based on: concurrency, environmental-interactions, timeouts and performance. We show results from applying the proposed timing analysis methods to the UML specifications of a cardiac pacemaker.