DocumentCode
1872828
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
fYear
2013
fDate
8-11 Sept. 2013
Firstpage
1565
Lastpage
1570
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Information Systems (FedCSIS), 2013 Federated Conference on
Conference_Location
Krako??w
Type
conf
Filename
6644225
Link To Document