Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
455264 | Computer Standards & Interfaces | 2007 | 13 Pages |
Abstract
This paper presents our research in the domain of automated generation of a model from an SDL (Specification and Description Language) system specification. We use the Spin (Simple Promela Interpreter) formal verification tool and the Promela (Process Meta-Language) language for the description of the model. If the model is prepared manually, we need an expert with the detailed knowledge of the system, specification language, and modelling language. This method is prone to the incorrect modelling of the system's properties due to the human error. Therefore, automatic generation of the model from the SDL specification is desired.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Networks and Communications
Authors
Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, Tatjana Kapus,