The language dynamic-real and its application for verification of SDL-specified distributed systems

The language dynamic-real and its application for verification of SDL-specified distributed systems

A distributed systems specification language Dynamic-REAL (dREAL) which extends the language Basic-REAL developed previously by dynamic constructs for generating and removing process instances is presented. A tool-set SRDSV2 (SDL/REAL Distributed Systems Verifier) intended for modeling, analysis and...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Programming and computer software 2015, Vol.41 (1), p.41-48
Hauptverfasser: Nepomniaschy, V. A., Bodin, E. V., Veretnov, S. O.
Format: Artikel
Sprache:eng
Schlagworte:
Artificial Intelligence
Computer networks
Computer programs
Computer Science
Dynamical systems
Dynamics
Mathematical models
Modelling
Network control
Operating Systems
Software Engineering
Software Engineering/Programming and Operating Systems
Specification and description languages
Specifications
Terminals
Translators
Verification
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A distributed systems specification language Dynamic-REAL (dREAL) which extends the language Basic-REAL developed previously by dynamic constructs for generating and removing process instances is presented. A tool-set SRDSV2 (SDL/REAL Distributed Systems Verifier) intended for modeling, analysis and verification of SDL-specifications of distributed systems is described. This tool-set includes a translator from the SDL language into the dREAL language, a tool for automatic modeling of dREAL-specifications and a translator from dREAL into the input language Promela of the SPIN verifier. An application of SRDSV2 to verification of a dynamic system for booking terminals network control is described.
ISSN:0361-7688
1608-3261
DOI:10.1134/S0361768815010053