DocumentCode
130516
Title
Alvis virtual machine
Author
Matyasik, Piotr
Author_Institution
Dept. of Appl. Comput. Sci., AGH Univ. of Sci. & Technol., Krakow, Poland
fYear
2014
fDate
7-10 Sept. 2014
Firstpage
1639
Lastpage
1645
Abstract
Alvis is a formal modelling language. It combines graphical modelling of communication schema and a high level programming language to describe behaviour of individual system entities. An Alvis model can be verified formally by using methods based on a system state space. The paper presents the design and the command list of the Alvis Virtual Machine. The aim of the project is to provide an execution environment for Alvis language. Moreover, one of the goals is to allow different hardware units to run Alvis models. Thus, a virtual machine was chosen as a solution.
Keywords
formal verification; virtual machines; visual languages; Alvis language; Alvis model; Alvis virtual machine; communication schema; formal modelling language; formal verification; graphical modelling; hardware units; high level programming language; system entities behaviour; system state space; Binary codes; Computational modeling; Cryptography; Loading; Organizations; Random access memory; Virtual machining;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Information Systems (FedCSIS), 2014 Federated Conference on
Conference_Location
Warsaw
Type
conf
DOI
10.15439/2014F267
Filename
6933214
Link To Document