Automatyka / Automatics
Loading...
ISSN 1429-3447
e-ISSN: 2353-0952
Issue Date
2012
Volume
Vol. 16
Number
No. 2
Description
Journal Volume
Automatyka / Automatics
Vol. 16 (2012)
Projects
Pages
Articles
Concurrent systems modeling with CCL
(Wydawnictwa AGH, 2012) Kułakowski, Konrad
Jednym z podstawowych zadań związanych z inżynierią oprogramowania jest szukanie nowych i optymalizacja istniejących metod modelowania systemów informatycznych. Przedstawiona w pracy notacja CCL stara się wpisywać w ten nurt badań. Prezentowane podejście pokazuje jej użyteczność w kontekście użycia metod strukturalnych (diagramy przepływu danych) do modelowania złożonych systemów informatycznych. Podstawą proponowanej integracji pomiędzy CCL i metodami modelowania strukturalnego jest nowowprowadzone pojęcie eksternalizacji. Pozwala ono abstrahować od szczegółów implementacyjnych komunikacji międzyprocesowej, redukując tym samym wielkość modeli podlegających dalszej weryfikacji. Dzięki przyjętemu rozwiązaniu modele stają się bardziej czytelne dla projektantów, oraz dzięki znaczącej redukcji przestrzeni stanów, możliwe staje się efektywne wykorzystanie metod formalnych w celu ich dalszej analizy.
Partition of real-time application over multicore systems
(Wydawnictwa AGH, 2012) Martyna, Jerzy
W artykule przedstawiono model równoległego wykonania aplikacji czasu rzeczywistego w wielordzeniowym systemie komputerowym. Współczesne komputery dostarczają mechanizmów dla równoległego wykonywania programów czasu rzeczywistego. Zaproponowano algorytm do przeprowadzenia podziału aplikacji czasu rzeczywistego na elementy składowe i ich alokacji w środowisku równoległych procesorów wielordzeniowych. Algorytm ten bierze pod uwagę wszystkie ograniczenia związane z wykonywaniem programu czasu rzeczywistego, w tym relację poprzedzania oraz zależności czasowe. Dzięki przedstawionemu rozwiązaniu jest możliwe pełne wykorzystanie mocy obliczeniowej wielordzeniowych procesorów dla wykonania aplikacji czasu rzeczywistego.
Runway scheduling with holding pattern and service priority
(Wydawnictwa AGH, 2012) Martyna, Jerzy
W artykule przedstawiono problem szeregowania samolotów podchodzących do lądowania i startujących na drodze startowej. Przyjęto, że celem szeregowania jest minimalizacja maksymalnej liczby samolotów oczekujących w powietrzu na lądowanie przy uwzględnieniu ich priorytetów. Problem sformułowano jako trójwymiarowe mieszane programowanie całkowitoliczbowe. Dostarczone przykłady potwierdziły efektywność proponowanej metody rozwiązania tego problemu.
A Strejc model-based, semi-fractional (SSF) transfer function model
(Wydawnictwa AGH, 2012) Oprzędkiewicz, Krzysztof
W pracy omówiono propozycję zastępczego modelu transmi-tancyjnego ułamkowego rzędu bazującego na modelu Strejca, nazywanego modelem SSF (ang: Strejc Semi Fractional model). Model jest dedykowany do opisu obiektów regulacji wysokiego rzędu. Parametry modelu zostały wyznaczone numerycznie z wykorzystaniem metody najmniejszych kwadratów i środowiska MATLAB/ SIMULINK. Wyniki badań symulacyjnych wskazują, że w przypadku doświadczalnego obiektu cieplnego proponowany model zapewnia bardzo dobrą dokładność przy niskim rzędzie w porównaniu z innymi modelami rozważanego obiektu.
Secure web access to mini distributed control system
(Wydawnictwa AGH, 2012) Rzońca, Dariusz; Stec, Andrzej; Trybus, Bartosz
Niewielkie rozproszone systemy sterowania ze zdalnym dostępem przez stronę www stają się coraz bardziej powszechne. Wcześniej bądź później w istotnych zastosowaniach będą wymagane zabezpieczenia takich systemów. Ograniczona moc obliczeniowa wymusza jednakże opracowanie niestandardowych rozwiązań. Artykuł opisuje bezpieczny dostęp internetowy do prototypowego niewielkiego rozproszonego systemu sterowania, programowalnego zgodnie z normą IEC 61131-3. Bezpieczeństwo oparte jest na uwierzytelnianiu challenge-response klienta webowego i kryptografii symetrycznej. Opóźnienie komunikacji zostało przeanalizowane bazując na modelu w czasowych sieciach Petriego.