eesti teaduste
akadeemia kirjastus
SINCE 1952
Proceeding cover
of the estonian academy of sciences
ISSN 1736-7530 (Electronic)
ISSN 1736-6046 (Print)
Impact Factor (2020): 1.045

DTRON: a tool for distributed model-based testing of time critical applications; pp. 75–88

Full article in PDF format |

Aivo Anier, Jüri Vain, Leonidas Tsiopoulos


Cyber-Physical Systems (CPS) present the greatest challenges but also the greatest opportunities in several critical industrial segments such as electronics, automotive and industrial automation. Governing the complexity and design correctness issues of CPS software requires methodologies and tools that address the problems of intrinsic concurrency and timing constraints over a large spectrum of CPS architectures. In this paper we present DTRON, a framework for model-based testing that addresses the issues of distributed execution and real-time constraints imposed by the design of networked CPS. DTRON extends the Uppaal model checking tool and online test execution tool TRON enabling coordination, synchronization, and online distributed testing. The notion of Δ-testability required to guarantee the controllability of distributed tests is one of the main design considerations for DTRON. The core part of the paper presents the architectural solutions for implementing DTRON and then special focus is put on the performance evaluation of the tool taking into account the communication and test adapter delays in networked systems. We demonstrate that the co-use of Spread message serialization service and Network Time Protocol allows reducing Δ down to the 1 ms range, which is sufficient for testing timing properties of a substantial class of networked CPS.We exemplify the applicability of DTRON with three distributed testing case studies, namely, city street light controller network, interbank trading system, and robot navigation system.


1. Lee, E. A. Cyber-Physical Systems – Are Computing Foundations Adequate? Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, October 16–17, 2006, Austin, TX. NSF, 2006.

2. David, A., Larsen, K. G., Mikučionis, M., Nguena Timo, O. L., and Rollet, A. Remote testing of timed specifications. In Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13–15, 2013, Proceedings (Yenigün, H., Yilmaz, C., and Ulrich, A., eds). Lecture Notes in Computer Science, Vol. 8254. Springer, Berlin, 2013, 65–81.

3. Hierons, R. M. Oracles for distributed testing. IEEE Trans. Softw. Eng., 2012, 38(3), 629–641.

4. Hierons, R. M., Merayo, M. G., and Núñez, M. Using time to add order to distributed testing. In Proceedings of FM 2012: Formal Methods: 18th International Symposium (Giannakopoulou, D. and Méry, D., eds). Lecture Notes in Computer Science, Vol. 7436. Springer, 2012, 232–246.

5. Ponce-de Léon, H., Haar, S., and Longuet, D. Distributed testing of concurrent systems: vector clocks to the rescue. In Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17–19, 2014. Proceedings (Ciobanu, G. and Méry, D., eds). Lecture Notes in Computer Science, Vol. 8687. Springer International Publishing, 2014, 369–387.

6. Khoumsi, A. Testing distributed real time systems using a distributed test architecture. In Proceedings of Sixth IEEE Symposium on Computers and Communications. IEEE, 2001, 648–654.

7. Uppaal TRON. tron/ (accessed 2016-11-24).

8. Krichen, M. and Tripakis, S. Conformance testing for realtime systems. Form. Methods Syst. Des., 2009, 34(3), 238–304.

9. Ru Dai, Z., Grabowski, J., and Neukirchen, H. TimedTTCN-3 – a real-time extension for TTCN-3. In Proceedings of Testing of Communicating Systems XIV – TestCom 2002. IFIP – International Federation for Information Processing (Schieferdecker, I., König, H., and Wolisz, A., eds), Vol. 82. Springer US, 2002, 407–424.

10. TestComplete. Date of last access: 18/11/2016, (accessed 2016-11-24).

11. Öztaş, G. Testing distributed real-time systems with a distributed test approach. Master’s thesis, The Graduate School of Natural and Applied Sciences of Middle East Technical University, 2008.

doi=\&rep=rep1\&type=pdf  (accessed 2016-11-24).

12. DTRON. (accessed 2016-11-18).

13. Larsen, K. G., Pettersson, P., and Yi, W. UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transf., 1997, 1, 134–152.

14. Model-based design. (accessed 2016-11-24).

15. Anier, A. and Vain, J. Model based continual planning and control framework for assistive robots. In Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, Rome, Italy (Benavente-Peces, C., Ali, F., and Filipe, J., eds). SciTePress, 2012, 403–406.

16. Behrmann, G., David, A., and Larsen, K. G. A tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems (Bernardo, M. and Corradini, F., eds). Lecture Notes in Computer Science, Vol. 3185. Springer, Berlin, 2004, 200–236.


Back to Issue