Title :
Alvis language with time dependence
Author :
Szpyrka, Marcin ; Matyasik, Piotr ; Wypych, Michal
Author_Institution :
Dept. of Appl. Comput. Sci., AGH Univ. of Sci. & Technol., Krakow, Poland
Abstract :
The paper presents the semantics for the time version of the Alvis modelling language. Alvis combines possibilities of formal models verification with flexibility and simplicity of practical programming languages. The considered time Alvis language is suitable for formal verification of real-time systems. The paper contains description of: the Alvis time model, states and transitions between states and snapshot reachability graphs that represent models state spaces in the form of directed graphs.
Keywords :
directed graphs; formal verification; reachability analysis; real-time systems; simulation languages; Alvis modelling language; directed graphs; formal models verification; practical programming languages; real-time systems; snapshot reachability graphs; time dependence; Computer languages; Context; Delays; Ports (Computers); Radiation detectors; Semantics;
Conference_Titel :
Computer Science and Information Systems (FedCSIS), 2013 Federated Conference on
Conference_Location :
Krako??w
