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

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.

3

Modelowanie i analiza wydajności systemów współbieżnych

Zuberek W.

Prace Naukowe Politechniki Warszawskiej. Elektronika

|

2001

|

z. 128

3-56

PL

Systemy współbieżne są złożone z asynchronicznie działających procesów, komunikujących się między sobą w celu wymiany informacji albo zsynchronizowania wykonywanych operacji. Modele sieciowe, znane również jako sieci Petriego, są formalnym modelem takich systemów, szczególnie wygodnym dla przedstawiania synchronizacji oraz komunikacji procesów. Do oceny wydajności modelowanych systemów, w modelach takich trzeba dodatkowo uwzględniać czasy trwania modelowanych zdarzeń. Modele sieciowe z dołączonym opisem temporalnym są nazywane temporal-nymi modelami sieciowymi. Okazuje się, że takie modele temporalne mogą reprezentować szeroką klasę systemów dyskretnych, takich jak systemy wieloprocesorowe, systemy komunikacyjne, systemy produkcyjne, rozproszone bazy danych i wiele innych. Analiza modeli temporalnych może być przeprowadzona na podstawie przestrzeni stanów, albo może korzystać z własności strukturalnych modeli. Metody symulacyjne są jeszcze jednym rozwiązaniem w przypadkach, gdy wymagane własności strukturalne nie są spełnione, a przestrzeń stanów jest albo nieskończona, albo zbyt duża dla praktycznej analizy. Przedstawiona praca jest wprowadzeniem do podstawowych pojęć modeli sieciowych oraz przewodnikiem po opublikowanych wcześniej pracach, dotyczących niektórych własności całej rodziny temporalnych modeli sieciowych oraz omawiających metody analizy wydajności takich modeli. W pracy tej również dokładniej przedstawiono dwa zastosowania, modelowanie i analizę gniazd produkcyjnych oraz modelowanie i analizę wydajności wieloprocesorowych systemów z rozproszoną pamięcią. W pierwszym przypadku wydajność jest oceniana za pomocą metod strukturalnych oraz transformacji modelu, w przypadku drugim, ze względu na rozmiar modelu, przedstawione wyniki są otrzymane metodą symulacyjną.

EN

Concurrent systems arę composed of asynchronous processes which communicate with each other to exchange Information or to synchronize their operations. Net models, also known as Petri nets, arę formal models of such systems, designed specifically to represent process synchronization and communication. For performance analysis of such models, the duration of modelled activitie" must also be taken into account. Net models augmented by temporal descriptions arę known as timed Petri nets. Timed models can represent a broad class of discrete-event systems, such as multiproces-sor and communication systems, production systems, distributed data bases and many others. Ań analysis of timed models can be based on an exhaustive analysis of their state spaces, or on the structural properties of the models. Simulation methods arę yet another possibility in cases where the other approaches cannot be used. This work provides an introduction to the basie concepts of net models and a broad overview of the properties and performance analysis of timed Petri nets. Two applications arę discussed in greater detail, the modelling and analysis of manufacturing cells, and performance analysis of distributed memory multithreaded multiprocessor systems. In the first case, the performance of the derived models is evaluated by structural methods, using P-invariants. In the second case, because of the size of the model, performance characteristics arę obtained by discrete-event simulation of the models.