Otomotiv Gömülü Sistemler için Vhdl: Güvenlik ve Güvenilirlik

Giriş Giriş Giriş

VHDL (VHSIC Hardware Description Language) bir IEEE standart dilidir (IEEE 1076), araçların dijital elektronik sistemlerin yapısını ve davranışını tanımlamak için kullanılır. ABD Savunma ve #8217; VHSIC programı, VHDL, modern dijital tasarım temeline sahiptir.

Otomotiv gömülü sistemleri bugün elektronik stabilite kontrolü, adaptif bir seyir kontrolü, şerit tutma yardımı ve gelişmiş hava çanta dağıtım mantığı gibi kritik işlevleri yönetmektedir.Bu sistemlerdeki herhangi bir başarısızlık, mühendislerin dijital mantıkla ilgili temel modelleri oluşturmasını sağlar, onları fiziksel donanıma taahhüt etmeden önce geniş bir hatayla ilişkilendirir.Bu makale VHDL'nin güvenli ve güvenilir otomotiv gömülü sistemleri inşa etmeye nasıl katkıda bulunduğunu araştırıyor, belirli güvenlik göz önünde bulundurmalarını, belirli güvenlik göz önünde bulundurun.

VHDL'nin Otomotiv Gömülü Sistemlerdeki Rolü

Modern araçlar, CAN, LIN, FlexRay ve Ethernet gibi ağlarla iletişim kuran onlarca elektronik kontrol ünitesi içeriyor. Bu ECUs, uygulama özel entegre devrelerde uygulanan karmaşık dijital mantıkla inşa edilir (ASICs) veya alan programlanabilir kapı dizileri (FPGAs). VHDL bu cihazların dijital porsiyonlarını tasarlamak için seçim dilidir, çünkü bu cihazların soyut modelleme, detaylı zaman simülasyonu ve gerçek donanıma sentez ile yapılır.

Eleştirel Otomotiv Kontrol Sistemleri

VHDL, geniş bir otomotiv alt sistemleri için dijital mantığı tasarlamak için kullanılır:

VHDL ile tasarım akışı

