For the most recent entries see the Petri Nets Newsletter.

Automatic Formal Model Generation and Analysis of SDL.

Aalto, Annikka; Husberg, Nisse; Varpaaniemi, Kimmo

In: Volume 2708 of Lecture Notes in Computer Science, pages 285-299. January 2003.

Abstract: A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which is analyzed using the Maria reachability analyzer. Compared to manual design of a formal model for the system this saves a lot of time and greatly reduces the human mistakes in creating the model. The design process is also considerably more efficient because it is possible to check that the system is correct at a very early stage. Methods to reduce the complexity of the analysis both at the modeling and at the analysis level are discussed

Keywords: SDL; reachability analysis; high-level Petri nets; state space explosion problem.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography