Sterowanie maszyn górniczych w świetle nowych wymagań dla niezawodności oprogramowania

• Autorzy: Giel R. , Jackiewicz T.

Warianty tytułu

EN

Mining machines control in the light of new requirements related to software reliability

• Języki publikacji: PL

Abstrakty

PL

Upowszechnienie się urządzeń mikroprocesorowych w kopalniach, a ściślej rzecz ujmując w maszynach pracujących w strefach zagrożonych wybuchem, spowodowało konieczność określenia pewnych reguł, które musi spełnić oprogramowanie tak, aby jego działanie nie zmniejszało bezpieczeństwa pracy. Ponieważ niezawodność oprogramowania w coraz to większym stopniu rzutuje na całościowe bezpieczeństwo wyrobu w artykule przedstawiono metody kształtowania bezpiecznego oprogramowania.

EN

Dissemination of microprocessor-based devices in mines, and to be precise - in machines working in the explosive areas, caused to be necessary to define some rules, which have to be met by the software and use of it must not decrease a safety at work. The reliability of software is influencing more and more a total safety of a product, therefore there have been presented in the paper the methods of development of a safety software.

Słowa kluczowe

PL

automatyzacja górnictwa; bezpieczeństwo pracy; górnictwo

EN

automatisation of mining; mining; work safety

• Wydawca: Instytut Technik Innowacyjnych EMAG
• Czasopismo: Mechanizacja i Automatyzacja Górnictwa
• Rocznik: 2007
• Tom: R. 45, nr 7
• Strony: 123--128
• Opis fizyczny: Bibliogr. 3 poz.,Il., tab.,

Twórcy

autor

Giel R.

autor

Jackiewicz T.

• CARBONEX Sp. z o. o.

Bibliografia

• 1. Jackiewicz T: Ewolucja układów automatyzacji transportu podziemnego w kontekście wdrażania dyrektywy ATEX. Mechanizacja i Automatyzacja Górnictwa 2006, nr 8.
• 2. PN-EN 61508-3:2004 Bezpieczeństwo funkcjonalne elektrycznych/elektronicznych/ programowalnych elektronicznych systemów związanych z bezpieczeństwem. Część 3: Wymagania dotyczące oprogramowania.
• 3. PN-EN 61508-5:2005 Bezpieczeństwo funkcjonalne elektrycznych/elektronicznych/ programowalnych elektronicznych systemów związanych z bezpieczeństwem. Część 5: Przykłady metod określania poziomów nienaruszalności bezpieczeństwa.