IEC61508-3 iLE EMNiYETLi YAZILIM GELİŞTİRME

Year 2017, Volume: 3 Issue: 1, 1 - 5, 02.04.2017

Nadir Subaşı İlker Üstoğlu Mustafa Seçkin Durmuş

https://doi.org/10.18640/ubgmd.303596

Abstract

Bu çalışmada üçüncü
seviye yazılım emniyet bütünlük seviyesine sahip bir yazılım için IEC 61508-3
standardında şiddetle tavsiye edilen yöntemler ele alınmış, çalışmada IEC
61508-3 standardı üzerinde yoğunlaşmış ve SIL3 seviyesindeki bir emniyet
yazılımı için isterler konusu üzerinde durulmuştur. Geliştirme ortamı olarak
IAR derleyici kullanılmış, ayrıca PC-Lint ve MISRA C++ oluşturulan C++ kodunun
verimliliğini kontrol etmede kullanılmıştır. Tekil model entegrasyonu için kod
örnekleri verilmiştir. Verilen bu örneklerin, emniyetli yazılım geliştirmeye
katkılar sağlaması beklenmektedir.

Keywords

yazılım emniyet bütünlük seviyesi, MISRA, IAR, PC-Int, IEC 61508-3, modüler yaklaşım, statik kod analizi

References

• [1] A. Mayr, R. Plösch, M. Saft, Towards an Operational Safety Standard for Software Modelling IEC 61508 Part 3, 18th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), 2011, pp. 97 – 104.
• [2] I. Sommerville, Software Engineering 9th Edition, Addison-Wesley, 2011.
• [3] R. Plösch, H. Gruber, C. Körner, M. Saft, A Method for Continuous Code Quality Management Using Static Analysis, 7th International Conference on the Quality of Information and Communications Technology (QUATIC), 2010, pp. 370 – 375.
• [4] International Electrotechnical Commission, IEC, International Standard: 61508 Functional safety of electrical/electronic/ programmable electronic safety-related systems Part 1-7, Geneva, 1999-2010
• [5] M. Schreiber, E. Delic, A. Hayek, J. Börcsök, Concept for a SIL3 middleware encapsulating safety-related aspects of applications for an 8051-based SIL3 multi-core system-on-chip, 36th International Convention on Information & Communication Technology Electronics & Microelectronics, 2013, pp. 81-84, ISBN: 978-953-233-076-2.
• [6] IAR Systems: https://www.iar.com/.
• [7] MISRA: http://www.misra-cpp.com/.
• [8] E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, USA, Addison-Wesley, 1994.
• [9] J.L. Anderson, Using software tools and metrics to produce beter quality test software, Proceedings AutoTestCon, pp. 293-297, 2004
• [10] J. Gimpel, Software That Checks Software: The Impact of PC-Lint, IEEE Software, vol. 31, no. 1, pp. 15-19, Jan.-Feb. 2014, doi:10.1109/MS.2014.13.