Wyniki wyszukiwania - BazTech

1

A method for rapid evaluation of k-out-of-n systems reliability

Młynarski Stanisław, Pilch Robert, Smolnik Maksymilian, Szybka Jan, Wiązania Grzegorz

Eksploatacja i Niezawodność

|

2019

|

Vol. 21, no. 1

170--176

EN

IEC 61508 standard could be used in the evaluation of safety of the k-out-of-n technical systems, including elements which may remain in one out of four different reliability states. Such a model leads to the huge complexity of analytical calculations and the limitations of its practical application possibilities. Therefore, a computerised method using Markov processes for estimating the reliability of k-out-of-n systems was developed. The algorithmization of the applied computational procedure was performed. It allowed one to analyse systems including a huge number of elements. An algorithm that may be applied for complex k-out-of-n systems was developed and used for exemplary calculations. The developed method was verified by comparing the obtained results with the ones obtained from analytical method as well as simulation method. The compatibility of results obtained in the two methods confirms the correctness of the developed procedure and proposed computer program which now offers the possibility of doing calculations for k-outof-n structures with more than three elements required for the system’s proper functioning and significantly accelerates calculations. Reliability and safety are priorities in the operation of technical systems. This decides of the applicability of the calculation methods described. The operational safety aspects are of particular significance in cases when the occurrence of a failure is a hazard to people’s health and life, ecological risk or considerable financial loss.

PL

Norma IEC 61508 może być stosowana do oceny poziomu bezpieczeństwa układów technicznych typu k z n, w których elementy mogą pozostawać w jednym z czterech różnych stanów. Przyjęcie takiego modelu prowadzi do ogromnej złożoności obliczeń analitycznych i ograniczeń w praktycznych możliwościach ich zastosowania. W związku z tym, do oceny niezawodności tego typu układów opracowano komputerową metodę wykorzystującą procesy Markowa. Następnie przeprowadzono algorytmizację opracowanej procedury obliczeniowej, co pozwoliło na analizę systemów obejmujących dużą liczbę elementów. Na podstawie opracowanego algorytmu przeprowadzono przykładowe obliczenia. Opracowaną metodę zweryfikowano porównując otrzymane wyniki z wynikami uzyskanymi metodą analityczną oraz metodą symulacyjną. Zgodność wyników uzyskanych w tych dwóch metodach potwierdza prawidłowość opracowanej procedury i proponowanego programu komputerowego, który oferuje obecnie możliwość wykonywania obliczeń dla struktur typu k z n z więcej niż trzema elementami wymaganymi do prawidłowego funkcjonowania całego systemu i znacząco przyspiesza obliczenia. Niezawodność i bezpieczeństwo są priorytetami w eksploatacji systemów technicznych i mają szczególne znaczenie w przypadkach, gdy wystąpienie awarii stanowi zagrożenie dla zdrowia i życia ludzi, powoduje ryzyko ekologiczne lub znaczne straty finansowe.

2

Zarządzanie jakością i niezawodnością oprogramowania w systemach związanych z bezpieczeństwem

Porzeziński M.

Journal of Polish Safety and Reliability Association

|

2011

|

Vol. 2, No. 3

45--52

EN

This article is concerned with the methods of ensuring the required quality and reliability of software in safetyrelated systems. The basic types of software reliability models and their specific properties are presented. The principles of managing the process of software development, based on the "Model V" life cycle, with particular emphasis on the role of inspection and testing processes are discussed. Also the methodology of quality management and reliability of the software recommended by the PN-EN 61508-3 are outlined. At the end the concept of application to support the process of assessing the quality and integrity of the safety-related software is described.

3

Badanie Kompatybilności Elektromagnetycznej jako Element Walidacji Systemu Bezpieczeństwa

Missala T.

Bezpieczeństwo Przemysłowe

|

2008

|

T. 2

69-73

PL

Wśród czynników środowiskowych narażających system istotną rolę pełnią zaburzenia elektromagnetyczne i elektrostatyczne występujące w środowisku pracy. Przedstawiono wymagania stawiane urządzeniom sformułowane w normach wyrobu, grup wyrobów lub w normach ogólnych i ostatnio ustanowionych normach dotyczących systemów związanych z bezpieczeństwem, jak też wymagania dyrektywy EMC odnoszące się do instalacji stacjonarnych. Walidację przeprowadza się przez badania lub analizę: zamieszczono odpowiednie wytyczne.

EN

Among environmental factors, to which the system is exposed, an important meaning have the electromagnetic and electrostatic disturbances that appears in the real work environment. The requirements put on products, product families and generic standard, in new edited standards concerning the safety-related systems as well as in EMC directive (concerning the stationary installations) are presented. Validation can be fulfilling by testing or by analysis; the corresponding guidelines are included in the paper.

4

Software validation the safety-related systems as an example software validation of the railway control systems

Skrypko J.

Zeszyty Naukowe. Transport / Politechnika Śląska

|

2003

|

z. 51

485-492

EN

This work deals the tests needs for software validation process for safety-related systems. There is example the railway control systems. The test methods are shown with according to European railway standards. At last there is comparison these railway standards to safety-related systems.

PL

Referat zajmuje się testami wymaganymi dla walidacji oprogramowania systemów bezpiecznych. Podano przykład systemów sterowania ruchem kolejowym. Metody testów są przedstawione zgodnie z kolejowymi normami europejskimi. Na zakończenie podano porównanie tych norm kolejowych z normami systemów bezpiecznych.