Avrupa standardi european standard

9.4 Performans seviyesi ve SRP/CS’nin kategorisi ile ilgili sistematik arızalara karşı tedbirleri doğrulama

Herbir SRP/CS’nin performans seviyesi ve kategorisine ilişkin sistematik arızalara (ISO 13849-1: 2006, Madde 3.1.7’de tanımlanan) karşı tedbirleri doğrulama genellikle aşağıdakiler ile sağlanmalıdır:

1. 
   Aşağıdakilerin uygulanmasını teyit eden tasarım belgelerinin denetimleri
   

1) Temel ve denenmiş güvenlik prensipleri (bk. Ek A ila Ek D),

2) Sistematik arızaların önlenmesi için daha ileri tedbirler (bk. ISO 13849-1:2006, Madde G.3) ve

3) Donanım çeşitliliği (bk. ISO 13849-1:2006, Ek G), değişikliği önleme veya arıza israrı programlama gibi sistematik hataların kontrolü için daha ileri tedbirler.

b) Arıza analizi (örneğin, FMEA),

c) Hata yerleştirme deneyleri/hata başlatma,

d) Kullanıldığında, veri iletişimi muayenesi ve deneyi,

e) İmalat sürecinde bir kalite yönetim sisteminin sistematik arızaların nedenlerini önlediğini kontrol etme.

9.5 Güvenlikle ilgili yazılımı doğrulama

Hem güvenlikle ilgili gömülü yazılımı (SRESW) hemde uygulama yazılımını (SRASW) doğrulama aşağıdakileri içermelidir.
- Hedef alınan donanım üzerinde uygulandığında, yazılımın belirtilen fonksiyonel davranışı ve performans kriteri (örneğin, zamanlama performansı),

- Yazılım tedbirlerinin güvenlik fonksiyonunun belirtilen PL_r’si için yeterli olduğunu onaylama ve

- Sistematik yazılım hatalarını önlemek amacıyla yazılım geliştirme sırasında alınan tedbirler ve faaliyetler.

İlk adım olarak, güvenlikle ilgili yazılımın teknik özellikleri ve tasarımı için belgelendirme olup olmadığı kontrol edilmelidir. Bu belgelendirme; yanlış yorumlar, eksiklikler veya tutarsızlıkların varlığı ve yokluğu için gözden geçirilmelidir.

Not - Küçük programlar durumunda, yazılım belgelendirme (kontrol akış şeması, modüllerin veya blokların kaynak kodu, I/O ve değişken tahsis listeleri, çapraz referans listeleri) kullanarak incelemeler vasıtasıyla bir analiz, kontrol akışının gözden geçirilmesi ve prosedürler vb. yeterli olabilir.
Genel olarak yazılım, bir "kara kutu" veya "gri kutu" (bk. ISO 13849-1:2006 Madde 4.6.2) kabul edilebilir ve sırasıyla kara veya gri kutu testi ile doğrulanabilir.
PL_r’ye bağlı olarak [ISO 13849-1:2006, Madde 4.6.2 (SRESW için) ve Madde 4.6.3 (SRASW için)], testler aşağıdakileri içermelidir.
- Fonksiyonel davranış ve performansın kara kutu testi (örneğin, zamanlama performansı),

- PL d veya PL e için önerilen sınır değer analizlerine dayalı olarak ilave edilen genişletilmiş test durumları,

- Güvenlikle ilgili giriş ve çıkış sinyallerinin doğru şekilde kullanılmasını sağlamak amacıyla I/O testleri ve

- Arızaların kontrolü için yazılım tabanlı tedbirlerin yeterliliğini değerlendirmek amacıyla beklenen tepki ile birlikte önceden analitik olarak belirlenen hatalara benzeştirilen deney durumları.

