Wyniki wyszukiwania dla: CYBER HAZOP

• Zastosowania metody HAZOP w inżynierii oprogramowania.

  Publikacja

  • A. Jarzębowicz

  - Rok 2003

  Artykuł przedstawia HAZOP - metodę analizy modeli systemów oraz jej zastosowania w dziedzinie inżynierii oprogramowania do identyfikacji błędów obecnych w modelach. Omawiane są różne obszary stosowalności związane z różnymi klasami błędów: defektów modelowania, zdarzeń niebezpiecznych dla otoczenia systemu oraz zagrożeń związanych z zabezpieczeniem systemu. Artykuł prezentuje również dotychczasowy stan badań związanych...

• Development and validation of a HAZOP-based inspection of UML models

  Publikacja

  • J. Górski
  • A. Jarzębowicz

  - Rok 2005

  Artykuł prezentuje technikę inspekcji ukierunkowaną na wykrywanie defektów w modelach UML. Technika ta została opracowana poprzez adaptację HAZOP - metody szeroko stosowanej w dziedzinie systemów związanych z bezpieczeństwem. Wykorzystano podstawową koncepcję HAZOP (zastosowanie ogólnych słów kluczowych do wykrywania pełnej listy anomalii związanych z danym fragmentem modelu) do systematycznego wygenerowania list kontrolnych dla...

• The EU's Cyber Security Strategy

  Publikacja

  • M. Bharti

  - Rok 2023

  Pełny tekst do pobrania w serwisie zewnętrznym

• Detecting defects in object-oriented diagrams using UML-HAZOP

  Publikacja

  • J. Górski
  • A. Jarzębowicz

  - Foundations of Computing and Decision Sciences - Rok 2002

  Artykuł dotyczy metody wykrywania defektów w dokumentacji oprogramowania wykonywanego z zastosowaniem notacji UML. Metoda ta, nazwana UML-HAZOP, jest adaptacją metody HAZOP szeroko stosowanej w stosunku do systemów związanych z bezpieczeństwem. Metoda ta jest ukierunkowana na wykrywanie anomalii w dokumentacji projektowej na drodze analizy ''przepływów'' pomiędzy komponentami badanego systemu. Adaptacja metody do badania oprogramowania...

• Eksperymentalne porównanie inspekcji UML-HAZOP z przeglądem niestrukturalnym.

  Publikacja

  • A. Jarzębowicz
  • J. Górski

  - Rok 2004

  Artykuł opisuje eksperyment przeprowadzony w warunkach akademickich, z udziałem studentów Politechniki Gdańskiej. Celem eksperymentu było porównanie dwóch technik przeglądowych: inspekcji opartej na metodzie UML-HAZOP oraz zwykłego przeglądu niestrukturalnego. W ramach porównania obu technik dokonano oceny ich skuteczności i wydajności. Metodę UML-HAZOP poddano ponadto dodatkowej ocenie uczestników za pomocą anonimowych ankiet....

• Experimental comparison of UML-HAZOP inspection and non-structured review

  Publikacja

  • A. Jarzębowicz
  • J. Górski

  - Rok 2005

  Artykuł przedstawia eksperyment przeprowadzony na Politechnice Gdańskiej mający na celu porównanie dwóch technik przeglądowych. Poszczególne rozdziały zawierają: ogólne omówienie tematyki przeglądów i inspekcji, przedstawienie metody UML-HAZOP, opis przebiegu eksperymentu oraz uzyskanych rezultatów.

• Standards on Cyber Security Assessment of Smart Grid

  Publikacja

  • R. Leszczyna

  - International Journal of Critical Infrastructure Protection - Rok 2018

  Security evaluation of communication systems in smart grid poses a great challenge to the developers and operators. In recent years many new smart grid standards were proposed, which paradoxically results in the difficulty in finding a relevant publication in this plethora of literature. This paper presents the results of a systematic analysis which aimed at addressing this issue by identifying standards that present sound security...

  Pełny tekst do pobrania w portalu

• Integrated functional safety and cyber security analysis

  Publikacja

  • M. Śliwiński
  • E. Piesik
  • J. Piesik

  - IFAC-PapersOnLine - Rok 2018

  The chapter is devoted some important issues of the functional safety analysis, in particular the safety integrity level (SIL) verification of safety functions to be implemented within the distributed control and protection systems with regard to security aspects. A method based on quantitative and qualitative information is proposed for the SIL (IEC 61508, 61511) verification with regard of the evaluation assurance levels (EAL)...

• METHODS FOR THE IDENTIFICATION OF CYBER RISKS: AN ANALYSIS BASED ON PATENT DATA

  Publikacja

  • L. Klapkiv
  • Y. Klapkiv

  - CBU International Conference Proceedings - Rok 2018

  Pełny tekst do pobrania w serwisie zewnętrznym

• The Towers of Hanoi as a Cyber-Physical System Education Case Study

  Publikacja

  • P. J. Mosterman
  • J. Zander
  • Z. Han

  - Rok 2013

  cps

  Pełny tekst do pobrania w serwisie zewnętrznym