Wyniki wyszukiwania - BazTech

1

A survey of Alvis communication modes

Szpyrka M., Biernacki J., Matyasik P., Wypych M.

International Journal of Microelectronics and Computer Science

|

2017

|

Vol. 8, nr 1

1--9

EN

Concurrent systems appear natural and intuitive solution for many real IT problems. However, designing a more complex concurrent system is a difficult task. The main problem is that for systems that have more than several subsystems it becomes difficult to control their properties at the design stage. Applications of formal methods in the development process may remarkable reduce the problem. An important issue is to choose a suitable formal modelling language, that supports the required methods of communication between subsystems. The paper provides a survey of communication modes introduced to the Alvis modelling language and discusses how the communication modes may be used while modelling concurrent systems.

2

Introduction to Alvis modelling language

Szpyrka M., Matysik P., Mrówka R., Witalec W., Baniewicz J., Balicki K.

Pomiary Automatyka Kontrola

|

2011

|

R. 57, nr 9

1086-1089

EN

Alvis is a novel modelling language designed for embedded systems. It combines both high level programming language used to define agents behaviour with hierarchical graphical modelling language used to define interconnections between agents. The paper presents a survey of the most important features of the language.

PL

Alvis jest nowym językiem modelowania przeznaczonym do rozwijania systemów wbudowanych. Łączy w sobie cechy języków programowania wysokiego poziomu z hierarchicznym językiem modelowania połączeń między agentami. Podstawowym elementem języka Alvis są agenty, które mogą działać współbieżnie, komunikować się ze sobą, czy też współzawodniczyć o zasoby dzielone. Dynamika poszczególnych agentów jest opisywana w warstwie kodu używającej do tego celu języka programowania wysokiego poziomu (połączenie natywnych konstrukcji języka Alvis i języka funkcyjnego Haskell). W warstwie graficznej definiowane są połączenia między agentami wskazujące, które agenty się ze sobą komunikują i jaki jest kierunek tej komunikacji. Warstwa ta ma postać grafu hierarchicznego, co pozwala rozwijać systemu wbudowane metodą od ogółu do szczegółu lub odwrotnie. Formalną reprezentacjąmodelu w języku Alvis jest graf LTS (Labelled Transition System), który reprezentuje wszystkie osiągalne stany i przejścia między nimi. Graf ten jest stosowany do formalnej weryfikacji modelu. Artykuł zawiera przegląd najistotniejszych cech języka Alvis.

3

Alvis approach to Hexor robot controller development

Szpyrka M., Matyasik P., Mrówka R.

Elektronika : konstrukcje, technologie, zastosowania

|

2010

|

Vol. 51, nr 11

63-66

PL

Alvis jest językiem modelowania, rozwijanym głównie z myślą o projektowaniu i weryfikacji systemów wbudowanych. Wywodzi się on z algebr procesów CCS i XCCS, ale w języku tym równania algebraiczne zostały zastąpione przez język programowania wysokiego poziomu oparty na języku Haskell. W przeciwieństwie do algebr procesów, które umożliwiają wyłącznie tekstowy opis systemów wbudowanych, w języku Alvis struktura projektowanego systemu, z punktu widzenia przepływu danych i sterowania, przedstawiana jest graficznie za pomocą diagramów komunikacji. Poniższy artykuł zawiera wprowadzenie do języka Alvis zilustrowane modelem sterownika dla robota mobilnego Hexor II.

EN

Alvis is a novel modelling language defined especially for the embedded systems design and verification. The language has its origin in CCS and XCCS process algebras, but algebraic equations have been replaced with a Haskell based high level programming language. Moreover, Alvis provides communication diagrams for the visual modelling of an embedded system structure, especially from the control and data-flow point of view. This paper presents an introduction to Alvis based on a model of a controller for the Hexor II mobile robot.