Daha önce doğrulanmış olan münferit yazılım fonksiyonlarının yeniden doğrulanması gerekmez. Çok sayıda bu tür güvenlik fonksiyon bloğunun belirli bir proje için birleştirildiği durumlarda, ancak sonuçta elde edilen toplam güvenlik fonksiyonu doğrulanmalıdır.
Yazılım belgelendirme, uygun tedbirleri teyit etmek için kontrol edilmeli ve faaliyetler, basitleştirilmiş V- modeline (ISO 13849-1:2006, Şekil 6) göre sistematik yazılım hatalarına karşı uygulanmalıdır.
Elde edilecek PL’ye dayalı olan ISO 13849-1:2006 Madde 4.6.2 (SRESW için) ve Madde 4.6.3’e (SRASW için) göre yazılım uygulaması için tedbirler, kurallara uygun uygulanmaları hususunda incelenmelidir.
Güvenlikle ilgili yazılım sonradan değiştirilebilmeli ve uygun bir ölçekte tekrar doğrulanmalıdır.

9.6 Performans seviyesini doğrulama ve onaylama

ISO 13849-1:2006, Madde 4.5.4 ile Ek B ila Ek F ve Ek K’ya göre SRP/CS’nin PL değerini tahmin etmek amacıyla basitleştirilmiş bir prosedür için, aşağıdaki onaylama ve doğrulama adımları gerçekleştirilmelidir:
- Kategori, DC_ort ve MTTF_d’ye dayalı olarak PL’nin doğru değerlendirilmesini kontrol etmek (ISO 13849-1: 2006, Madde 4.5.4 ve Ek K'ya göre),

- SRP/CS tarafından elde edilen PL’nin makinalar için güvenlik gerekleri teknik özelliğinde istenilen performans seviyesini karşıladığını onaylama: PL ≥ PL_r.

Diğer metotların saat başına tahmini ortalama tehlikeli arıza ihtimaline dayalı olarak elde edilen PL’yi değerlendirmek için kullanıldığı durumlarda, doğrulama aşağıdakileri dikkate almalıdır.
- Her bir bileşen için MTTF_d değeri,

- DC,

- CCF,

- Yapı ve

- Doğruluğunun kontrol edilmesi gereken belgelendirme, uygulama ve hesaplama.

9.7 Güvenlikle ilgili parçaların kombinasyonunu doğrulama

Güvenlik fonksiyonunun güvenlikle ilgili iki veya daha fazla parça tarafından gerçekleştirildiği yerlerde kombinasyonu doğrulama, kombinasyonun tasarımda belirtilen performans seviyesini sağladığını ispatlamak için analiz ile ve gerekirse deneye tabi tutarak yapılmalıdır. Güvenlikle ilgili parçaların mevcut kaydedilmiş doğrulama sonuçları dikkate alınabilir. Aşağıdaki doğrulama adımları gerçekleştirilmelidir:
- Toplam güvenlik fonksiyonunu/fonksiyonlarını açıklayan tasarım belgelerinin incelenmesi,

- SRP/CS kombinasyonunun toplam PL değerinin herbir münferit güvenlikle ilgili parçanın PL değerine dayalı olarak doğru şekilde değerlendirildiğinin kontrolu (ISO 13849-1:2006 Madde 6.3 'e göre),

Not - Tüm birleşmiş SRP/CS’nin saatteki ortalama tehlikeli arıza ihtimalinin bir toplamı, ISO 13849-1: 2006 Çizelge 11’e bir alternatif olarak kullanılabilir. Bu, düşük değerler için toplam performans seviyesini sınırlayan sistematik, yapısal ve CCF hususlarının ölçülemeyen kısıtlamalarını kontrol etmek için önemlidir.
- Arayüzlerin karakteristiklerini dikkate alma, örneğin; gerilim, akım, basınç, bilginin veri formatı, sinyal seviyesi,

- Kombinasyon/bütünleşme ile ilgili arıza analizi, örneğin, FMEA ile,

- Yedek sistemler için, kombinasyon/bütünleşme ile ilgili hata yerleştirme deneyleri.