headerpos: 12198
 
 
 

Proceedings of the Estonian Academy of Sciences

ISSN 1736-7530 (electronic)   ISSN 1736-6046 (print)
Formerly: Proceedings of the Estonian Academy of Sciences, series Physics & Mathematics and  Chemistry
Published since 1952

Proceedings of the Estonian Academy of Sciences

ISSN 1736-7530 (electronic)   ISSN 1736-6046 (print)
Formerly: Proceedings of the Estonian Academy of Sciences, series Physics & Mathematics and  Chemistry
Published since 1952
Publisher
Journal Information
» Editorial Board
» Editorial Policy
» Archival Policy
» Article Publication Charges
» Copyright and Licensing Policy
Guidelines for Authors
» For Authors
» Instructions to Authors
» LaTex style files
Guidelines for Reviewers
» For Reviewers
» Review Form
Open Access
List of Issues
» 2019
» 2018
» 2017
Vol. 66, Issue 4
Vol. 66, Issue 3
Vol. 66, Issue 2
Vol. 66, Issue 1
» 2016
» 2015
» 2014
» 2013
» 2012
» 2011
» 2010
» 2009
» 2008
» Back Issues Phys. Math.
» Back Issues Chemistry
» Back issues (full texts)
  in Google. Phys. Math.
» Back issues (full texts)
  in Google. Chemistry
» Back issues (full texts)
  in Google Engineering
» Back issues (full texts)
  in Google Ecology
» Back issues in ETERA Füüsika, Matemaatika jt
Subscription Information
» Prices
Internet Links
Support & Contact
Publisher
» Staff
» Other journals

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

(Full article in PDF format) https://doi.org/10.3176/proc.2017.1.08


Authors

Aivo Anier, Jüri Vain, Leonidas Tsiopoulos

Abstract

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.

Keywords

computer science, formal methods, model-based testing, distributed systems, real-time systems, cyber-physical systems, Uppaal timed automata.

References

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.
https://doi.org/10.1007/978-3-642-41707-8_5

3. Hierons , R. M. Oracles for distributed testing. IEEE Trans. Softw. Eng. , 2012 , 38(3) , 629–641.
https://doi.org/10.1109/TSE.2011.45

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.
https://doi.org/10.1007/978-3-642-32759-9_20

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.
https://doi.org/10.1007/978-3-319-10882-7_22

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.
https://doi.org/10.1109/ISCC.2001.935444

7. Uppaal TRON. http://people.cs.aau.dk/~marius/ 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.
https://doi.org/10.1007/s10703-009-0065-1

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 , https://smartbear.com/product/testcomplete/overview/ (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. http://citeseerx.ist.psu.edu/viewdoc/download?

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

12. DTRON. https://cs.ttu.ee/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.
https://doi.org/10.1007/s100090050010

14. Model-based design. https://en.wikipedia.org/wiki/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.
https://doi.org/10.1007/978-3-540-30080-9_7

 

 
Back

Current Issue: Vol. 68, Issue 3, 2019




Publishing schedule:
No. 1: 20 March
No. 2: 20 June
No. 3: 20 September
No. 4: 20 December