Emniyet kritik donanım için kanıt, tasarladığınız araçlardan.
DO-254 kapsamındaki havacılık donanımı ve ISO 26262 kapsamındaki otomotiv elektroniği, çalışan RTL'den fazlasını ister: denetlendiğinin, ölçüldüğünün ve gereksinimlerine kadar izlendiğinin kanıtını. Lumina bugün lint, saat ve reset alanı analizi, formal kanıtlar ve kapsamı tek bir tasarım modeli üzerinde sunar. İki standart için destek planlanıyor; Lumina bugün ikisinde de kalifiye değildir.
- DO-254
- havacılık donanımı · planlanıyor
- ISO 26262
- karayolu taşıtları · planlanıyor
- Formal · CDC
- bugün mevcut
- Tekrar üretilebilir
- bayt bayt aynı raporlar
Bugün neler var, neler geliyor
Yalnızca test değil, kanıt
Lumina Formal assertion'ları her girdi dizisi için kanıtlar; her karşı örnek simülasyonla doğrulanır.
Saat ve reset alanları
Geçişler ve reset alanları yapısal olarak analiz edilir; kısıt dosyaları RTL'e göre denetlenir.
Tekrar üretilebilir sonuçlar
Aynı girdi, makine ya da iş parçacığı sayısı ne olursa olsun bayt bayt aynı raporu verir; muafiyetler gerekçeleriyle birlikte saklanır.
Yapısal kapsam
Deyim, dal ve toggle kapsamı, regresyonun tüm koşuları boyunca birleştirilir.
Bir emniyet kural paketi
Donanımın ne olduğuna ve ne yaptığına dair her kural açık; yapı, saat, reset, CDC, RDC, durum makinesi ve sentez bulguları hataya yükseltilir ve her biri ya düzeltilir ya da yazılı bir gerekçeyle muaf tutulur.
İfade kapsamı
Her karardaki her terimin sonucu tek başına değiştirdiğinin gösterilmesi; emniyet incelemelerinin istediği MC/DC benzeri ölçüt.
Gereksinim izlenebilirliği
Her test doğruladığı gereksinime bağlanır ve her koşu saklanır; bir sürümün kararı kanıta dayanır.
Araç kalifikasyonu desteği
Lumina'nın DO-254 projelerinde kullanımı için kalifikasyon verisi ve ISO 26262-8'in bir yazılım aracına güven için istediği kanıtlar.
Lumina bir emniyet akışında nereye oturur
- Uygulanan kodlama standartlarıMevcut
Lint kural paketleri ve özel kurallar
- Emniyet odaklı kural setiPlanlanıyor
builtin:safety kural paketi
- Saat ve reset alanı analiziMevcut
Lumina CDC
- Özellik doğrulamasıMevcut
Lumina Formal
- Deyim, dal ve toggle kapsamıMevcut
Kapsam analizi
- Koşul ve ifade kapsamıPlanlanıyor
Kapsam analizi
- Gereksinim tabanlı izlenebilirlikPlanlanıyor
İzlenebilir test sonuçları
- DO-254 araç kalifikasyonuPlanlanıyor
Kalifikasyon verisi
- ISO 26262-8 araç güveniPlanlanıyor
Araç sınıflandırması ve kalifikasyon kanıtları
Sık sorulan sorular
Lumina DO-254 ya da ISO 26262 için kalifiye mi?
Henüz değil. İkisi için de destek planlanıyor. Bir havacılık ya da otomotiv programında çalışıyorsanız, akışınızın hangi kanıtlara ihtiyaç duyduğunu duymak isteriz.
DO-254 nedir?
RTCA DO-254 (EUROCAE ED-80), FPGA'lar ve ASIC'ler dahil havacılık elektronik donanımı için tasarım güvencesi rehberidir; FAA ve EASA gibi otoritelerle yürütülen sertifikasyonda kullanılır.
ISO 26262 nedir?
Karayolu taşıtlarındaki elektrik ve elektronik sistemler için fonksiyonel güvenlik standardıdır. 8. bölüm kullanılan yazılım araçlarına duyulan güveni ele alır, 11. bölüm de yarı iletkenler için rehberlik sunar.
Lumina bugün bir emniyet projesinde kullanılabilir mi?
Lint, CDC, formal ve kapsam sonuçları bugün kendi doğrulama sürecinizi destekleyebilir. Standartların istediği araç kalifikasyonu kanıtları planlanıyor.
Kendi tasarımınızı Lumina'da ilk siz çalıştırın.
Lansmandan önce küçük bir grup tasarım ekibiyle çalışıyoruz. Siz gerçek tasarımlarınızı çalıştırırsınız, bulduğunuz sorunları biz düzeltiriz; test senaryolarınız da her derlemenin geçmesi gereken testlerin parçası olur.