Güvenlik-kritik sistemler için egemen, deterministik yazılım altyapısı
LL BERK; savunma, uzay, telekom, medikal, otomotiv ve robotikte bugün kullanılan yabancı ara katmanı, sertifikasyon kanıtı üretmek üzere tasarlanmış bir yerliyle değiştirmek için kurulmuş bir teknoloji şirketidir. Aynı girdi, her makinede, her zaman bit-aynı sonuç.
Dilden dijital ikize: beş katmanlı egemen yığın
Her katman bağımsız değer üretir; birlikte, güvenlik-kritik bir sistemin ihtiyaç duyduğu tüm yazılım altyapısını oluştururlar.
BERK Dili
Türkçe/İngilizce çift dilli, sertifikasyon-hedefli deterministik sistem programlama dili. Panik yok, WCET sınırlı, makineyle denetlenen determinizm.
İncele →BERK DDS
Saf-Rust DDS/RTPS ağ yığını — CycloneDDS ve Fast-DDS ile tel-uyumlu. QoS olaylarını alan güvenlik matematiğiyle tek kararda birleştirir.
İncele →Berk Digital Twin
Deterministik fizik + açıklanabilir karar çekirdeği. Her platformda bit-aynı state_hash; replay, rollback ve denetlenebilir otonomi.
İncele →BERK-RTOS
Yerli ve millî gerçek-zamanlı işletim sistemi. "Tek çekirdek — altı persona": savunmadan medikale sektör profilli tek RTOS.
İncele →Hard RT Core
EAL7-hedefli deterministik yürütme motoru: TLA+ modeli TLC ile denetlenmiş eşzamanlılık tasarımı, HSM entegrasyonu ve değiştirilemez karar günlüğü (DJR).
İncele →Tek vizyon, beş katman
Dilden işletim sistemine, ağ yığınından dijital ikize — tamamı aynı ilkeyle inşa edildi: kanıtlanabilir determinizm.
Teknolojiyi keşfet →Dağınık kontroller yerine tek, kanıtlanabilir karar
Tel-uyumluluk
DDS yığınımız Eclipse CycloneDDS ve eProsima Fast-DDS (başlıca ROS 2 RMW'leri) ile tel-uyumludur — mevcut ROS 2 / DDS sistemlerine düşük-riskli, düşük-maliyetli geçiş.
Güvenlik matematiği ⊕ QoS
QoS canlılık, son-tarih ve güvenilirlik olayları; ayrım mesafesi, ASIL, FDIR ve risk matematiğiyle tek bir öncelikli güvenlik kararında birleşir: durdurma kategorisi, güvenli-mod, tırmanma.
BERK↔Rust denklik kapısı
Sahaya giden .berk kaynağı, Rust aynasına karşı 10 alanda makineyle doğrulanır (diferansiyel test). Kaynak-ayna denkliği CI'da her koşuda uygulanan bir invarianttır.
Kanıt üretmek için tasarlandı
Determinizm, saflık, WCET sınırları, yığın-yok ve panik-yok makineyle denetlenen özelliklerdir; hata yönetimi panik değil, izlenebilir sözleşme temellidir. Güven tabanı ölçülmüştür: 1.689 yerleşik, 1.689 sözleşmeli, FFI kaydı 515 (10 Kasım 2026). DO-178C, ISO 26262 ve IEC 62304 hedefli; resmî nitelendirme henüz yok.
Kendi dilinde okunabilir,
makinece kanıtlanabilir
Gerçek çift dilli (Türkçe/İngilizce) sözdizimi: anahtar kelimeler lexer'da birinci sınıftır ve tek kanonik AST'ye iner. Determinizm bir konvansiyon değil, bildirilen ve makineyle denetlenen bir etkidir.
- ✓16 etki, makineyle denetlenir — saf, deterministik, sınırlı/WCET, tahsis_yok, panik_yok, sabit_zaman…
- ✓Sözleşme, monad değil — sabit-argüman ihlali derleme hatası; çalışma-anında panik değil, izlenebilir tuzak
- ✓1.0.0 GA — çekirdek sözdizimi donduruldu, geriye-uyumluluk sözleşmesi altında
- ✓78 imzalı genel paket — packages.berk-systems.com üzerinden bpm ile; ayrıca 12 lisanslı sektör paketi (SHA256 + ed25519 imzalı)
// aynı program, iki dilde fonksiyon ana() -> sayı yap // TR yazdır("Merhaba") son function main() -> int do // EN print("Hello") end // etkiler fonksiyonun önünde bildirilir saf fonksiyon topla(v: liste) -> sayı yap döndür indirge(v) // bit-birebir son // tek API — Cortex-M, RISC-V, ESP32… 18 MCU ailesi, aynı kod kullan embedded::bal::gpio gpio_yaz(PA5, YÜKSEK)
İddia değil, ölçüm
Beş ürünün her biri kendi ölçümüyle — değerler ilgili ürünün deposundaki gerçek koşulardan alınmıştır; tahminî değildir.
Kritik olan her yerde
Aynı deterministik çekirdek; karar güvenliği, operasyonel optimizasyon ve sim-to-real doğrulamayı tek yerden sağlar.