- Tytuł:
- Communication with Environment in Alvis Models
- Autorzy:
-
Szpyrka, M.
Matyasik, P.
Mrówka, R.
Kotulski, L. - Powiązania:
- https://bibliotekanauki.pl/articles/227138.pdf
- Data publikacji:
- 2012
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
Alvis modelling language
embedded systems
formal verification
communication with environment - Opis:
- Alvis is a modelling language defined for the design and a formal verification of embedded systems. An Alvis model is a system of agents that usually run concurrently, communicate one with another, compete for shared resources etc. Due to the fact that an embedded system usually collects inputs that come from its environment and provides outputs that go to the environment it is necessary to provide a mechanism to describe such a communication. In contrast to another formal languages used to model embedded systems it is not necessary, using Alvis, to design such an environment as a part of a model. The paper deals with the problem of modelling a communication with an embedded system environment with Alvis.
- Źródło:
-
International Journal of Electronics and Telecommunications; 2012, 58, 3; 247-254
2300-1933 - Pojawia się w:
- International Journal of Electronics and Telecommunications
- Dostawca treści:
- Biblioteka Nauki
Artykuł