Mikroişlemci Testlerinin Önemi ve Güvenlik-kritik Sistemlerde Geçerlilik

Modern gömülü sistemlerin çağında, mikroişlemciler bir sistemin yaşam veya önceden belirlenmiş bir felaket olarak hizmet eder: tek bir yüz, uçlu bir hız yapıcıları ve otonom araç frenleme sistemleri, yaşamdaki doğru operasyon, veya geri alınabilirlik testlerinin ve gelecekteki tümleşik güvenlik yöntemlerinden sonra ortaya çıkan mikroişmanlık testlerinin doğru bir şekilde tanımlanması ve bu derinlikli bir sistemdeki en iyi şekilde tanımlanması.

Mikroişlemci Testini Anlayın ve Geçerlilik

Sık sık sık değişmez olarak kullanılırken, [[0]Testing) ve [[Dönetici:2) Doğrulama[Dönetici: 3) Gerçek-kırık mikroişmanlığa karşı nihai üründeki son kullanım sürecine hizmet eder. Test, kontrol edilen koşullarda bir cihazın veya yazılımın infazını kapsar: “ Mikroişlemcinin belirtilen güvenlik hedeflerini doğrulayıcı olarak kullanmasına uygun mu?”

Ayrılık kritiktir, çünkü test bir spesifikasyona uygun olarak doğrulanabilir, ancak bu spesifikasyonun kendisi eksik veya yanlış olabilir. Validasyon tüm sistemin -hardware, yazılım ve etkileşimlerin - gerekli güvenlik performansını geriletir. Örneğin, mikroişlemci, tüm işlevsel testleri izolasyonda geçebilir, ancak bu tür bir elektromanyetik müdahalede bulunmaksızın başarısız olabilir.

Her iki işlem de tanımlı hata modellerine (stuck-at hataları, geçici hatalar, zamanlama hataları) ve kapsamı ölçümler (devlet içi kapsama, şube kapsamı, MC/DC) güvenmektedir. Güvenlik-kritik sistemlerde, kapsama% 100 ve her test edilmemiş yol potansiyel bir tehlikeyi temsil eder.

Güvenlik-Critical Systems'de Testin Kritik Rolü

Güvenlik-kahkümetleri başarısızlıkların kabul edilemez zararlara sebep olabileceği koşullar altında çalışır. Uluslararası Elektroteknik Komisyonu (IEC) güvenlik bütünlüğü seviyelerini (SILs) risk azaltma koşullarını ölçmek için güvenlik önlemleri alır.

Doğrudan birkaç önemli tehditle doğrudan test edin:

Sistemde, ISO 26262, her ASIL seviyesi için hata testleri ve kapsama analizi gibi doğrulayıcı faaliyetleri gerektirir.Uzman testlerinde, sertifikalama olmadan DO-254, belgelenen testler için titiz donanım doğrulamayı öngörmektedir ve sistemler çoğu yargıda yasal olarak dağıtılamaz.

Anahtar Testi Yöntemleri Yöntemleri

Test yöntemlerinin genişliği, hata modellerinin ve operasyonel senaryoların çeşitliliğini yansıtıyor. Aşağıda güvenlik-kritik mikroişlemci testlerinde en yaygın olarak kabul edilen teknikler, belirli açık açık açık açık açık açık açık açıklığa kavuşturularak her biri.

Fonksiyonel Test

Fonksiyonel test, her bir öğretimin, kayıt ve hafıza operasyonunun mikroişlemcinin mimari özelliklerine göre yürütülmesi gerektiğini belirtir.Decision Coverage (MC/DC) ile yüzen bir tasarım hataları ortaya koyarken, tüm veya elektriksel hataları tespit edemez.

Yapısal Test

Yapısal test mikroişlemcinin iç mantığını inceler, kapı düzeyinde net listeler veya RTL açıklamalarını hedeflemektedir. Otomatik test modeli (ATPG) yüksek hata kapsamı elde etmek için desenler üretir, genellikle üretim testleri için% 99'un üzerinde gecikme testi, sinyallerin belirtilen saat sürelerde ortaya çıkmasını sağlar, geçici hataları tespit etmek için kritik bir şekilde kesintiye neden olabilir.

Stres Testi

Stres testi, nominal işletim koşullarının ötesinde mikroişlemciyi zorlar - tedarik gerilimi, artan sıcaklık, farklı saat frekansı - zayıf marjları ortaya çıkarmak için. Hedef, erken yaşam hatalarına ve bebek ölümlerine duyarlı parçaları tanımlamaktır. Burn-in testi, genişletilmiş stres testleri formu, yanlış bileşenler için yüksek sıcaklık ve gerilim uygular.

Donanım-in-the-Loop (HIL) Test

HIL testi, gerçek mikroişlemciyi, sistemin geri kalanını taklit eden bir simülasyon ortamına bağlar (sensors, aktüatörler, bitki modelleri). Bu yaklaşım, mikroişlemcinin tüm fiziksel sistemi gerektirmeden, özellikle de motor kontrolü ünitesinin mikroişlemcinin çeşitli RPM'lerde çalışan bir sanal motor modeliyle test edilebilir.

Hata Enjeksiyonu

Hatalar kasıtlı olarak hataları ortaya koyar - bellekte çevirir, otobüslerde sıkışık sinyaller, tek kullanımlık radyasyondan rahatsız eder - hata algılama ve kurtarma mekanizmalarını test etmek için mikroişlemci. Teknikler, hata işlemeye dayalı enjeksiyon (modizasyon veya hafıza içeriklerine) göre değişir (muhtemelen lazerler veya elektromanyetik problar). Başarısızlık Modu ve Etkileri (FMEA) ve Hata Ağaç Analizi (FTA) gibi beslemeye devam eder.

Gelişmiş Teknikler: Formal Verification and Machine Learning Test

Henüz evrensel olmasa da, resmi doğrulama matematiksel olarak, model kontrolü veya teorem kanıtlayan özelliklere karşı donanım tasarımlarının doğrulığını kanıtlamaktadır. Bu teknikler özellikle kontrol mantığı ve tahkim birimleri için etkilidir, egzoz testlerinin yetersiz olduğu. Benzer şekilde, makine öğrenmesi tabanlı test, önceki başarısızlık verileriyle ilgili olarak çeşitli test girişlerini üretir, karmaşık devlet alanlarındaki kapsama alanı geliştirir.

Geçerlilik ve Güvenlik Standartları

Geçerlilik, tüm güvenlik-kritik sistemin düzenleyici ve endüstri standartlarını karşılamasını sağlamak için bireysel test yöntemleri aşıyor. Standartlar risk değerlendirme, geliştirme süreçleri ve kanıt toplama için bir çerçeve sağlar. Üç büyük standart özellikle mikroişlemci geçerliliği ile ilgilidir:

ISO 26262 (Automotive)

ISO 26262, Otomotiv Güvenliği Bütünleme Seviyelerini (ASIL A aracılığıyla D) ciddiyet, maruz kalma ve tehlikelerin kontrol edilebilirliği ile tanımlar. Mikroişlemciler için, geçerlilik, güvenlik hedeflerinin tanımı ve doğrulamayı gerektirir, örneğin, verilen ASIL için tehlikeli başarısızlıkların% 1'inden daha azını gerektirir.

DO-178C/DO-254 (Aerospace)

DO-178C yazılımları kapsar, DO-254 mikroişlemciler dahil karmaşık elektronik donanım kapsar. Her ikisi de A (en kritik)'dan E. For DAL-A sistemleri için, mikroişlemci doğrulamayı kapsar: gereksinimlerini tabanlı test, yapısal kapsama analizi ve bağımsız kontroller (bir takım tarafından yapılan bir geliştirme güvencesini gerektirir).

IEC 61508 (General Industrial)

IEC 61508, birden çok sektöre karşı fonksiyonel güvenlik için ebeveyn standardıdır. Dört Güvenlik Bütünleme Seviyelerini tanımlar ve genellikle standart geliştirme yaşam döngüsünü takip eden (düşük zamanlayıcılar, kilitlenme çekirdekleri), kanıt testleri aralıkları ve tanınmaları kapsamalıdır. Mikroişlemciler güvenlik PLC'lerde kullanılan, tıbbi cihazlar veya demiryolu sinyali 61508'e uymalıdır, genellikle standart geliştirme yaşam döngüsünü takip ederek (proven-in-use) veya standart geliştirme yaşam döngüsünü takip etmelidir.

Geçerlilik ayrıca bağımsız inceleme ve denetim içerir. Düzenlemeler ve üçüncü taraf certifiers test planlarını, sonuçları ve yönetim süreçlerini inceler. Başarılı geçerlilik, dağıtım için sistem onayı verir, ancak devam eden izleme ve pazarlama gözetimi genellikle saha başarısızlıklarını yakalamak için gereklidir.

Microprocessor Validation'da Meydanlar

Teknoloji ilerledikçe, güvenlik-kritik mikroişlemciler için geçerlilik daha karmaşık hale gelir. Çeşitli acil zorluklar yenilikçi çözümler talep eder:

Büyüyen Kompleksity

Modern mikroişlemciler milyarlarca transistör, birden fazla çekirdek, önbellek, bellek kontrolörleri ve tüm devletlerin tükenmesi imkansız. Tasarım böcekleri (errata) uzun süre devam edebilir. endüstri daha fazla kritik bloklar ve donanım / soğutmaware co-validasyon için doğrulamaya dönüşür.

Zaman-Pazar baskı

Geçerlilik döngüleri son aylar veya yıllar boyunca agresif ürün fırlatmalarıyla çatışmaya devam edebilir. Şirketler, emulation (FPGA tabanlı prototipler) ve bulut tabanlı simülasyon çiftlikleri geçerliliği hızlandırabilir, ancak maliyet ve kaynak sınırlamaları donanımdaki çevik gelişim yöntemlerinin kullanımı ortaya çıkmaktadır, ancak yavaşlama yöntemlerinin çoğu zaman şelalede olduğu gibi katı güvenlik gerekliliklerine karşı koruma sağlar.

Güvenlik Vulner

Güvenlik ve güvenlik giderek artan bir şekilde iç içe geçmiş. Bir güvenlik kullanımı güvenlik mekanizmalarını devretebilir (örneğin, rahatsız edici hata tespiti) veya mikroişlemcinin güvenli olmayan devletlere girmesine izin verir. Geçerlilik şimdi güvenlik testlerini, yan kanal analizlerini ve güvenlik standartlarının onaylanması gerekir.

Heterojen Mimarlıklar

Birçok güvenlik-kahküme sistemleri şimdi heterojen mimarileri GPU'larla, sinir işleme birimleri ve alan-programlanabilir kapı dizileriyle birleştirmektedir.Bu çeşitli bileşenler arasındaki etkileşimleri doğrulayın - güvenli hafıza, senkronizasyon mekanizmaları ve güç yönetimi - yeni başarısızlık modları.

Uzun Yaşamspanları Üzerinde Yeniden Güvenebilir

Güvenlik-kahkü sistemleri genellikle 20-30 yıl boyunca operasyonel yaşam süresine sahiptir (örneğin, uçak, nükleer santraller). Mikroişmanlar yaşlanma etkileri (örneğin, negatif önyargılı sıcaklık istikrarsızlığı) ve radyasyon kaynaklı yaşam testleri ve tahmin edici yumuşak modellemeler kullanılmalıdır, ancak genişletilmiş süreler boyunca güven azalır ve uzaktan güncellemeler ek geçerli zorluklar sunar.

Gelişen Teknikler ve Future Yollar

Geçerlilik peyzajı bu zorluklara ulaşmak için hızla gelişiyor. Birkaç umut verici teknik ve endüstri değişimleri geleceği şekillendiriyor:

Formal Verification at Scale

SAT/SMT çözücüleri ve model kontrolündeki ilerlemeler, daha büyük bloklar için resmi doğrulama pratiklerini yaptı. Intel ve AMD gibi şirketler, eğitim set uygulamaları ve hafıza siparişlerini doğrulamayı doğrulamayı doğrulamaktadır. Güvenlik-kritik sistemler için, resmi doğrulama, kritik kontrol yollarına yüksek güven elde etmek için simülasyon yapabilir.

Makine Öğrenme-Temel Test

Makine öğrenme modelleri, önyargıları veya eksik hataları tanıtmak için zor olan test kalıpları üretebilir ve sertifikasyonda kullanım standartları tarafından dikkatli bir şekilde kabul gerektirir.HIL test nesline, köşe vakalarını geliştirmek için kullanılan modeller. Ancak, ML tabanlı testlerin kendisi önyargıları veya eksik hataların tanıtılması için doğrulanmalıdır ve sertifikasyonda kullanılması standartların kabul edilmesi gerekir.

Open-Kaynak Donanımı ve RISC-V

RISC-V, açık bir öğretim seti mimarisi, doğrulamayı basitleştirebilecek şeffaflık sunar. Doğrulama IP ve RISC-V için resmi modeller açık olarak kullanılabilir, işbirliğine dayalı olarak geçerli olan çabaları sağlar. Ancak, özel uzantıların ve uygulama varyasyonlarının çoğalması her çipin kendi doğrulama araçlarını gerektirir, ancak güvenlik-kritik alanlarda benimsenmesi ve olgunluk gerektirir.

Emulation and Cloud-Based Verification

Büyük ölçekli emulation platformları (örneğin, Palladium, Veloce) yakın zaman simülasyonuna izin veriyor, kaset öncesinde kapsamlı yazılım testlerine ve donanım-yuware entegrasyonuna izin veriyor. Cloud tabanlı doğrulama hizmetleri, bu platformlar önemli ölçüde doğrulama süresini azaltır ve sertifikasyon kanıtları için dikkatli bir şekilde izleme ve izlenebilirlik gerektirir.

AI-Assisted Güvenlik Analizi

Yapay zeka, daha önce bilinmeyen başarısızlık modlarını tespit ederek, AI'nın güvenlik gereksinimini analiz etmek ve kök neden analizi test başarısızlıklarından dolayı analiz etmek için araştırılmıştır.Bu araçlar, daha önce bilinmeyen başarısızlık modlarını tespit ederek kapsamını hızlandırabilir.Anahtarlama süreçleri içindeki AI entegrasyonu, AI hatalarının kesintiye uğramasını engellemeyi gerektirir.

Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç

Mikroişlemci test ve geçerlilik, en yüksek güvenilir güvenlik ilkeleriyle performans gösteren cihazlara temel teşkil etmektedir.İşlevsel güvenlik tehditleri ve uzun operasyonel doğrulama gibi standartların doğrulanması için tasarım hatalarının tutulmasına yönelik olarak, ML tabanlı testler ve açık kaynak mimarileri, insan yaşamının en yüksek güvenilir güvenlik çerçeveleriyle birlikte gerçekleştireceği cihazlara karşı koruma sağlar.En sonunda, amaç önemlidir: her türlü mikro işlemeye yönelik olarak daha kapsamlı bir şekilde yapılanma ve daha akıllı bir şekilde yapılanma yönelik her türlü kanıta dayalı bir sistem olarak, daha kapsamlı bir şekilde uygulanabilir.