Otomotiv sistemleri için tipik VHDL tabanlı tasarım akışı bu aşamaları takip eder:

  1. [FONT:0)Specification:[Dönlendirme:[Dönlendirme:[Dönlendirme:[Dönlendirme:[Dönlendirme:[Dönlendirme:[Dönlendirme:[Dönlendirme:[Dönlendirme:[Dönlendirme:) Gereksinimler yakalanır, genellikle ISO 26262 güvenlik hedefleri ile bağlantılıdır.
  2. [FONT:0]RTL tasarımı: [Döneticiler, VHDL kodunu kayıt-transfer seviyesinde (RTL) yazılı davranışı tanımlamak için yazmaktadır.
  3. [FONT:0)Simulation:[Dönetici ve zamanlama simülasyonları, hata enjeksiyon senaryoları dahil gerçek dünya girişlerine karşı doğru doğrulayıcıları doğrulamaktadır.
  4. [FONT:0]Formal doğrulama:[Dönetici teknikleri tasarımda güvenlik özelliklerini (örneğin, & #8220; hava çantası sabit ve #8221 olduğunda dağıtmayacaktır).
  5. [FONT:0]Synthesis: [Dönetici: [Dönetici: 0,0] VHDL kodu ASIC veya FPGA teknolojisi için hedef alan bir kapı düzeyinde net liste haline getirilir.
  6. [FONT:0)Post-synthesis simülasyonu ve zamanlama analizi:[Dönetici:0) Fiziksel uygulama en kötü koşullar altında zaman sınırlamaları ile karşılamaktadır.
  7. [FONT:0)Prototyping ve geçerlilik: Tasarım FPGA tabanlı emülatörler veya silikonda test edilir.

VHDL ’ güçlü tipleme, koncurrency modeli ve hierarchical tasarım için destek, özellikle birden fazla takım sorunsuz bir şekilde entegre edilmesi gereken otomotiv projeleri için uygun hale getiriyor. Ayrıca, dil & #8217; standartlaştırma farklı EDA araçlarına taşınabilirliği sağlar ve birçok yarı iletken ortakla çalışan otomotiv tedarikçileri için önemli bir avantaj sağlar.

VHDL Design'da Güvenlik Tahminleri

Otomotiv elektroniklerinde güvenlik ISO 26262 standardı tarafından yönlendirilir, bu da Otomotiv Güvenliği Bütünleme Seviyelerini (ASIL) A ile ASIL D'nin en sıkı olduğu. VHDL doğrudan birkaç mekanizmayla güvenlik-kırık donanım gelişimini destekler.

Formal Verification

Geleneksel simülasyon, sadece mümkün olan tüm giriş kombinasyonlarının küçük bir kısmını kullanabilir. Formal doğrulama, bir VHDL tasarımının, ASIL D sertifikasyonu için gerekli olan kapsamayı gerektirdiğini veya bir devlet makinesinin asla bir geçersiz olmadığını kanıtlamaktadır.

Hatalı Hoşgörü ve Red dışı

Otomotiv sistemlerinde güvenlik elde etmek için ortak bir yaklaşım, iki modül ve bir komperatör kullanır; herhangi bir yanlış eşleştirme güvenli bir devlet geçişi tetikler. VHDL’ aynı modüller aynı hesaplamayı uygular ve bir oylama mantığını tekrarlayıcı olmadan değiştirir. Benzer şekilde, karşılaştırma (DWC) iki modül ve bir hesaplamayı kullanır; fiziksel tasarımda yanlış bir şekilde gerçekleştirilir.

Hata Tespiti ve Düzeltme

Hafıza elemanları (pişmanlık, SRAM, kayıt dosyaları) tek yönlü sinir bozucu (SEUs) tarafından VHDL veya VHDL'de bulunan hata düzeltme kodları (ECC) içerir ve böylece Hamming kodları veya CRC'de veri bütünlüğü için tanımlanmıştır. Güvenlik-kritik yollar için, mühendisler hafıza ve döngüsel kırmızı kontrolleri (CRC) VHDL'de (CRC) uygularlar.

Watchdog Timers ve Güvenli Devlet Makinaları

Bir saatdog zamanılayıcı basit ama etkili bir güvenlik mekanizmasıdır: bir karşı, ana mantık tarafından düzenli olarak sıfırlanmalıdır; eğer zamanlar, bir hata varsayılır ve sistem kritik bir başarısızlık ilanından önce her zaman tetiklenebilir. VHDL modellemek için zamanlayıcılar ve güvenli devlet makinesi, eylemleri devre dışı bırakmak için tasarlanabilir, bir limp-home modunda veya kapatılmış bir şekilde. Formal doğrulama her zaman güvenli bir duruma girebilir.

Toplantı ASIL Gereksinimleri

ASIL D uyumluluğu elde etmek için, VHDL tasarım süreci dahil edilmelidir:

VHDL ’ jenerikler ve konfigürasyonlar için destek, takımların güvenlik mekanizmalarını parametrelendirmelerine izin verir (örneğin, kırmızı modüller, ECC gücü) ve aynı kodu bir ürün ailesindeki farklı ASIL seviyelerini yeniden kullanın.

Güvenilirlik Challenges ve Çözümleri

Güvenlik ötesinde, otomotiv sistemleri sert koşullar altında 15+ yıldan fazla bir şekilde çalışmalıdır: -40°C'den +150°C, aşırı titreşim, nem ve elektromanyetik müdahale (EMI) VHDL, bu güvenilirlik zorluklarını kapsamlı modelleme ve simülasyon yoluyla azaltmaya yardımcı olur.

Elektromanyetik Müdahale (EMI)

Yüksek hızlı dijital geçiş, yakın hassas devreleri rahatsız edebilecek ve yayılabilir emisyonlar üretmektedir. VHDL, geri ayarlanan parasitik verilerle yeniden ayarlanabilir, güç tedarik gürültü ve haçlı mühendislerin zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman değiştirme, Vagon'u geri yükleme veya ekleme gecikme hücreleri ekleyebilir.

Sıcaklık ve Gerekleri

Sıcaklık ve tedarik gerilimi ile yarı iletken gecikme değişiklikleri. VHDL’ zamanlama simülasyonu, dinamik gerilim ölçeklendirme kontrolörleri veya sıcaklık değiştiricileri gibi birçok PVT (işlem, gerilim, sıcaklık) köşelerinde çalıştırılabilir ve zamanları tüm koşullarda karşılanır.For task-kritik yollar için mühendisler VHDL'de adaptif bir zamanlama devreleri tasarlayabilirler.

Ağlamak ve Giymek Mechanisms

Zamanla, elektromigration, hot-carrier enjeksiyonu ve negatif önyargı sıcaklık istikrarsızlığı (NBTI) degrad transistör performansı tahmin etmek için yaşlanma etkilerini dahil edebilir. VHDL davranışsal modeller, gecikmeleri ve sızıntı parametrelerini ayarlayarak, ancak bu hala aktif bir araştırma alanı olsa da, bazı EDA araçları VHDL testbenches kullanan bir tasarım ve#8217; ömür boyu güvenilirlik.

Tek- Event Effects (SEE)

Güvenlik altında tartışılan olarak, SEUs, özellikle de yüksek irtifalarda veya yakın nükleer kaynaklarda güvenilirlik endişesidir. VHDL, otomotiv için tasarım sertleştirilmiş diskler (örneğin, DICE latches) veya FPGA'larda yapılandırma belleği için ovma mantığını içermelidir.

Testability (DFT) için tasarım

Güvenilirlik, üretilen cihazı test etme yeteneği olmadan emin olamaz. VHDL, tarama zincirlerini, sınır tarama (JTAG), ve otomotiv ASIC'lerde standart bileşenleridir.

Otomotiv Uygulamalarında VHDL için En İyi Uygulamalar

En iyi uygulamaları, ISO 26262 ve MISRA C yönergeleri gibi endüstri standartlarına uygun olarak uygun olan VHDL tasarımları için sağlam, uygulanabilir VHDL tasarımları için gereklidir.

Standartlar ve Tasarım Kılavuzları

Consistent kodlama stili insan hatası ve kolay kod değerlendirmelerini azaltır. içeren bir VHDL stili kılavuzunu benimseme veya oluşturun:

Birçok kuruluş Aldec VHDL Coding Standard veya theETHFLT:0)MISRA yönergeleri) güvenlik-kritik yazılım için, onları donanım açıklaması dillerine uzatın ve tasarım niyetinin resmi belgelenmesini yasaklayın.

Simülasyon ve Testbenches

Simülasyon, işlevsel doğruluğu doğrulamak için birincil yöntemdir. Otomotiv VHDL projeleri için:

Formal Verification

Formal doğrulama ASIL D sistemleri için giderek daha fazla gereklidir. En iyi uygulamalar şunları içerir:

Reddanış Teknikleri

VHDL'de kırmızı yedek sistemleri tasarlarken, bu yönergeleri takip edin:

Dokümantasyon ve Traceability

Sertifika, VHDL koduna ve doğrulama sonuçlarına göre sistem düzeyindeki gereksinimlerin tam olarak izlenebilirliği gerektirir.En iyi uygulamalar şunları içerir:

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

VHDL, otomotiv endüstrisinde dijital donanım tasarlamak için temel bir dil olarak kalır. Karmaşık mantık modelleme yeteneği, aşırı koşullar ve resmi doğrulama, güvenlikle buluşmak için gerekli hale getirir (ISO 26262) ve güvenilir modern araçların talepleri ile kapsamlı bir simülasyonu, enjeksiyon, resmi doğrulama ve sistematik redcy ile birlikte, mühendisler bir araba ömrünü doğru bir şekilde çalışan dijital sistemler oluşturabilirler.

VHDL'nin otomotivdeki geleceği umut verici görünüyor: IEEE 1076-2019 standart, genel olarak paketler ve dış isimler için daha da verimli hale gelir. Aynı zamanda, zonal mimarilere ve merkezileştirilmiş hesaplama platformlarına doğru itmek (bölge kontrolleri, otonom sürüş bilgisayarlar) daha sofistike VHDL tasarımları, yüksek hızlı bağlantılar, güvenlik motorları ve güvenlik monitörleri için daha verimli hale getirecek.Bu VHDL tekniklerini usta mühendisler, güvenli ve merkezileştirilmiş hesaplama araçlarına doğru yola çıkarak iyi bir şekilde konumlandırılacaklar.

Daha fazla okuma için, ESRAT:0)ISO 26262 standart[Dönetici güvenlik ve hijyen seviyesi için otomotiv endüstrisini daha yüksek seviyelere taşıyacaktır.