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

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.