Safety case is one of system safety lifecycle products and should be consistent with other lifecycle products like hazard analysis results. In this paper we present a method of safety case integration with hazard tables based on the use of parametrized argument patterns. We describe a hazard table metamodel, a safety argument pattern and a mechanism of pattern instantiation using a linking table which represents references to system...

Nowo opracowane zaawansowane narzędzia technologii informacyjnych i komunikacyjnych (TIK) ujawniają swoją przydatność do przewidywania różnego rodzaju zagrożeń oraz minimalizowania związanego z nimi potencjalnego ryzyka. Jednakże większość tych narzędzi operuje jedynie na niektórych typach infrastruktury i zaniedbuje ich przestrzenne interakcje z otoczeniem oraz innymi strukturami. Niniejszy artykuł zawiera propozycje kilku algorytmów...

For a sustainable future, tidal energy can play a vital role. Tidal energy relies on the gravitational pull of the Moon and the Sun along with the centrifugal forces created by the Earth. Tidal barrage uses the potential energy from the tide and has been very successful in electricity production. With the help of a turbine, kinetic energy can also be harnessed from tidal currents to generate electricity. However, it is not economically...