Repository logo

Browsing by Subject "real-time systems"

Filter results by typing the first few letters
Now showing 1 - 6 of 6
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Fast and flexible modelling of real-time systems with RTCP-NETS
    (2004) Szpyrka, Marcin
    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.
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Heurystyczne algorytmy szeregowania wiadomości z terminami dostarczeń
    (Wydawnictwa AGH, 2005) Piórkowski, Adam
    Artykuł przedstawia problem optymalizacji komunikacji asynchronicznej w kontekście szeregowania wiadomości w systemach wiadomości kolejkowanych (MQ). Sporządzono model systemu i przedstawiono problem optymalnej komunikacji. Szczególną uwagą objęto zagadnienie podziału na pakiety sieciowe strumienia przesyłanych danych. Wyznaczono czas oczekiwania na wiadomość uwzględniający wymienione zjawisko. Określono wymagania czasu rzeczywistego adekwatne dla komunikacji asynchronicznej. Wskazano szkic dowodu na nieistnienie dokładnego algorytmu optymalizacji kosztu całkowitego sigmawjCj dla omawianego zagadnienia. Zaproponowano algorytmy heurystyczne, opierające się na sortowaniu bąbelkowym, przesuwaniem małych wiadomości do przodu kolejki oraz zamianie z szacowaniem potencjalnego zysku czy też drogi. Wykonano aplikację symulującą losowe zestawy danych i dokonującą optymalizacji proponowanymi algorytmami. Dla porównania przedstawiono wyniki algorytmu RT STD oraz przeglądu zupełnego. Otrzymane wyniki zinterpretowano.
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Implementacja warstwy abstrakcji sprzętu dla rodziny mikrokontrolerów SAM3S
    (Data obrony: 2013-01-31) Kochanowski, Michał
    Wydział Informatyki, Elektroniki i Telekomunikacji
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Modelowanie systemów czasu rzeczywistego w UML
    (Wydawnictwa AGH, 2008) Kułakowski, Konrad; Kostrzewa, Marek
    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.
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Reconfigurable Integrated Production Control System of industrial processes on QNX Neutrino platform
    (Wydawnictwa AGH, 2013) Augustyn, Jacek; Klemiato, Maciej; Duda, Jan Tadeusz
    W artykule przedstawiono koncepcję budowy i realizację zintegrowanego rekonfigurowalnego systemu sterowania produkcją jako narzędzia informatycznego do monitorowania, kontroli, nadzoru i sterowania procesami wytwórczymi w środowiskach produkcyjnych przedsiębiorstw posiadających już wdrożone systemy PLC/SCADA oraz ERP. Artykuł prezentuje architekturę i główne założenia projektowe takiego systemu, jak również główne zadania merytoryczne przez niego realizowane. Jako platformę programistyczną wykorzystano system czasu rzeczywistego QNX Neutrino, ze względu na konieczność utrzymania reżimów czasowych pętli sterujących. System przeznaczony jest do zastosowań w ciągłych procesach produkcyjnych, takich jak: przemysł chemiczny, rafineryjny, szklarski itp.
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
    (2006) Brzuchacz, Rafał
    W pracy zaprezentowano możliwości użycia języka LOTOS [3, 7] w projektowaniu oprogramowania systemów czasu rzeczywistego metodą HOOD [6, 13]. Wybrane struktury HOOD zostają wyrażone w języku algebry procesów i abstrakcyjnych typów danych, co zapewnia możliwość formalnej analizy tworzonego projektu. We wprowa­dzeniu do pracy wyjaśniono cel i motywacje do tworzenia modelu formalnego projektu systemu czasu rzeczywistego. Następnie przedstawiono skrócony opis metodyki hierarchicznego projektowania HOOD, której notacja i proces projektowy stanowią bazę dla proponowanej metody formalizacji. Wyjaśniono znaczenie takich konstrukcji, jak moduł, interfejs, operacja, hierarchia użycia i zawierania. W kolejnym punkcie, po krótkim przedstawieniu języka LOTOS [3, 7], zaprezentowano technikę, w której konstrukcje metody HOOD zostają zinterpretowane w języku formalnym algebry procesów i abstrakcyjnych typów danych. Opis przeprowadzony jest dla prostego przykładu projektu w HOOD, celem wyjaśnienia istoty interpretacji. W części końcowej pracy podano wnioski wraz ze wska­zaniem dalszych możliwych kierunków rozwoju i zastosowań prezentowanej metody.