- Tytuł:
- A survey of Alvis communication modes
- Autorzy:
-
Szpyrka, M.
Biernacki, J.
Matyasik, P.
Wypych, M. - Powiązania:
- https://bibliotekanauki.pl/articles/397797.pdf
- Data publikacji:
- 2017
- Wydawca:
- Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
- Tematy:
-
Alvis language
communication modes
concurrent systems
real-time systems
język modelowania Alvis
tryby komunikacji
systemy współbieżne
systemy czasu rzeczywistego - Opis:
- 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.
- Źródło:
-
International Journal of Microelectronics and Computer Science; 2017, 8, 1; 1-9
2080-8755
2353-9607 - Pojawia się w:
- International Journal of Microelectronics and Computer Science
- Dostawca treści:
- Biblioteka Nauki
Artykuł