Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: sieci RTCP

Sortuj według:

Ogranicz wyniki do:

Fast and flexible modelling of real-time systems with RTCP-nets

Szpyrka M.

Computer Science

2004

Vol. 6

81-94

A large number of formalisms has been proposed for real-time systems modelling. However, formal methods are not widely used in industrial software development. Such a situation could be treated as a result of a lack of suitable tools for fast designing of a model, its analysis and modification. RTCP-nets have been defined to facilitate fast modelling of embedded systems incorporating rule-based systems. Computer tools that are being developed for RTCP-nets, use a template mechanism to allow users to design models and manipulate its properties fast and effectively. Both theoretical and practical aspects of RTCP-nets are presented in the paper.

Pomimo różnorodności dostępnych formalizmów wspomagających modelowanie i analizę systemów czasu rzeczywistego, metody formalne nie są powszechnie wykorzystywane w procesie wytwarzania oprogramowania. Przyczyną takiej sytuacji może być brak odpowiednich narzędzi, które umożliwiałyby szybkie stworzenie modelu, jego analizę i łatwą modyfikację. RTCP-sieci zostały zdefiniowane w celu umożliwienia szybkiego modelowania systemów wbudowanych, w szczególności działających przy wykorzystaniu systemów regułowych. Rozwijane narzędzia wspierające wykorzystanie RTCP-sieci wykorzystują mechanizm szablonów umożliwiający szybkie stworzenie modelu i łatwą manipulację jego własnościami. W artykule przedstawiono zarówno teoretyczne, jak i praktyczne aspekty RTCP-sieci.