Program Konferencji SCR '01

Na cały program SCR '01 składają się wykłady zaproszone, referaty plenarne poprzedzające wybrane sesje oraz referaty przyjęte do wygłoszenia na Konferencji. Na każdy referat zarezerwowane jest 20 minut, obejmujących zarówno samą prezentację jak i dyskusję nad referatem. Wykłady zaproszone przewidziane są

Na końcu niniejszego dokumentu znajduje się również indeks osób zapisanych do programu SCR '01.

Terminarz

 

Poniedziałek, 24 września 2001
08.00	śniadanie
	Wykłady zaproszone
10.00	Isaac Levendel: Maximizing the impact of software testing in a limited budget [streszczenie]
11.30	przerwa na kawę
11.50	Jerzy Nawrocki: Wprowadzenie do Programowania Ekstremalnego [streszczenie]
13.30	obiad
15.00	Stanisław Szejko: Studium Wykonalności projektu informatycznego [streszczenie]
16.30	przerwa na kawę
	Prezentacja Ośrodka Badawczego
16.50	Jerzy A. Kowalczuk, Leszek Płonka: Trendy w informatyce i elektronice samochodowej na przykładzie prac prowadzonych w Centrum Technicznym Delphi Automotive Systems w Krakowie
19.00	kolacja
Wtorek, 25 września 2001
08.00	śniadanie
09.00	otwarcie Konfrerencji
	Referat plenarny
09.30	Jan Madey: Od analizy wymagań do weryfikacji kodu - podejście funkcyjne [streszczenie]
10.30	przerwa na kawę
10.50- -13.10	Sesja: Metody formalne w inżynierii systemów czasu rzeczywistego Przewodniczący: Prof. dr hab. Piotr Dembiński, Prof. dr hab. inż. Jan Magott
10.50	B.Woźna: Ograniczona Weryfikacja Modelowa dla systemów czasowych
11.10	M.Szpyrka: Formalna analiza czasowa systemów czasu rzeczywistego
11.30	P.Szwed: Zastosowanie liniowej funkcji obserwacji do weryfikacji poprawności systemów czasu rzeczywistego
11.50	przerwa na kawę
12.10	L.Pelc: Specyfikacja pewnego przemysłowego protokołu komunikacyjnego w języku RT-Lotos
12.30	T.Cichocki, J.Górski: Formalne wspomaganie modelowania usterek i analizy ich konsekwencji
12.50	T.Kowalski: Konwersja diagramów aktywności w sieci Petriego
13.30	obiad
15.00- -16.00	Sesja: Metody analizy i specyfikacji wymagań Przewodniczący: Prof. dr hab. inż. Zbigniew Huzar, Prof. dr hab. inż. Jerzy Nawrocki
15.00	A.Zalewski: Zintegrowana metoda specyfikacji i projektowania oprogramowania systemów wbudowanych o ostrych wymaganiach czasowych
15.20	R.Cegieła: Formalna postać grafu przepływu danych metody Warda-Mellora
15.40	B.Trybus: Zagadnienia czasowe w modelowaniu strukturalnym i ich konwersja do czasowych sieci Petriego
16.00	przerwa na kawę
16.20- -18.20	Sesja: Metody projektowania oprogramowania Przewodniczący: Prof. dr hab. inż. Stanisław Kozielski, Prof. dr hab. inż. Tomasz Szmuc
16.20	A.Kochan: Adaptacyjna architektura systemów silnie uwarunkowanych czasowo
16.40	R.Klimek: Granulacja dziedziny czasowej w temporalnych bazach danych
17.00	Z.Mazur, A.Wilczek: Dynamiczne więzy integralności w obiektowym modelu danych
17.20	A.Wilczek: Dane temporalne w bazach danych zorientowanych obiektowo
17.40	A.Stasiak, Z.Zieliński: Zastosowanie Rational Unified Process (RUP) do analizy i projektowania systemów wbudowanych
18.00	K.Kułakowski: Problemy modelowania agentowo zorientowanych systemów zdecentralizowanych
19.30	bankiet
Środa, 26 września 2001
08.00	śniadanie
	Referat plenarny
