Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: normy CENELEC

Sortuj według:

Ogranicz wyniki do:

The design of correct software for safety related railway control systems according to UE standards, requirements and recommendations

Lewiński A.

Archives of Transport

2001

Vol. 13, iss. 2

67-76

The UIC recommendations and CENELEC standards for design of software for safety railway control computers in EU countries are related to programming styles and programme analysis methods introduced directly from basic meanings of mathematical theory of programme correctness. Recommended programming methods such as structured, specified, defensive and diversed programming give possibility of redundant software structure design ensuring both safety realisation and software correctness analysis using formal and specially semiformal, intuitive methods.

Zalecenia podane przez UlC oraz normy opracowane CENELEC dla potrzeb tworzenia oprogramowania bezpiecznych komputerowych systemów sterowania ruchem kolejowym w państwach UE odwołują się do sposobów programowania oraz metod analizy wywodzących się bezpośrednio z podstawowych pojęć teorii poprawności programów. Zalecane sposoby programowania, takie jak programowanie strukturalne, specyfikowane, defensywne i zróżnicowane umożliwiają zaprojektowanie nadmiarowej struktury programów zapewniających bezpieczne funkcjonowanie systemu ale też analizę poprawności przy użyciu metod formalnych (ang. format), a zwłaszcza półformalnych (ang. semiformat) opartych na intuicji.

Bezpieczeństwo systemów sterowania ruchem kolejowym w świetle wymagań norm CENELEC

Mikulski J., Sobański M.

Zeszyty Naukowe. Transport / Politechnika Śląska

1999

z. 36

35-41

Artykuł prezentuje zagadnienia określania bezpieczeństwa systemów sterowania ruchem kolejowym w ujęciu europejskich norm CENELEC. Szczególną uwagę zwrócono na różnice w metodologii dowodzenia bezpieczeństwa w oparciu o badanie skutków poszczególnych uszkodzeń oraz w oparciu o analizę ryzyka.

The article presents the problems of the safety estimation of the railway traffic control systems according to CENELEC - standards. Particular attention has been paid to the difference in the methodology of the proving the safety based on the failure effects analysis and the risk analysis.