Wyniki wyszukiwania - BazTech

1

Modelling concurrent systems with Alvis

Szpyrka M.

Pomiary Automatyka Robotyka

|

2011

|

R. 15, nr 12

239-240

EN

Alvis is a new modeling language for developing concurrent (embedded) systems. The language is being developed within the confines of the Alvis project at AGH University of Science and Technology, Department of Automatics. The Alvis language combines hierarchical graphical modelling with a high level programming language. Moreover, a formal verification of a model, based on an LTS graph (Labelled Transition System) is possible. The paper describes selected features of the language and the future plans of the project.

PL

Alvis jest nowym językiem modelowania przeznaczonym do rozwijania systemów współbieżnych, zwłaszcza systemów wbudowanych. Język jest rozwijany w Katedrze Automatyki AGH w ramach projektu o tej samej nazwie. Język Alvis łączy w sobie cechy języków programowania wysokiego poziomu z hierarchicznym językiem modelowania połączeń między agentami. Ponadto umożliwia on formalną weryfikację systemu wbudowanego bazującego na grafie LTS, stanowiącego formalną reprezentację przestrzeni stanów modelu. Artykuł zawiera przegląd podstawowych informacji na temat języka i projektu.

2

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

EN

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.

PL

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.

3

Algorytm scalania diagramów stanu w modelowaniu systemów wbudowanych

Kotulski L., Sędziwy A.

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

|

2011

|

T. 15, z. 3

377-388

PL

W artykule przedstawiono aspekt implementacyjny algorytmu scalania grafów stanu, modelujących kooperujące systemy wbudowane, a także wykazano jego wielomianową złożoność. Znajomość takiego grafu jest istotna, ponieważ pozwala na analizę zachowania złożonego systemu, a w szczególności na wykrywanie sytuacji niepożądanych, takich jak zakleszczenia. Nawet dla małej liczby prostych podsystemów, o niewielkiej liczbie stanów, diagram otrzymany w wyniku scalenia może charakteryzować się znaczna liczbą stanów, co praktycznie wyklucza jego ręczną generację. Z tego powodu niezbędne jest posiadanie narzędzia umożliwiającego automatyzację tego procesu.

EN

In the paper implementation issues related to algorithm of merging state diagrams for cooperating embedded systems, are shown. Its polynomial complexity is also proven. The knowledge of such a merged graph enables one to detect deadlocks or other unwanted effects. Even for a few smali graphs a resultant graph being their superposition may be large enough to make a manual merging impossible. For that reason one needs a tool automatizing that task.