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

• Autorzy: Kotulski L. , Sędziwy A.

Warianty tytułu

EN

Algorithm of state diagrams merging in embedded systems modeling

• Języki publikacji: PL

Abstrakty

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.

Słowa kluczowe

PL

grafy LTS; systemy wbudowane; Alvis

EN

LTS graphs; embedded system; Alvis

• Wydawca: Wydawnictwa AGH
• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 2011
• Tom: T. 15, z. 3
• Strony: 377--388
• Opis fizyczny: Bibliogr. 6 poz., rys., tab.

Twórcy

autor

Kotulski L.

• AGH Akademia Górniczo-Hutnicza, Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki, Katedra Automatyki, al. A. Mickiewicza 30, 30-059 Kraków

autor

Sędziwy A.

• AGH Akademia Górniczo-Hutnicza, Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki, Katedra Automatyki, al. A. Mickiewicza 30, 30-059 Kraków

Bibliografia

• [1] Sommendlle I., Software Engineering. International Computer Science, Pearson Education Limited, 7th edition, 2004.
• [2] Szpyrka M., Matyasik R, Mrówka R., Kotulski L. Balicki K., Formal introduction to Alvis modelling language. International Journal of Applied Mathematics and Computer Science, praca złożona do druku, 2011.
• [3] Szpyrka M., Matyasik P., Mrówka R., Alvis — modelling languagefor concurrent systems, Intelligent Decision Systems in Large-Scale Distributed Environments. Studies in Computational Intel-ligence, Bouvry R, Gonzalez-Velez H., Kołodziej J. (Eds.), vol. 362, 315-342, Springer-Verlag, 2011.
• [4] Ada - http://www.ada-auth.org
• [5] Haskell - http://www.haskell.org.
• [6] JUNG - http://jung.sourceforge.net.