IEC61508-3 iLE EMNiYETLi YAZILIM GELİŞTİRME
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.
Anahtar Kelimeler:
yazılım emniyet bütünlük seviyesi, MISRA, IAR, PC-Int, IEC 61508-3, modüler yaklaşım, statik kod analizi
___
- [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.
- Başlangıç: 2015
- Yayıncı: Şeref SAĞIROĞLU