Formal verification of SDL systems at the siemens mobile phone department

  • Franz Regensburger
  • Aenne Barnard
Regular Sessions Case Studies and Experience
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1384)


In this paper we present the multi process verification of SDL systems at the Siemens mobile phone department. The formal verification is efficiently performed by the model checker tool SVE that is developed at Siemens, too. Several case studies in the area of telecommunication protocols show that model checking techniques have reached a state where they can profitably be integrated in the industrial software development process.


formal verification model checking SDL telecommunication protocols 


  1. 1.
    P. Bader, T. Filkorn, and J. Bormann. SPL (SDL Property Language): Syntax und Semantik. Siemens ZT AN 1 (internal document), December 1996.Google Scholar
  2. 2.
    Z.100(1993):CCITT specification and description language (SDL). ITU-T, 1993.Google Scholar
  3. 3.
    E.A. Emerson. Temporal and Modal Logic. In Handbook of Theoretical Computer Science, chapter 16, pages 996–1072. Elsevier Science Publisher, 1990.Google Scholar
  4. 4.
    D.E. Long. Model Checking, Abstraction and Compositional Verification. PhD thesis, Carnegie Mellon University, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Franz Regensburger
    • 1
  • Aenne Barnard
    • 1
  1. 1.Siemens AGUSA

Personalised recommendations