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

• Autorzy: Szpyrka M.

Warianty tytułu

PL

Efektywna metoda modelowania systemów czasu rzeczywistego z wykorzystaniem sieci RTCP

• Języki publikacji: EN

Abstrakty

EN

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.

PL

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.

Słowa kluczowe

EN

RTCP-nets; real-time systems; modelling

PL

sieci RTCP; systemy czasu rzeczywistego; modelowanie

• Wydawca: Wydawnictwa AGH
• Czasopismo: Computer Science
• Rocznik: 2004
• Tom: Vol. 6
• Strony: 81--94
• Opis fizyczny: Bibliogr. 8 poz., rys., tab.

Twórcy

autor

Szpyrka M.

• Institute of Automatics, AGH University of Science and Technology, Kraków, Poland,

Bibliografia

• [1] Cheng A. M. K.: Real-time systems. Scheduling, Analysis, and Verification. New Yersey, Wiley Interscience 2002
• [2] Jensen K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1–3, Springer 1992–97
• [3] Sommerville I.: Software Engineering. Pearson-Addison Wesley 2004
• [4] Szmuc T.: Zaawansowane metody tworzenia oprogramowania systemów czasu rzeczywistego. Kraków, CCATIE 1998
• [5] Szpyrka M.: Algebraic-Graphical Methods of Knowledge Analysis and Verification – theoretical aspects. In: Cybernetics and Systems 2002 – Proceedings of the Sixteenth European Meeting on Cybernetics and Systems Research, Vienna, Austria, 2002, p 812–817
• [6] Szpyrka M., Szmuc T.: RTCP-nets as a Tool for Real-Time Systems Modelling and Analysis. In: Colnaric M., Adamski M., Węgrzyn M. (Eds): Real-Time Programming 2003 – Proceedings of the 27th IFAC/IFIP/IEEE Workshop on Real- Time Programming, Łagów, Poland 2003, p. 21–26
• [7] Szpyrka M., Szmuc T., Matyasik P., Szmuc W.: Formal Approach to Modelling of Real-time Systems with RTCP-nets. Foundation of Computing and Decision Sciences, vol. 30, no. 1, 2005, pp. 61–71
• [8] Szpyrka M., Szmuc T.: New Time Model and Design Method for RTCP-nets. The Proceedings of 29th IFAC/IFIP Workshop on Real-Time Programming WRTP 2004, Istanbul, Turkey, 2004