Lista referatów przyjętych do wygłoszenia na
VII Konferencji Systemy Czasu Rzeczywistego
Kraków, 25-28 września 2000

1. T.Babczyński: Algebra procesowa wydajnościowych map stanów.
2. W.Barcikowski, T.Nowicki, T.Górski: Metoda badania efektywności algorytmów rozpraszania zadań w systemach czasu rzeczywistego.
3. P.Brudło: System przetwarzania i analizy sekwencji obrazów video w oparciu o sieć procesorów sygnałowych serii ADSP-21060.
4. T.Cichocki, J.Górski: Analiza FMEA dla systemów z wymaganiami bezpieczeństwa zawierających komponenty programowe.
5. Ł.Dobrzański, J.Werewka: Wykorzystanie metod wirtualnej rzeczywistości do testowania oprogramowania sterowania robotem.
6. K.Drobińska, G.Kałużny, A.Kieleczawa, S.Olejnik, H.Strzelecka, A.Tomczyk: Lokalna i zdalna sieć rejestratorów szybkozmiennych przebiegów.
7. A.Eisler, H.Krawczyk: Wydajność aplikacji rozproszonych.
8. Z.Fryźlewicz, B.Hnatkowska, J.Waniczek: Wytwarzanie aplikacji czasu rzeczywistego z wykorzystaniem narzędzi StP/UML i ObjectAda RT.
9. M.Gajer: Porównanie algorytmów heurystycznych szeregowania zadań wieloprocesorowych dla dedykowanych procesorów.
10. M.Gajer: Pracujący w czasie rzeczywistym wizyjny system kontroli jakości produkcji.
11. M.Gorgoń: Implementacja zagadnień przetwarzania i analizy obrazów w czasie rzeczywistym w układach FPGA o bardzo wielkich pojemnościach.
12. T.Gromadzki, W.Kozłowski: Inżynieria interfejsu komunikacyjnego urządzeń telesterowania w automatyce stacji energetycznych.
13. G.Hamuda, G.Rogus: Projektowanie aplikacji za pomocą pakietu ControlShell - modele (abstrakcje programowania).
14. T.Janowski, A.Kotłowski: Protokół FMS sieci PROFIBUS w układzie sterowania i diagnostyki podsystemu regulacji położenia anteny sonaru.
15. R.Klimek: Możliwości wykorzystania logiki temporalnej w analizie diagramów UML - wybrane zagadnienia.
16. Z.Kubiak: Przetwornik parametrów ruchu obrotowego jako węzeł sieci miejscowej CAN.
17. A.Kwiecień: Poprawa parametrów pracy sieci przemysłowych z cyklicznymi transakcjami wymiany informacji.
18. B.Kwolek: Wybrane operacje przetwarzania obrazów w układach reprogramowalnych.
19. A.Ligęza, G.Nalepa, I.Wojnicki: Analiza wybranych problemów projektowania i implementacji systemów regułowych czasu rzeczywistego na przykładzie systemu Kheops.
20. W.Macyna, Z.Mazur: Integralność i języki zapytań w bazach danych czasu rzeczywistego.
21. J.Martyna: Real-Time Datagram Service Protocol for Distributed Systems.
22. R.Mielcarek: Struktura logiczna węzłów automatycznego sterowania rozproszonego w Radiotelefoniczno-Przewodowym Systemie Telemechaniki.
23. Z.Mijakowski: Kontrola redundantnych połączeń w sieciach Ethernet zrealizowana na bazie systemu czasu rzeczywistego VxWorks.
24. G.Nalepa: Oprogramowanie wspomagające tworzenie nowoczesnych graficznych interfejsów użytkownika w języku Ada95.
25. J.Nawrocki, A.Czajka: Binaryzacja okresów zadań cyklicznych.
26. T.Nowicki, T.Górski: Metoda oceny wpływu zakłóceń na funkcjonowanie rozproszonych systemów komputerowych.
27. W.Noworyta: Kształt rozkładu losowego czasu realizacji programu.
28. J.Ossowski, G.Rumiński: Model podsystemu sterowania uzbrojeniem okrętowym jako przykład wieloprocesorowej aplikacji pracującej pod systemem operacyjnym VxWorks.
29. A.Petrovsky, S.Shkredov: Design of Embedded Real-Time FFT Processor: Formal Model and Synthesis.
30. G.Rogus, G.Hamuda: Analiza i projektowanie oprogramowania metodą SOMT.
31. K.Sacha: Analiza bezpieczeństwa systemów programowanych.
32. A.Sikorski: Symulacja wywołania asynchronicznego w protokołach obiektowych.
33. P.Skrobanek: Metoda analizy drzew błędów (FTs - Fault Trees) z zależnościami czasowymi.
34. M.Smoczyński, A.Jędruch, H.Krawczyk: System rejestracji i obróbki zdjęć endoskopowych w czasie rzeczywistym.
35. J.Stańczyk: Realizacja procesów w sieci Internet w warunkach przeciążenia.
36. J.Staszewski: Stanowisko badawcze do weryfikacji algorytmów pomiarowych w automatyce elektroenergetycznej.
37. T.Szmuc, P.Matyasik, R.Mrówka: Charakterystyka systemu RTLinux względem wybranych systemów operacyjnych czasu rzeczywistego.
38. T.Szmuc, S.Oskwarek: Projektowanie poprawnego oprogramowania czasu rzeczywistego wspomagane formalizmem algebry procesów.
39. M.Szpyrka: Projektowanie i analiza czasowych kolorowanych sieci Petriego w oparciu o system CPN/Design.
40. M.Szpyrka: Zastosowanie czasowych kolorowanych sieci Petriego do modelowania systemów czasu rzeczywistego.
41. M.Szreter, W.Penczek: Automatyczna weryfikacja systemów czasu rzeczywistego.
42. P.Szwed: Zastosowanie liniowej funkcji obserwacji do analizy poprawności oprogramowania współbieżnego.
43. M.Szymczyk: Nowy standard modelu z przesyłaniem komunikatów dla systemów czasu rzeczywistego - MPI/RT.
44. M.Szymczyk: Protokoły synchronizacji stosowane w systemach czasu rzeczywistego typu "end-to-end".
45. P.Szymczyk: Specyfikacja wymagań jakości obsługi w systemach czasu rzeczywistego.

Prosimy o rozpropagowywanie informacji o Konferencji SCR 2000 - sugerujemy skorzystanie z przygotowanego formularza

Jeżeli chcecie być Państwo powiadamiani o umieszczeniu w witrynie nowych informacji, to prosimy o wiadomość

Systemy Czasu Rzeczywistego 2000 scr2000@agh.edu.pl

Ostatnia modyfikacja: 7 września 2001 Projekt i opracowanie: (c) Radosław Klimek