9693893862

Prof. dr hab. inż. Henryk Krawczyk Katedra Architektury Systemów Komputerowych Wydział Elektroniki, Telekomunikacji i Informatyki Politechnika Gdańska

Szczegółowa charakterystyka dorobku naukowego kandydata: działalność naukowo-badawcza, dydaktyczna i organizacyjna

1. Dane podstawowe

Data i miejsce urodzenia: 20.05.1946, Dybowo Dyscyplina naukowa:    Informatyka

Specjalność:    Inżynieria Oprogramowania,

Komputerowe Systemy Rozproszone

Adres:

80-950 Gdańsk - Wrzeszcz, ul. G. Narutowicza 11/12 tel. [phone], fax: [phone]

Stopnie i tytuły naukowe

mgr inż. -1969, dr -1976, dr hab. - 1987, tytuł profesora -1996; Politechnika Gdańska Przebieg pracy zawodowej:

Asystent projektant, Przemysłowy Instytut Telekomunikacji o/Gdańsk, 1969 - 1972, Stypendysta doktorancki, Politechnika Gdańska, 1972 - 1975,

Adiunkt, Wydział Elektroniki PG, 1976 - 1988,

Docent, Wydział Elektroniki PG, 1989 - 1990,

Profesor nadzwyczajny PG, Wydział Elektroniki, 1991 - 1999,

Profesor zwyczajny PG, Wydział Elektroniki, Telekomunikacji i Informatyki 1999 - obecnie 2. Działalność naukowa Charakterystyka działalności naukowej

W swojej w pracy badawczej skoncentrowałem się na analizie wiarygodności różnego typu obiektów (układów, systemów, przedsięwzięć) informatycznych. Jako miarę wiarygodności funkcjonowania obiektu przyjąłem stopień zaufania użytkowników do poprawnego wykonania powierzonego obiektowi zadania. Oprócz szeroko stosowanych podejść statystycznych, ściśle związanych z teorią niezawodności w analizie wiarygodności wykorzystywano również wyrażenia logiczne określające warunki konieczne i dostateczne zapewnienia odpowiedniego poziomu wiarygodności funkcjonowania systemów. Z uwagi na to, że diagnozowalność systemu, tzn. łatwość wykrywania pojawiających się błędów i uszkodzeń, jest jednym z podstawowych cech systemu wiarygodnego, takie logiczne warunki zostały wyznaczone przez Preparatę, Metza i Chena w latach 70. i udowodnione w latach 90. dla komputerowych systemów rozproszonych opisywanych za pomocą grafu. Wierzchołki tego grafu oznaczają jednostki stanowiące elementy przetwarzające (np. stacje robocze) systemu, zaś połączenia reprezentują relacje diagnostyczne zachodzące między tymi