Search
Search results for: DRZEWA NIEZDATNOŚCI, ZALEŻNOŚCI CZASOWE, ECSDM
-
Redukcja czasu analizy MZP przez ograniczenie rozmiaru rozwiązania
PublicationAnaliza drzew niezdatności jest uznaną metodą analizy bezpieczeństwa systemów. Notacja ECSDM pozwala definiować zależności czasowe między zdarzeniami drzewa oraz przeanalizować je w celu określenia zależności pomiędzy zdarzeniami z Minimalnych Zbiorów Przyczyn (MZP). Dzięki wprowadzeniu klasyfikacji zdarzeń z MZP można wyodrębnić zależności czasowe istotne dla zapobiegania wywoływania hazardu przez konkretny MZP. Pozostałe zależności...
-
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublicationAnaliza drzew błędów jest dedukcyjną metodą analizy pozwalającą ustalić przyczyny wybranego zdarzenia niepożądanego. Posługuje się w tym celu koncepcją przyczyn bezpośrednich i logiki boolowskiej, a pozwala ustalić przyczyny podstawowe analizowanego zdarzenia. Technika ta wykorzystuje jednak w swoich modelach notację nieformalną, co może powodować niejednoznaczności i ograniczyć wartość analizy, szczególnie, jeśli pracuje nad nią...
-
Model bezpieczeństwa statku morskiego.
PublicationBezpieczeństwo statku zależy istotnie od jego procesu eksploatacji. Proces ten zamodelowano jako semi-Markowowski. Fazostany procesu eksploatacji wywołują zapotrzebowanie na użytkowanie określonych systemów statku. Podczas realizacji procesów użytkowania tych systemów mogą powstawać zdarzenia niezdatności elementów technicznych i antropijnych, co może powodować wypadki morskie, czyli niespodziewane zdarzenia, których...
-
Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów
PublicationW odpowiedzi na potrzebę wprowadzania formalnych narzędzi opisu do analizy bezpieczeństwa systemów zawierających komponenty programowalne powstała notacja ECSDM. Jej zaletą jest to iż umożliwia nie tylko definiowanie zależności czasowych obowiązujących w opisywanym systemie, ale również, przy zastosowaniu jej do drzew błędów, pozwala na prowadzenie wnioskowania odnośnie zależności czasowych pomiędzy zdarzeniami z minimalnych zbiorów...
-
Tool support for ECSDM fault tree methodology
PublicationExtended Common Safety Description Model (ECSDM) jest językiem do formalnej specyfikacji systemów związanych z bezpieczeństwem oraz ich komponentów. Język ten zawiera konstrukcje umożliwiające specyfikację zależności czasowych. Może on zostać użyty w analizie drzew błędów, aby uzyskać jednoznaczną specyfikację hazardów w sytuacji, gdy są one uzależnione od związków czasowych pomiędzy przyczynami. Artykuł opisuje narzędzie wytworzone...
-
Metoda analizy związanych z czasem wymagań dotyczących bezpieczeństwa systemów komputerowych
PublicationBezpieczeństwo jest pożądaną cecha systemów przemysłowych, transportowych i innych typów. A ponieważ do sterowania tymi systemami powszechnie stosuje się systemy komputerowe, jest ono również ważną cechą oprogramowania. Analiza bezpieczeństwa oprogramowania jest jednak, ze względu na jego niematerialność, trudniejsza od typowej analizy. Ponadto, ze względu na skomplikowane reguły sterujące oraz naturę kontrolowanych systemów, bezpieczeństwo...
-
An environmental risk measure of ships
PublicationW referacie wyszczególniono najistotniejsze rodzaje zanieczyszczeń emitowanych przez statki do środowiska naturalnego. Przeprowadzono krótką dyskusję norweskiej propozycji indeksacji środowiskowej statków. Zaproponowano probabilistyczny model do oceny ryzyka stwarzanego przez statki względem środowiska morskiego. Jest to model strategii liniowej. Wiąże w jedną wartość liczbową prawdopodobieństwa uwolnienia zanieczyszczeń ze statku...
-
Scheduling with precedence constraints: mixed graph coloring in series-parallel graphs.
PublicationW pracy rozważono problem kolorowania grafów mieszanych, opisujący zagadnienie szeregowania zadań, w którym zależności czasowe zadań mają charakter częściowego porządku lub wzajemnego wykluczania. Dla przypadku, w którym graf zależności jest szeregowo-równoległy, podano algorytm rozwiązujący problem optymalnie w czasie $O(n^3.376 * log n)$.
-
Environmental reliability model of a bilge water purifying installation
PublicationW referacie przedstawiono probabilistyczny model, służący do wyznaczania niezawodności środowiskowej instalacji oczyszczania wód zęzowych z zanieczyszczeń olejowych. Jest to model przyczynowo - skutkowy. Struktura modelu ma formę drzewa zdarzeń i odpowiednich drzew niezdatności. Niezawodność środowiskowa instalacji zdefiniowana została jako prawdopodobieństwo, że w wyniku jej eksploatacji nie nastąpi zagrożenie dla środowiska morskiego....
-
Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym
PublicationW niniejszym rozdziale przedstawiono oprogramowanie ProSIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z dwóch modułów wspomagających: określenie wymaganego poziomu SIL (moduł ProSILen) oraz weryfikację SIL (moduł ProSILer). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami...
-
Dobór algorytmu do przetwarzania zależności czasowych w drzewach błędów
PublicationAnalizę drzew błędów można wzbogacić o rozważenia dotyczące zależności czasowych. Na podstawie informacji o zależnościach przyczynowo-skutkowych oraz o zależnościach czasowych zawartych w drzewie błędów można określić wymagania czasowe wobec komponentów analizowanego systemu, które podniosą jego bezpieczeństwo. Analiza zależności czasowych została precyzyjnie zdefiniowana w zakresie warunków wejściowych i wyjściowych przyjętego...
-
Ocena wpływu wirtualizacji na jakość usługi telekonferencji w systemie VoIP
PublicationZastosowanie wirtualizacji w systemach informatycznych jest dzisiaj bardzo powszechne. Pod względem ekonomicznym wirtualizacja umożliwia efektywniejsze wykorzystanie zasobów. Dodatkowo w aspekcie technicznym oddzielenie fizycznych zasobów od logicznych instancji pozwala na poprawę niezawodności i dostępności systemu. Separacja między poszczególnymi wirtualnymi maszynami pozwala na zapewnienie większego poziomu bezpieczeństwa. W...
-
Tworzenie map konceptów dla ontologii opartych na logice opisowej
PublicationW poprzednich pracach przedstawiono nową metodę reprezentacji wiedzy nazwaną metodą kartograficzną. Metoda ta pozwala na uchwycenie zależności pomiędzy pojęciami wyznaczonymi w ramach terminologii, jak również na stopniowe (w miarę zwiększania się naszej wiedzy) przyporządkowywanie indywidualnych obiektów tym pojęciom. Zależności te reprezentowane są w postaci tzw. mapy konceptów. Efektywność budowy mapy konceptów stanowi zagadnienie...
-
Non-linearity of multibody dynamic equations with respect to Lagrange multipliers: application to railway dynamics
PublicationPraca koncentruje się na dynamice układów wieloczłonowych z zamkniętymi łańcuchami członów. Głównym punktem zainteresowania jest modelowanie układów z występującymi nieliniowymi zależnościami opisującymi wpływ siły mnożników Lagrange'a na dynamikę układu (nieliniowe modele siły tarcia.). Aby zbudować model dynamiki układu zawierającego zamknięte łańcuchy członów, wspomniane łańcuchy są "rozcinane" i budowana jest struktura drzewa...
-
Thermal Imaging in Wound Healing Diagnostics
PublicationOpisano wyniki projektu badawczego poświęconego opracowaniu metody obiektywnej diagnostyki ran pooperacyjnych w kardiochirurgii. Sprawdzono możliwość połączenia oceny obrazów RGB z obrazami termograficznymi oraz nową w medycynie metodą aktywnej termografii dynamicznej ADT. W projekcie zastosowano chłodzenie obszaru zainteresowania wykorzystując kriostat na dwutlenku węgla. W okresie powrotu do stanu równowagi termodynamicznej rejestrowane...
-
Performance and Security Testing for Improving Quality of Distributed Applications Working in Public/Private Network Environments
PublicationThe goal of this dissertation is to create an integrated testing approach to distributed applications, combining both security and performance testing methodologies, allowing computer scientist to achieve appropriate balance between security and performance charakterstics from application requirements point of view. The constructed method: Multidimensional Approach to Quality Analysis (MA2QA) allows researcher to represent software...