Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

1 2011

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: veryfication systems modelling

Sortuj według:

Ogranicz wyniki do:

Introduction to modelling embedded systems with Alvis

Szpyrka M., Matyasik P., Mrówka R., Witalec W., Baniewicz J., Kotulski L.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

2011

T. 15, z. 2

435-442

Alvis is a modelling language for concurrent and real-time systems. It combines hierarchical graphical modelling with a Haskell-based high level programming language. The graphical layer is used to define data and control flow among agents. The code layer is used to describe the behaviour of individual agents. An Alvis model is transformed into a labelled transition system (LTS) that is used for formal verification of the model. The paper discusses some aspects of modelling embedded systems with Alvis.

Alvis jest językiem modelowania rozwijanym z myślą o systemach współbieżnych w szczególności systemach wbudowanych. Łączy on w sobie graficzny język modelowania, przeznaczony do definiowania połączeń komunikacyjnych między agentami, z językiem programowania wysokiego poziomu, przeznaczonym do definiowania zachowania poszczególnych agentów. W artykule przedstawiono wybrane aspekty modelowania systemów wbudowanych z użyciem języka Alvis.