Artykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...

Artykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...

Celem artykułu jest analiza wyróżnionych form współpracy, tj. inicjatyw klastrowych, grup producentów rolnych, parków technologicznych i naukowych oraz sieci opartych na systemach produkcji szczupłej (z ang. Lean Manufacturing) pod kątem ich zgodności z definicyjnymi wyznacznikami klastra.

W referacie przedstawiono niektóre zalecenia normalizacyjne związane z wymaganiami dyrektywy kompatybilności elektromagnetycznej (EMC) dla urządzeń automatyki zawierających wyposażenie elektroniczne. Wykonanie badań zalecanych przez zharmonizowane z dyrektywami Unii Europejskiej (UE) normy wyrobu i powoływanie się na nie w deklaracji zgodności przez producenta pomaga użytkownikowi dostosować charakterystyki urządzenia i instalacji...

Artykuł przedstawia wstępną analizę wymagań normy PN - EN 60730-1 dotyczącej automatycznych regulatorów elektrycznych do użytku domowego. Podana norma ma status normy zharmonizo-wanej i w związku z tym spełnienie jej wymagań umożliwia producentowi wykazanie zgodności wprowadzonego na rynek wyrobu z wymaganiami dyrektyw - niskonapięciowej (LVD) i kompatybilności elektromagnetycznej (EMC). W artykule szerzej opisano wymagania mające...