DO-178C, hava araçlarında yer alan emniyet kritik yazılımların geliştirilmesi esnasında kullanılan bir rehber dokümandır. Tasarım teminatı yaklaşımını temel alan DO-178C rehber dokümanında, 5 farklı yazılım kritiklik seviyesi tanımlanmış ve her bir kritiklik seviyesi için sağlanması gereken amaçlar listelenmiştir.  DO-178C gereği bu amaçları sağlamak için yapılan yazılım geliştirme ve doğrulama aktivitelerini otomatikleştiren yazılım programlarının, DO-330 rehber dokümanı tem

Yığın (stack), son gelen verinin ilk çıktığı (LIFO) bir yapıya sahip veri yapılarına verilen genel bir isimdir. İşletim sistemleri, iç içe fonksiyon çağrıları esnasında, farklı fonksiyon çağrılarına geçiş yaparken ve geri dönerken, yerel değişkenler ile dönüş adreslerini yığın (stack) yapısını kullanarak RAM üzerinde saklamaktadırlar. Bu yapıya “çalıştırma yığını (run time stack)" veya kısaca “yığın (stack)” denilmektedir. Bir yazılımın çalışması sırasında, o esnada kodun içe

Birleşik Krallık hava trafik sisteminde meydana gelen yazılım kaynaklı bir problem sebebiyle, 28 Ağustos 2023 tarihinde sistem devre dışı...

Yazılımın hayatımızdaki rolü gün geçtikçe artmaktadır. Gerek günlük hayatta kullanılan yazılım miktarı, gerekse de bu yazılımların...

Yazılım Kusur Enjeksiyon (Fault Injection) Testi, ISO 26262 gibi bazı emniyet-kritik yazılım geliştirme standartlarında kullanılması...

Teknolojik gelişmeler arttıkça, askeri amaçlı kullanılan silah sistemlerinde yazılımın kullanım oranı ve önemi de artmaktadır. Örneğin M1...

DO-178C dokümanında problem raporları; yazılım ürünündeki problemleri, projede işletilen süreçler ile planlar ve standartlar arasındaki...

Yazılım hataları, yazılım geliştirme esnasında ortaya çıkan sistematik hatalardan kaynaklanmaktadırlar. Bu sebeple yazılım hataları,...

Hata Türleri ve Etkileri Testi (Failure Modes and Effects Test – FMET), MIL-HDBK-516C “Airworthiness Certification Criteria” dokümanında...

Bağımsızlık konusu, DO-178C rehber dokümanının "Glossary" bölümünde aşağıdaki gibi tanımlanmıştır [1]: Objektif değerlendirmeyi garanti...

Yazılım geliştirme projelerinde en sık rastlanan problemlerden birisi de, bir yazılımın geliştirmesi ve doğrulama faaliyetleri...

Geliştirilen yazılımın tanımlanmış gereksinimleri ve kullanıcının ihtiyaçlarını tam olarak sağladığını garanti altına almak adına...

AS9115A standard; is a quality management system standard developed for the organizations which are developing software for the aerospace...

AS9115A standardı; havacılık, uzay ve savunma sanayii için yazılım geliştiren organizasyonların uygulaması için geliştirilmiş olan bir...

EMNİYET KRİTİK YAZILIMLAR VE SERTİFİKASYON Hatalı çalışmaları durumunda can kaybına, ciddi yaralanmalara veya çevrenin ciddi zarar...

Hatalı çalışmaları durumunda can kaybına, ciddi yaralanmalara veya çevrenin ciddi zarar görmesine yol açabilecek olan sistemler emniyet kritik sistemler olarak sınıflandırılmaktadırlar. Emniyet kültürü ise, sistem emniyetine ilişkin hususlara, diğer konulardan öncelikli olarak gerekli dikkat ve özenin gösterilmesini garanti altına alan tutum ve özelliklerin bir bileşimi olarak tanımlanmaktadır. Emniyet kritik sistemlerden kaynaklı kazaların raporları incelendiğinde, birçok k

Günlük hayatımızda yazılım ve yazılım içeren sistemlerin kullanımı gün geçtikçe daha fazla artmaktadır. Yazılımın sağlık sektörü,...