Modelowanie systemów czasu rzeczywistego w UML

• Autorzy: Kułakowski K. , Kostrzewa M.

Warianty tytułu

EN

Real Time Systems modelling in UML

• Języki publikacji: PL

Abstrakty

PL

Pierwsze systemy czasu rzeczywistego były pomyślane jako rozwiązania w przeważającej mierze sprzętowe. Z biegiem czasu udział oprogramowania w konstrukcjach czasu rzeczywistego zwiększał się tak, by w końcu osiągnąć pozycję decydującą o zastosowaniu i funkcjonalności danego systemu. Wraz ze wzrostem znaczenia oprogramowania w konstrukcjach czasu rzeczywistego, wzrosło również znaczenie technik inżynierii oprogramowania wspierających rozwój tej klasy systemów. W przedstawionym artykule autorzy spróbują zatrzymać się nad klasą obiektowo zorientowanych systemów czasu rzeczywistego, istniejącymi rozwiązaniami ich projektowania, modelowania oraz wytwarzania na podstawie obiektowo zorientowanej specyfikacji. Na tle innych rozwiązań zostanie przedstawiona biblioteka RAT (Reactive Appliance Toolkit) wspierająca wytwarzanie tej klasy systemów.

EN

Most of the early real time systems have been implemented entirely in hardware. Gradually real time systems have becoming mixed software-hardware solutions. At present, software has a dominant position and frequently decides about almost the whole functionality of the given system. Growing importance of software in real time systems makes room for software engineering techniques supporting theirs development. In this paper authors try to go quickly through software supporting development of real time reactive systems. A special attention is drawn to the object oriented tools and methods. On the background of the other solutions the home grown utility package RAT (Reactive Appliance Toolkit) is presented.

Słowa kluczowe

PL

MDA; UML; systemy czasu rzeczywistego; RAT

EN

MDA; UML; real-time systems; RAT

• Wydawca: Wydawnictwa AGH
• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 2008
• Tom: T. 12, z. 2
• Strony: 267--275
• Opis fizyczny: Bibliogr. 28 poz., rys., tab.

Twórcy

autor

Kułakowski K.

• Katedra Automatyki, Akademia Górniczo-Hutnicza w Krakowie

autor

Kostrzewa M.

• Katedra Automatyki, Akademia Górniczo-Hutnicza w Krakowie

Bibliografia

• [1] Auernheimer B., Kemmerer R.A., RT-ASLAN, A specification language for real-time system. IEEE Trans. Softw. Eng. (1986), 12.
• [2] Coen-Porisini A., Ghezzi C, Kemmerer R.A., Specification of realtime systems using astral. IEEE Transactions on Software Engineering (1997), TRCS96-30.
• [3] Hatley D.J. IP, Strategies for real-time system specification. Dorset House, 1987.
• [4] Dibble P.C., Real-time Java platform programming. Prentice Hall PTR, 2002.
• [5] Fencott C, Formal methods for concurrency. International Thomson Computer Press, 1995.
• [6] Gokhale A.S., Schmidt D.C., Lu T., Natarajan B., Wang N., Cosmic an MDA generative tool for distributed real-time and embedded applications. In Middleware workshops, 2003.
• [7] Harel D., Pnuelli A., On the development of reactive systems. In Logic and models of concurrent systems, 1985.
• [8] Schwarz J.J., Skubich J.J., Aubry R., Lacatre: the basisfor a real time software engineering work-shop. In Pearl 91 workshop ueber realzeitsysteme 12. fachtagung des pearl-vereins e.v boppard 28729. november 1991 proceedings, 1991.
• [9] Baeten J.C.M., Middleburg C.A., Process algebra with timing. Springer, 2002.
• [10] Kleppe A., Warmer J., Bast W., MDA Explained, The model driven architecture: practice and promise. Addison-Wesley, 2003.
• [11] Klimek R., Wprowadzenie do logiki temporalnej. AGH Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 1999.
• [12] Kostrzewa M., Kułakowski K., A practical approach to the modelling visualising and executing of reactive systems. In Mixed design of integrated circuits and systems, 2006.
• [13] Kułakowski K., Kostrzewa M., Wspomaganie tworzenia oprogramowania systemów reaktywnych w real time java. In Systemy czasu rzeczywsitego, 2006.
• [14] Larsen K.G., Pettersson P., Yi W., Uppaal in a nutshell. Int. Journal on Software Tools for Technology Transfer () 1, 134-152.
• [15] Hennesy M.C.B., Milner R., Algebraic laws for nondeterminism and concurrency. Journal of the ACM (1985).
• [16] Szpyrka M., Analysis of rtcp-nets with reachability graphs. Fundam. Inform (2006) 74, 375-390.
• [17] Szpyrka M., Sieci petriego w modelowaniu i analizie systemów współbieżnych. WNT, 2008.
• [18] Meunier J.N., Lippert F., Jadhav R., Harding N., MDA and real-time java: the hidoors project. Technical Report - University of Kent at Canterbury Computing Laboratory (2004) 17, 89-95.
• [19] Oliver I., Applying UML and MDA to real systems design. In Datę, 2005.
• [20] Object Management Group, Common warehouse metamodel, 2003.
• [21] Object Management Group, XML metadata interchange XMI, v2.0., 2005.
• [22] Object Management Group, Meta Object Facility MOF 2.0 core finał adopted specification, 2004.
• [23] Object Management Group, UML profile for modeling and analysis of real-time and embedded systems, 2007.
• [24] Object Management Group, UML profile for schedulability performance and time., 2007.
• [25] Ward P.T., Mellor S.J., Structured development for real-time systems. Yourdon London, 1985.
• [26] Sunye G., Guennec A.L., Jezequel J., Using UML action semantics for model execution and transformation. Inf. Syst. (2002) 27, 445-457.
• [27] Szmuc T., Modele i metody inżynierii oprogramowania systemów czasu rzeczywistego. Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH, 2001.
• [28] Nickel U., Niere J., Zuendorf A., Thefujaba environment. In Icse, 2000.