Otomotiv Platformu'nun Genişleme Kompleksi

Modern araçlar basit mikro kontrol cihazları tarafından kontrol edilen mekanik sistemlerden gelişmiştir - düşük maliyetli mikro kontrol birimlerinde çalışan bilgisayar platformlarından (ECUs) Yüksek performanslı araçlar artık çok sayıda işletim sistemi için kod tespiti, orta sınıf donanımlar ve uygulama tabakaları.Bu yazılımlar, üst düzey güvenlik noktalarına doğru hareket eden yöntemlere kadar çalışır ve bu sistemlerdeki merkezi olmayan durumlardan uzaklaştırılır.

Heterojen İşleme Domainleri

Tek bir araç mimarisi, düşük çözünürlükteki sinyal işleme için mikro kontrolleri (MCUs) çalıştırabilir AUTOSAR Classic, yüksek performanslı SoCs ile AI inference için gömülü GPUs ile birlikte, ve alan programlanabilir kapı dizileri (FPGA) için, düşük çözünürlükli sinyal işleme için.Her işlem elemanının tüm kameraları, örneğin, yanlış bir sistemle ilgili verileri doğrulayıcı bir şekilde işlemesi gerekir.

Çok-Layered Software Stacks

Otomotiv sistemlerindeki yazılım karmaşıklığı birden fazla soyutlama katmanına sahiptir. Temelde, gerçek zamanlı işletim sistemi (RTOS) veya hipervizör donanım kaynaklarını yönetir ve mekansal ve zamansal izolasyonu uygular.Bu, orta sınıf görevleri gibi algılanmalıdır.[DOSSARD[D) ve Data Dağıtım Servisi (DDS) IP ağlarında belirtilen düşük seviyeli bir şekilde iletişim sağlar.

Eşleştirme ve Dağıtılmış Fonksiyonellik

Araç işlevleri doğal olarak dağıtılır.Tek bir manevra, örneğin, bağımsız bir şerit değişikliği gibi, algı sensörleri, merkezi bir planlama ünitesi, güç yönlendirmeleri ve elektronik stabilite kontrol cihazları ile ilgili olarak, bu bileşenler FD, FlexRay ve otomotiv Ethernet dahil olmak üzere tüm zincir üzerinden iletişim kurar, hatta ağ uyumlu ağ üzerinden farklı hızlama mekanizmalarına sahiptir.

Güvenlik Standartları ve Düzenleme Mandates

Fonksiyonel güvenlik ve siber güvenlik düzenlemeleri, otomotiv gömülü doğrulamanın arka kemiği oluşturur. Standartlar gibi:0)ISO 26262[Dönetici güvenlik ve DAVRAN:2) ISO 21434[DÜye ait olan kanıtlar, güvenlik için gerekli olan kapsamlı gelişim yaşam döngüsü, titiz analiz, tasarım ve doğrulama faaliyetlerine ilişkin uygunluk, opsiyonel olarak belirlenir.

ASIL D Doğrulaması

Sistem, en yüksek Otomotiv Güvenliği Dürüstlüğü Seviye (ASIL D), yönlendirme veya frenleme-tel olarak, en sıkı doğrulama mühendislerini gerektirir.Tek nokta ve geç hata ölçümlerinin, algılanan hataların (örneğin, iletişim bağlantılarında kesintiler) ve sistemin tepkileri, doğrulanmış hataların doğrulanması gerekir.

Coherent Güvenlik Davası

Testlerin ötesinde ISO 26262, bir güvenlik durumundan yaratılmasını gerektirir - sistemin kabul edilebilir bir şekilde güvenli olduğu konusunda yapılandırılmış bir tartışma.Bu argüman, tehlike analizleri, sistem özellikleri, tasarım belgeleri ve doğrulama raporları dahil olmak üzere kanıtlanabilir. Traceability, her güvenlik gereksiniminden ilgili bir test sonucuna kadar muhafaza edilmelidir. Uygulamada, bu izlenebilirliği yüzlerce eserde tutmak önemli bir zorluktur.

Intended Fonksiyonelity (SOTIF)'in güvenliğine hitap etmek

ISO 21448, Intended Fonksiyonelity (SOTIF) güvenliği olarak da bilinir, donanım hatalarının ötesinde, özellikle de makine öğrenmesi veya karmaşık sensör işlemeye güvenen sistemler için geçerlidir. Örneğin, bir yaya algılama sistemi, alışılmadık bir giyim giyme işlemine sahip bir kişi tespit edemez, çünkü eğitim verileri bu senaryoyu kapsamaz.

Donanım-Software Entegrasyon ve Co-Verification

Donanım ve yazılım arasındaki arayüz, ince ve felaket bir böcek kaynağıdır. Bir bilgisayar kaydı yanlış yapılandırma gerektirir, bir sensör okuması veya bir termal throttling olayı, sistem içinde faaliyet gösteren başarısızlıklara yol açabilir. Etkili entegrasyon doğrulama, gerçekçilik yapan bir yaklaşım gerektirir, erken sanal prototiplerden son donanıma kadar, son derece testine kadar, bir bilgisayar testine yol açan bir yaklaşım gerektirir.

MIL, SIL ve HIL Doğrulama Zinciri

Model-in-Loop (MIL) doğrulama, araç ve çevresinin simülasyonu ile gerçekleştirilmesi için doğrulayıcı bir şekilde teste odaklanır.Her adım, kontrol yasalarında yüksek kodlar ortaya çıkarabilir.SIL, SIL, yazılım uygulamaları ile ilgili olarak doğru bir şekilde yapılan hataları ortaya çıkarabilir.

Erken Bütünleşme için Sanal Platformlar

Geliştirme döngüsünde daha önce doğrulama için, OEM ve tedarikçiler giderek sanal platformları benimsemektedirler. Bunlar hafıza kontrolleri, önbellekleme modelleri veya otobüsler ekleyicileri fiziksel silikonlar olmadan önce gerçek zamanlı olarak yeniden yapılandırılabilir. Sanal platformlar, fiziksel donanım ölçümlerine karşı büyük ölçekli otomatik testlere karşı testlere karşı testlere karşı sürekli olarak yardımcı olabilir.The Challenges and the samedly recovery models of memory control.

Interface and Signal Integrity Verification

Donanım-yumuş arabirimler hafızaya kayıt, kesme hatları ve paylaşılan hafıza bölgeleri ile tanımlanır. Yanlış veri yapıları, paylaşılan tamponlar üzerinde yarış koşulları, ve uygun senkronizasyon analizi genellikle sadece belirli donanım ve yazılım etkinlikleri altında yüzeysel analiz araçları ile koordine edilir.Bu yazılımların minimuma saygı göstermesi ve kayıt tutma süresine izin vermek gibi - ek olarak, transkriptli yazılımlar ile birlikte giriş yapabilmeli yazılım algılama sistemleri ile ilgili sinyal doğrulaması gerekir.

Ensuring Deterministic Real-Time Davranış

Güvenlik-kahkalama işlevleri, genellikle mikrosaniyelerde ölçülmektedir. Bir fren müdahale emri için kaçırılma süresi bir güvenlik ihlalidir.Sistemin tüm zamanlama kısıtlamaları en kötü durumdaki koşullardan biri olduğunu belirtmek, çokcore işlemcilere yönelik trendin paylaşılan kaynaklar nedeniyle zaman çizelgesini daha da zorlamaktadır.

En Kötü-Case Execution Time (WCET)

Derin boru hatlarıyla modern işlemciler, şube tahminleri ve paylaşılan önbellekler, mikroarayıcı modeline karşı son derece zor hale getirirler, ancak genellikle normal zaman analiz dinamikleri kullanarak doğrulanan hesaplamalara ihtiyaç duyarlar.

Zaman ve Uzay Katılımcılık

Farklı kritiklerin aynı donanıma olan işlevleri birleştiren bütünleşik mimariler sağlam bölmeye güvenir. hipervizör veya işletim sistemi, bir non-kritik görevin gecikme veya yozlaşmış bir güvenlik-kritik görevi ortadan kaldırmasını sağlar.Deneynlemenin birleştirilmesi, paylaşılan kaynakları göstermektir - notory, CPU zamanı, önbellek ve otobüs bant genişliğini doğru bir şekilde kontrol etmek için gerekli olan donanıma sahiptir.

Formal Timing Verification

Zamanlı özleme ve model kontrolü gibi formasyon yöntemleri, gerçek zamanlı doğrulama için giderek daha fazla uygulanır.Anahtarlık gibi araçlar:0)Üyetim[Döneticileri, görev aktivasyon modelleri, kaynak paylaşımı ve iletişim latencies. Model, o zaman tüm olası yürütme yollarını doğrulamayı gerektirir.Bu uygulamadaki herhangi bir düzeltmeye rağmen, temel zorluk, önemli ayrıntıları başarıyla basitleştirmek için sistem davranışının sadık modellerini inşa eder.

Connected Tools için Cybersecurity Verification for Connected Tools

Araç-to-her şey (V2X) iletişimi, aşırı hava durumu (OTA) güncellemeler ve bulut tabanlı hizmetler, modern araçların saldırı yüzeyini dramatik bir şekilde genişletmiştir. Cybersecurity doğrulama şimdi ISO 21434 ve UN Regulation R155 gibi standartlar tarafından yönlendirilen zorunlu bir etkinliktir. Güvenlik hataları doğrudan işlevsel güvenlikleri etkileyebilir, her iki alana da uygun şekilde doğrulamak için gerekli hale getirir.

Tehdit modelleme ve Risk Değerlendirme

Doğrulama sistematik bir tehdit analizi ve risk değerlendirme ile başlar (TARA). Bu işlem, güvenlik mekanizmalarının yalnızca işlevsel testlerini değil, aynı zamanda giriş kontrolleri ile ilgili olarak, güvenli bir şekilde giriş, kesintiye uğrama ve güvenlik kontrol kanallarının doğru bir şekilde uygulanması gerektiğini doğrulayın.For example, the reliable testing of security functionality using the specific requirements.For example, and side-road analysis.For example, and correct communication.For example, and verifying the safe the safe boot chain requires each next component in the reliable testing of security functionality by the password testing, the same way by the sameprint to the correct learning.

Donanım Güvenlik Modül Co-Verification

Birçok otomotiv sistemi, kriptografik anahtarları yönetmek ve güvenli hizmetler sunmak için bir donanım güvenlik modülüne (HSM) güveniyor. Co-verification, anahtarların HSM sınırı dışında asla maruz kalmamasını sağlamalıdır, kriptografik işlemleri doğru şekilde yapılır ve HSM arayüzüne uygun şekilde cevap verir ve HSM'nin doğru şekilde işlenmesini gerektirir.Bu nedenle HSM'nin anahtarlama işlemi doğru şekilde tasarlanabilir.

Yaşam döngüsü Güvenlik Geçerliliği

Fonksiyonel güvenlikten farklı olarak, siber güvenlik statik bir özellik değildir. Yeni güvenlik açıklarını sürekli olarak keşfediyor ve araç, tüm yaşam boyunca güvence altına alınması gerektiği anlamına gelir.Bu, doğrulamanın bir tek zamanlı etkinlik değildir.Her OTA güncelleştirme, yeni güvenlik veya güvenlik mekanizmalarının ortaya çıkmasını sağlamak için doğrulanabilir.Bu, güvenlik kontrolleri ve geri yükleme işlemlerinin her zaman güvenlileştirilmesi ve olayda güvenli bir şekilde yeniden işlem için yapılanması gerekir.

Cross-Cutting Verification Challenges

Alana özgü zorluklar ötesinde, birkaç çapraz kesim sorunu, otomotiv gömülü doğrulamanın tüm yönlerini etkiler. Bu zorluklar mühendislik disiplinleri ve organizasyon sınırlarını kapsayan bütün stratejileri gerektirir.

Tool Yeterlilik ve Güven

Doğrulama araçları kendileri hataları tanıtabilir. Bir derleyici bug, bir ihlali kaçıran statik analiz aracı veya bir HIL testi, bir sinyalin tüm sistem doğrulmasını yanlış sonuçlara yol açabilir. ISO 26262, araçların potansiyel etkisi ile sınıflandırılmasını gerektirir (Tool Confidence Level) ve TCL1 olarak sınıflandırılmasını gerektiren araçlar daha yüksek ASFL seviyelerini doğrulama araçları için yeterlilik gerektirir.

Karma-Criticality System Interference

Paylaşılan donanım üzerindeki farklı kritik işlevlerin bütünleştirilmesi, müdahale riskini ortaya koyar. Yoğun olmayan bir işlev, yüksek hafıza genişliğini oluşturmak, mekansal bölme için güvenlik-kampiyonunu kaçırmak veya bus içerikli sistemlerdeki müdahaleyi kaçırmak için sonsuzluğun sağlanmasına neden olabilir. Doğrulama, analiz ve testlerin bir kombinasyonunun yanı sıra, bu müdahalenin teşvik edici güvenlik garantilerini içerir.

AI ve Machine Learning'in Doğrulaması

Alg ve karar verme için derin sinir ağları artan kullanımı temel bir doğrulama meydan okumasını sunar. Geleneksel gereksinimlere dayalı doğrulama modelleri öğrenmek için iyi değildir. Bunun yerine, mühendisler büyük senaryo veri tabanına, kapsama alanı testlerine ve sağlamlık ölçümlerine güvenirler. Doğrulama, veri kümesi önyargısı, olumsuzluklar gibi sorunlar ele almalıdır.Sallal giriş koşulları.SOTIF, algılama performansının istatistiksel olarak geçerliliğini kontrol eder, ancak açık bir şekilde işleyen bir çalışma ortamı için yeterince güvenli bir performans seviyesini tanımlamaktır.

Tedarik Zinciri ve Mirası Bütünleşme

Modern araçlar, yüzlerce tedarikçiden bileşenleri entegre eder. Doğrulama sorumluluğu tedarik zincirinde parçalanır, açık sözleşme tanımlarını doğrulama faaliyetleri ve arayüzleri gerektirir.Integra testleri genellikle zamanlaması, veri biçimleri veya hata işleme işlemleri hakkında yanlış varsayımlar ortaya koyar.Reification responsibility is partitioned across the product.Ins security debts for older components may be processed or old components can be processed.

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

Otomotiv alanında gömülü sistemler, çeşitli teknik ve procedural metodolojileri entegre eden bir disiplin yaklaşımı talep eder. Zorluklar, güvenlik ve güvenlik düzenlemeleri ve AI tabanlı işlevlerin ortaya çıkan sınırları gerektirir.Bu tür güvenli bir şekilde test, ve sürekli yaşam boyu süren bir güvenlik değişikliği, güvenlik koşulları ile daha iyi bir şekilde yapılandırılabilir.