IF: An Intermediate Representation for SDL and its Applications - Archive ouverte HAL Access content directly
Conference Papers Year : 1999

IF: An Intermediate Representation for SDL and its Applications

Marius Bozga
Constantin Lucian Ghirvu
  • Function : Author
Susanne Graf
Krimm Jean Pierre
  • Function : Author
Laurent Mounier
  • Function : Author
Joseph Sifakis
  • Function : Author
  • PersonId : 857859

Abstract

We present work of a project for the improvement of a specification/validation toolbox integrating a commercial toolset ObjectGeode and different validation tools such as the verification tool CADP and the test sequence generator TGV. The intrinsic complexity of most protocol specifications lead us to study combinations of techniques such as static analysis and abstraction together with classical model-checking techniques. Experimentation and validation of our results in this context motivated the development of an intermediate representation for SDL called IF. In IF, a system is represented as a set of timed automata communicating asynchronously through a set of buffers or by rendez-vous through a set of synchronization gates. The advantage of the use of such a program level intermediate representation is that it is easier to interface with various existing tools, such as static analysis, abstraction and compositional state space generation. Moreover, it allows to define for SDL different, but mathematically sound, notions of time. We illustrate the use of IF on a small example, a distributed leader election algorithm, on which we perform experimentation using static analysis and compositional generation.
Fichier principal
Vignette du fichier
99.sdlforum.pdf (300.39 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00374129 , version 1 (08-04-2009)

Identifiers

  • HAL Id : hal-00374129 , version 1

Cite

Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu, Susanne Graf, Krimm Jean Pierre, et al.. IF: An Intermediate Representation for SDL and its Applications. SDL '99 The Next Millennium, 9th International SDL Forum, Jun 1999, Montreal, Canada. pp.423-440. ⟨hal-00374129⟩
283 View
125 Download

Share

Gmail Facebook X LinkedIn More