TY  - JOUR
TT  - IEC61508-3 iLE EMNiYETLi YAZILIM GELİŞTİRME
AU  - Subaşı, Nadir
AU  - Üstoğlu, İlker
AU  - Durmuş, Mustafa Seçkin
PY  - 2017
DA  - April
DO  - 10.18640/ubgmd.303596
JF  - Uluslararası Bilgi Güvenliği Mühendisliği Dergisi
JO  - UBGMD
PB  - Şeref SAĞIROĞLU
WT  - DergiPark
SN  - 2528-9993
SP  - 1
EP  - 5
VL  - 3
IS  - 1
KW  - yazılım emniyet bütünlük seviyesi
KW  - MISRA
KW  - IAR
KW  - PC-Int
KW  - IEC 61508-3
KW  - modüler yaklaşım
KW  - statik kod analizi
N2  - Bu çalışmada üçüncüseviye yazılım emniyet bütünlük seviyesine sahip bir yazılım için IEC 61508-3standardında şiddetle tavsiye edilen yöntemler ele alınmış, çalışmada IEC61508-3 standardı üzerinde yoğunlaşmış ve SIL3 seviyesindeki bir emniyetyazılımı için isterler konusu üzerinde durulmuştur. Geliştirme ortamı olarakIAR derleyici kullanılmış, ayrıca PC-Lint ve MISRA C++ oluşturulan C++ kodununverimliliğini kontrol etmede kullanılmıştır. Tekil model entegrasyonu için kodörnekleri verilmiştir. Verilen bu örneklerin, emniyetli yazılım geliştirmeyekatkılar sağlaması beklenmektedir.
CR  - [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.
CR  - [2]	I. Sommerville, Software Engineering 9th Edition, Addison-Wesley, 2011.
CR  - [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.
CR  - [4]	International  Electrotechnical  Commission, IEC, International Standard: 61508 Functional safety of electrical/electronic/ programmable electronic   safety-related   systems    Part    1-7, Geneva, 1999-2010
CR  - [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.
CR  - [6]	IAR Systems: https://www.iar.com/.
CR  - [7]	MISRA: http://www.misra-cpp.com/.
CR  - [8]	E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, USA, Addison-Wesley, 1994.
CR  - [9]	J.L. Anderson, Using software tools and metrics to produce beter quality test software, Proceedings AutoTestCon, pp. 293-297, 2004
CR  - [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.
UR  - https://doi.org/10.18640/ubgmd.303596
L1  - https://dergipark.org.tr/en/download/article-file/290489
ER  -