09.00	LunJi Qiu: Software project management [streszczenie]
10.00	przerwa
10.10- -11.10	Sesja: Języki programowania i systemy operacyjne czasu rzeczywistego (1) Przewodniczący: Prof. dr hab. inż. Henryk Krawczyk, Prof. dr hab inż. Krzysztof Sacha
10.10	J.Martyna: An Adaptive Scheduler for Streaming Multimedia Data in Real-Time Communication
10.30	J.Martyna: QoS Multicast Routing of Real-Time Multimedia Data Using Adaptive Forward Error Correction
10.50	W.Mikluszka, B.Trybus: Konwersja protokołów w rozproszonym systemie sterowania PSW/WWT-CAN
11.10	przerwa na kawę
11.30- -13.10	Sesja: Języki programowania i systemy operacyjne czasu rzeczywistego (2) Przewodniczący: Prof. dr hab. inż. Zygmunt Mazur, Dr inż. Radosław Klimek
11.30	T.Wentrys: Graficzne środowisko projektowania aplikacji czasu rzeczywistego dla systemu operacyjnego Vx-Works
11.50	I.Wojnicki: RTEMS - wieloplatformowy, wieloprocesorowy system operacyjny czasu rzeczywistego
12.10	G.Nalepa: Charakterystyka dystrbucji Embedded Debian/GNU Linux dla zastosowań w systemach wbudowanych czasu rzeczywistego
12.30	I.Wojnicki: Biblioteka do tworzenia graficznego interfejsu użytkownika dla systemów wbudowanych opartych na RTLinux
12.50	T.Szmuc, P.Matyasik, R.Mrówka: Zastosowanie kolorowanych sieci Petriego do modelowania i analizy komunikacji w języku Ada
13.30	obiad
15.00- -15.40	Sesja: Języki programowania i systemy operacyjne czasu rzeczywistego (3) Przewodniczący: Dr inż. Zbigniew Fryźlewicz, Dr inż. Jan Kwiatkowski
15.00	J.Augustyn, K.Janik: Współpraca systemu sterowania nadrzędnego w środowisku QNX z programowalnymi sterownikami logicznymi
15.20	Z.Kubiak: Zdalny dostęp do sterownika programowalnego PLC
15.40	przerwa na kawę
16.00- -17.20	Sesja: Problemy jakości systemów czasu rzeczywsitego Przewodniczący: Dr inż. Marek Średniawa, Dr inż. Zbigniew Zieliński
16.00	J.Chudzikiewicz: Metoda rekonfiguracji pierścienia w sieci komputerowej o strukturze logicznej n-wymiarowego hipersześcianu
16.20	A.Kaliś: Układy asynchroniczne - ciekawa alternatywa
16.40	G.Bliźniuk: Wpływ wzrostu wydajności oprogramowania z obsługą komunikatów o ograniczonym czasie życia na jego wybrane charakterystyki jakościowe
17.00	A.Drwal: Badania symulacyjne systemu opartego na magistrali miejscowej
18.30	kolacja-niespodzianka
Czwartek, 27 września 2001
08.00	śniadanie
09.00- -10.20	Sesja: Zastosowania systemów czasu rzeczywistego (1) Przewodniczący: Prof. dr hab. inż. Józef Ober, Dr inż. Piotr Szymczyk
09.00	A.Skorupski, H.Kowalski, Z.Szymański: Architektura komputerowego systemu ICAR przeznaczonego do analizy sygnału EKG
09.20	J.Majewski, J.Ułasiewicz: Rozproszony system wizualizacji procesu produkcji walcówki
09.40	D.Sankowski, K.Strzecha, H.Kołodziejski, A.Albrecht, R.Wojciechowski: Zastosowanie systemu czasu rzeczywistego QNX do celów automatycznej identyfikacji własności dynamicznych pieców komorowych
10.00	K.Janik, M.Nowak: Relacyjna baza danych jako narzędzie przetwarzania danych w systemie czasu rzeczywistego
10.20	przerwa na kawę
10.40- -13.00	Sesja: Zastosowania systemów czasu rzeczywistego (2) Przewodniczący: Prof. dr hab. inż. Włodzimierz Kwiatkowski, Prof. dr hab. inż. Andrzej Pach
10.40	R.Cupek, A.Kwiecień: Ocena przydatności protokołu TCP/IP dla sieci przemysłowych najniższego poziomu
11.00	R.Mielcarek: Realizacja procedur sterowania rozproszonego w stacji obiektowej radiotelefonicznego systemu telemechaniki
11.20	[referat wycofany]
11.40	przerwa na kawę
12.00	M.Gajer: System automatycznego rozpoznawania języka
12.20	S.Bocian: Wizyjny automatyczny pomiar zużycia tarcz i okładzin hamulca tarczowego
12.40	A.Tomczyk: O realizacji sieci rozległej systemu pomiarowo-telekomunikacyjnego dla potrzeb rynku energetyki i innych mediów
	Komunikat
13.00	M.Jachimski, G.Wróbel, G.Hayduk, H.Zygmunt, P.Kwasnowski: Loger internetowy - monitorowanie procesów przemysłowych przez Internet
13.10	zamknięcie Konferencji
13.30	obiad

 

Indeks osób

Prosimy o rozpropagowywanie informacji o Konferencji SCR '01  -  sugerujemy formularz

Możliwe jest powiadamianie o nowych informacjach w witrynie  -   wiadomość

Systemy Czasu Rzeczywistego2001 scr01@agh.edu.pl

Ostatnia modyfikacja: 25 stycznia 2003 Projekt i opracowanie: (c) Radosław Klimek