Reverse engineering models from traces to validate distributed systems - An industrial case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4530 LNCS, Issue , 2007, Pages 184-193

  Ulrich, Andreas ^a   Petrenko, Alexandre ^b  

^a SIEMENS AG   (Germany)

^b Cent de Recherche Informatique de Montreal   (Canada)

Author keywords

Experience report; Model verification; Model driven development; Reverse engineering; System validation; Telecommunication industry; Trace analysis

Indexed keywords

COMPUTER ARCHITECTURE; DATA VISUALIZATION; DISTRIBUTED COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; MODEL CHECKING; TELECOMMUNICATION INDUSTRY;

EXPERIENCE REPORT; MODEL VERIFICATION; MODEL-DRIVEN DEVELOPMENT; SYSTEM VALIDATION; TEST CASES;

REVERSE ENGINEERING;

EID: 37149036289     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72901-3_14     Document Type: Conference Paper

References (11)

1. 3GPP Specifications Home; accessed, 2007-03-29 (2007) http://www.3gpp.org/specs/specs.htm
2. Colin, S., Mariani, L.: Run-Time Verification. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 525-556. Springer, Heidelberg, ISBN 978-3-540-26278-7 (2005)
3. Eclipse - An Open Development Platform; accessed 2007-03-29, (2007) http://www.eclipse.org/
4. Eclipse Test and Performance Tools Platform (TPTP) Project; accessed 2007-03-29, (2007) http://www.eclipse.org/tptp/
5. Hallal, H.H., Boroday, S., Petrenko, A., Ulrich, A.: A formal approach to property testing in causally consistent distributed traces. Formal Aspects of Computing 18(1), 63-83 ISSN 0934-5043 (2006)
6. Hallal, H., Boroday, S., Ulrich, A., Petrenko, A.: An Automata-based Approach to Property Testing in Event Traces. In: Proc. of the IFTP TC6/WG6.1 XV International Conference on Testing of Communicating Systems (TestCom 2003), pp. 180-196. Sophia Antipolis, France (May 2003)
7. Hallal, H., Petrenko, A., Ulrich, A., Boroday, S.: Using SDL Tools to Test Properties of Distributed Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, Springer, Heidelberg (2001)
8. Holzmann, G.J.: The SPIN Model Checker; Addison-Wesley; ISBN. Addison-Wesley, London, UK, ISBN 978-0-321-22862-8 (2004)
9. MySQL - The world's most popular open source database; accessed 2007-03-29, (2007) http://www.mysql.com/
10. On-the-fly, LTL Model Checking with SPIN; accessed 2007-03-29, (2007) http://spinroot.com/spin/whatispin.html
11. Sauter, M.: Communication Systems for the Mobile Information Society. John Wiley, New York, ISBN 978-0-470-02676-2 (2006)