010626 ulotka 2.cdr

Program Konferencji
Poniedzia³ek, 24 wrzeœnia 2001
08.00
10.00
11.30
11.50
13.30
15.00
16.30
16.50
19.00
09.30
10.30
12.50
13.30
T.Cichocki, J.Górski: Formalne wspomaganie modelowania usterek
i analizy ich konsekwencji
T.Kowalski: Konwersja diagramów aktywnoœci w sieci Petriego
obiad
10.10
10.30
10.50
œniadanie
Wyk³ady zaproszone
Isaac Levendel: Maximizing the impact of software testing
in limited budget
przerwa na kawê
Jerzy Nawrocki: Wprowadzenie do Programowania Ekstremalnego
obiad
Stanis³aw Szejko: Studium Wykonalnoœci projektu informatycznego
przerwa na kawê
Prezentacja Oœrodka Badawczego
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
kolacja
Wtorek, 25 wrzeœnia 2001
08.00
09.00
12.30
œniadanie
otwarcie Konferencji
Referat plenarny
Jan Madey: Od analizy wymagañ do weryfikacji kodu podejœcie funkcyjne
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
15.00-16.00 Sesja: Metody analizy i specyfikacji wymagañ
Przewodnicz¹cy: Prof. dr hab. in¿. Zbigniew Huzar
Prof. dr hab. in¿. Jerzy Nawrocki
A.Zalewski: Zintegrowana metoda specyfikacji i projektowania
15.00
oprogramowania systemów wbudowanych o ostrych wymaganiach
czasowych
R.Cegie³a: Formalna postaæ grafu przep³ywu danych metody
15.20
Warda-Mellora
B.Trybus: Zagadnienia czasowe w modelowaniu strukturalnym
15.40
i ich konwersja do czasowych sieci Petriego
przerwa na kawê
16.00
16.20-18.20 Sesja: Metody projektowania oprogramowania
Przewodnicz¹cy: Prof. dr hab. in¿. Stanis³aw Kozielski
Prof. dr hab. in¿. Tomasz Szmuc
A.Kochan: Adaptacyjna architektura systemów
16.20
silnie uwarunkowanych czasowo
R.Klimek: Granulacja dziedziny czasowej w temporalnych
16.40
bazach danych
Z.Mazur, A.Wilczek: Dynamiczne wiêzy integralnoœci w obiektowym
17.00
modelu danych
A.Wilczek: Dane temporalne w bazach danych
17.20
zorientowanych obiektowo
A.Stasiak, Z.Zieliñski: Zastosowanie Rational Unified Process (RUP)
17.40
do analizy i projektowania systemów wbudowanych
K.Ku³akowski: Problemy modelowania agentowo zorientowanych
18.00
systemów zdecentralizowanych
bankiet
19.30
Œroda, 26 wrzeœnia 2001
08.00
œniadanie
09.00
10.00
Referat plenarny
LunJi Qui: Software project management
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
11.10
J.Martyna: An Adaptive Scheduler for Streaming Multimedia Data
in Real-Time Communication
J.Martyna: QoS Multicast Routing of Real-Time Multimedia Data Using
Adaptive Forward Error Correction
W.Mikluszka, B.Trybus: Konwersja protoko³ów w rozproszonym
systemie sterowania PSW/WWT-CAN
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
T.Wentrys: Graficzne œrodowisko projektowania aplikacji
11.30
czasu rzeczywistego dla systemu operacyjnego Vx-Works
I.Wojnicki: RTEMS - wieloplatformowy, wieloprocesorowy
11.50
system operacyjny czasu rzeczywistego
G.Nalepa: Charakterystyka dystrbucji Embedded Debian/GNU Linux
12.10
dla zastosowañ w systemach wbudowanych czasu rzeczywistego
I.Wojnicki: Biblioteka do tworzenia graficznego interfejsu u¿ytkownika
12.30
dla systemów wbudowanych opartych na RTLinux
T.Szmuc, P.Matyasik, R.Mrówka: Zastosowanie kolorowanych sieci
12.50
Petriego do modelowania i analizy komunikacji w jêzyku Ada
obiad
13.30
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
J.Augustyn, K.Janik: Wspó³praca systemu sterowania nadrzêdnego
15.00
w œrodowisku QNX z programowalnymi sterownikami logicznymi
Z.Kubiak: Zdalny dostêp do sterownika programowalnego PLC
15.20
przerwa na kawê
15.40
16.00-17.20 Sesja: Problemy jakoœci systemów czasu rzeczywistego
Przewodnicz¹cy: Dr in¿. Marek Œredniawa
Dr in¿. Zbigniew Zieliñski
J.Chudzikiewicz: Metoda rekonfiguracji pierœcienia w sieci komputerowej
16.00
o strukturze logicznej n-wymiarowego hiperszeœcianu
A.Kaliœ: Uk³ady asynchroniczne - ciekawa alternatywa
16.20
G.BliŸniuk: Wp³yw wzrostu wydajnoœci oprogramowania z obs³ug¹
16.40
komunikatów o ograniczonym czasie ¿ycia na jego
wybrane charakterystyki jakoœciowe
A.Drwal: Badania symulacyjne systemu opartego
17.00
na magistrali miejscowej
kolacja-niespodzianka
18.30
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
P.Gajewski: System monitoringu central elektromechanicznych ASM-I£
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
13.00
13.10
13.30
Komunikat
M.Jachimski, G.Wróbel, G.Hayduk, H.Zygmunt, P.Kwasnowski:
Loger internetowy - monitorowanie procesów przemys³owych
przez Internet
zamkniêcie Konferencji
obiad
Komitet Honorowy Konferencji
Ryszard TADEUSIEWICZ - Rektor AGH
Margaret NADWORNY - Dyrektor Motorola Polska Software Center
Komitet Programowy Konferencji
Piotr DEMBIÑSKI
Zbigniew FRY•LEWICZ
Janusz GÓRSKI
Zbigniew HUZAR - zastêpca Przewodnicz¹cego
Rados³aw KLIMEK
Stanis³aw KOZIELSKI
Henryk KRAWCZYK
Jan KWIATKOWSKI
W³odzimierz KWIATKOWSKI
Jan MAGOTT
Zygmunt MAZUR
Jerzy NAWROCKI
Józef OBER - zastêpca Przewodnicz¹cego
Andrzej PACH
Krzysztof SACHA
Tomasz SZMUC - Przewodnicz¹cy
Piotr SZYMCZYK
Marek ŒREDNIAWA
Zbigniew ZIELIÑSKI
Zdzis³aw ¯URAKOWSKI
Komitet Organizacyjny Konferencji
Rados³aw KLIMEK - Przewodnicz¹cy
Hanna MAZUR
Janusz MILLER
Grzegorz ROGUS
Piotr SZWED
Wa¿ne informacje o Konferencji
Podstawowym Ÿród³em na bie¿¹co uaktualnianych informacji o Konferencji
jest witryna internetowa, do której serdecznie zapraszamy:
http://galaxy.uci.agh.edu.pl/~scr01
Adres poczty elektronicznej (preferowany sposób komunikowania siê):
[email protected]
Telefon: (+12) 617 28 31
Faks: (+12) 634 15 68
Uwaga: Do dnia 1 sierpnia 2001 osoby nie bêd¹ce autorami referatów mog¹
wnosiæ op³aty konferencyjne ze zni¿k¹.
VIII Konferencja
Systemy Czasu Rzeczywistego
Krynica, 24-27 wrzeœnia 2001
SCR `01
organizatorzy:
Katedra Automatyki
Akademii Górniczo-Hutniczej
w Krakowie
Wydzia³owy Zak³ad Informatyki
Politechniki Wroc³awskiej
Instytut Automatyki i Robotyki
Wojskowej Akademii Technicznej
w Warszawie
Komunikat nr 2