LL BERK — egemen yazılım için kurulduk
"LL" = Low Level. Güvenlik-kritik sistemlerdeki yabancı ara katmanı, egemen ve sertifikasyon kanıtı üretmek üzere tasarlanmış bir yerliyle değiştirmek için çalışan bir teknoloji şirketiyiz.
Bir dil ihtiyacıyla başladı, bir yığına dönüştü
Her şey sağlam, güçlü ve mahir bir yapı ihtiyacıyla başladı. Güvenlik-kritik bir sistemde yazılımın "çoğunlukla doğru" olması yetmez; aynı girdiye her zaman, her makinede aynı cevabı vermesi gerekir. Bu ihtiyacı bir çerçeveyle değil, kökten çözmeyi seçtik: determinizmin sonradan test edilen bir özellik değil, dilin kendisinde bildirilen ve makineyle denetlenen bir sözleşme olduğu bir sistem programlama dili — BERK. Türkçe ve İngilizce çift dilli sözdizimiyle, mühendisin ana dilinde okunabilir ve makinece kanıtlanabilir olmayı aynı anda hedefledik.
Dil olgunlaştıkça determinizmin taşıyıcıya ihtiyacı olduğu netleşti: kanıtlanabilir bir programın, kanıtlanabilir bir zeminde koşması gerekiyordu. Proje önce sert gerçek-zamanlı bir motorla çeşitlendi — model denetiminden geçirilmiş Hard RT Core ve onun üzerinde, CycloneDDS ve Fast-DDS ile tel-uyumlu saf-Rust DDS/RTPS ağ yığını. Böylece "deterministik yazılım" iddiası, dilden ağa kadar kesintisiz tek bir kanıt zincirine oturdu.
Süreç aynı mantıkla devam etti: aynı çekirdekten gerçek-zamanlı işletim katmanı (BERK-RTOS) ve bit-aynı çalışan deterministik dijital ikiz (Berk DT) doğdu; on kritik sektörün güvenlik matematiği tek yığının üzerine işlendi. Bugün beş ürün, tek bir fikrin katmanları: kanıtlayamayacağın yazılıma güvenme.
Misyon
Güvenlik-kritik sistemlerdeki yabancı ara katmanı; dilden ağa, işletim katmanından dijital ikize kadar egemen, deterministik ve kanıt üreten bir yerli yığınla değiştirmek.
Vizyon
Kritik altyapısını kendi yazılımıyla kanıtlayan bir Türkiye; "çalışıyor gibi görünen" değil, çalıştığı kanıtlanan sistemlerin dünya standardını buradan yazması.
Lider siz olun; teknoloji skoru bizden
BERK yatay bir etkinleştiricidir (ara katman), tek başına bir ürün değil. HİT-30 başvurusunda lider başvuran, öncelikli bir alanda ürün/sistem geliştiren yerli firma olur; LL BERK teknoloji/yazılım ortağı olarak başvurunun yerlilik ve teknoloji-olgunluk skorunu yükseltir.
Ortak Ar-Ge
Alanınıza özgü güvenlik matematiği ve deterministik modüllerin birlikte geliştirilmesi.
Pilot entegrasyon
Mevcut ROS 2 / DDS mimarinize düşük-riskli, kademeli pilot geçiş.
Lisanslama
Çekirdek teknolojinin ürününüze ticari lisansla entegrasyonu.
Alt-yüklenicilik
Kritik yazılım bileşenlerinin geliştirme sorumluluğunun üstlenilmesi.
Canlı, tarayıcı-tabanlı kanıt
BERK — Deterministik Dijital İkiz: deterministik yürütme ve DDS veri düzlemini gösteren canlı örnek uygulama. 12 demoluk galeri, hash mutabakatı ve CPU ≡ GPU ≡ tarayıcı gösterimi.