AxonOS هو نظام تشغيل عصبي ذو زمن حقيقي صارم لواجهات الدماغ والحاسوب. نواة مفتوحة المصدر مكتوبة بلغة #![no_std] Rust. اضطراب زمني أقل من ميلي ثانية على معالجات ARM Cortex-M التجارية. حدود عليا لزمن الاستجابة في أسوأ الحالات (WCRT) مُتحقق منها رسمياً. خصوصية بنيوية لا يمكن لطبقة التطبيق تجاوزها.
تم بناؤه من أجل المرضى الذين يعتمدون على واجهات مساعدة ذات حلقة مغلقة، ومن أجل المهندسين الذين يرفضون شحنها بجدولة "أفضل جهد ممكن".
اليوم، يجب على كل تطبيق لواجهة الدماغ والحاسوب أن يعيد تحليل تنسيق ثنائي خاص لكل جهاز، وأن يعيد تنفيذ آلية بوابات الصلاحيات، وأن يعيد كتابة الشيفرة التكاملية لكل منصة عتاد جديدة.
يقوم AxonOS بهذه المهام الثلاث مرة واحدة، بلغة no_std Rust الآمنة، فوق نواة مصغرة محدودة رسمياً. أساس واحد قابل للتحقق. سطح واجهة برمجية واحد بأنواع محددة. واجهات خلفية عتادية متعددة.
| الالتزام | ماذا يعني في الممارسة | |
|---|---|---|
| 🦀 | زمن حقيقي صارم على عتاد تجاري | Rust #![no_std] على ARMv8-M. لا جامع قمامة، لا مُخصِّص ذاكرة في المسار الحرج، لا حالات panic غير محدودة. |
| 📐 | WCRT محدود رسمياً | كل عملية في المسار الحرج لها حد أعلى مُتحقَّق منه بواسطة Kani. زمن الاستجابة مُبرهَن وليس مُقاساً. |
| 🔒 | خصوصية بنيوية | الصلاحيات التي قد تكشف الحالة المعرفية الخام (RawEEG، EmotionState، CognitiveProfile) غير موجودة كأنواع. |
| 🌐 | منظومة مفتوحة | Apache-2.0 أو MIT للشيفرة، CC-BY-SA-4.0 للمواصفات. جميع المستودعات عامة. يمكن لأي شخص تدقيق أو نسخ أو استبدال أي طبقة. |
ستون ثانية من الاستنساخ إلى أول ملاحظة نية.
git clone https://github.com/AxonOS-org/axonos-sdk
cd axonos-sdk
cargo test --features stduse axonos_sdk::{Capability, IntentStream, Manifest};
let manifest = Manifest::builder()
.app_id("com.example.cursor")?
.capability(Capability::Navigation)
.max_rate_hz(50)
.build()?;
let mut stream = IntentStream::connect(&manifest)?;
while let Some(obs) = stream.try_next()? {
println!("{:?} @ {} µs ({}%)",
obs.kind(),
obs.timestamp().as_micros(),
obs.confidence_percent());
}SDK هو الربط المرجعي بلغة Rust. روابط C FFI و Python و WebAssembly و JNI و Swift مذكورة في خارطة الطريق المنشورة.
جميع المستودعات الستة عامة. الشيفرة المصدرية تحت Apache-2.0 OR MIT. المواصفات تحت CC-BY-SA-4.0.
| المستودع | الغرض | اللغة | الأحدث | |
|---|---|---|---|---|
| ⬢ | AxonOS-kernel | نواة مصغرة ذات زمن حقيقي صارم — 8 صناديق، WCRT محدود رسمياً، 28 أداة تحقق Kani | Rust | v0.3.0 |
| ⬢ | axonos-sdk | حدود التطبيق — نوايا مُنوَّعة، بيانات الصلاحيات، ABI النواة v1 | Rust | v0.3.5 |
| ⬢ | axonos-consent | إنفاذ الموافقة على مستوى البروتوكول لاقتران الشبكة المعرفية (MMP) | Rust | v0.5.0 |
| ⬢ | axonos-swarm | تنسيق متعدد العقد — مزامنة Neural PTP، جدولة السرب | Rust | v0.2.1 |
| ⬢ | axonos-rfcs | مواصفات هندسية — 8 RFCs مرقمة، معيارية، CC-BY-SA-4.0 | Markdown | نشط |
| ⬢ | axon-bci-gateway | بوابة استحواذ العتاد (فرع من OpenBCI، رخصة MIT محفوظة من المنبع) | HTML | نشط |
flowchart LR
A[مستشعرات EEG/EMG<br/>ADS1299 · 24-bit] -->|raw| B[بوابة BCI<br/>nRF52840]
B -->|filtered| C[نواة AxonOS<br/>Rust no_std<br/>Cortex-M4F]
C -->|WCRT<br/>972µs| D[المُجدول<br/>المعرفي]
D -->|typed intent| E[التطبيق<br/>via SDK]
F[المراقب المعرفي<br/>TrustZone-S] -.->|isolates| C
G[طبقة الموافقة<br/>MMP protocol] -.->|gates| D
classDef kernel fill:#0e2a47,stroke:#3b82f6,color:#fff,stroke-width:2px
classDef secure fill:#0a3d2e,stroke:#10b981,color:#fff,stroke-width:2px
class C kernel
class F,G secure
|
WCRT النواة، مقاس STM32F407 @ 168 MHz |
اضطراب σ في أسوأ الحالات مقابل Linux 1323 µs |
عامل التحسين مقابل Linux mainline |
|
أدوات تحقق Kani BMC حدود عليا مُبرهنة |
اختبارات وحدة وتكامل عبر مساحة العمل بأكملها |
مقالات بنية معمارية منشورة على Medium |
| المرحلة | المحتوى | الموعد |
|---|---|---|
| المرحلة 0 | البنية المعمارية، RFCs، واجهة SDK، أدوات تحقق النواة | ✓ مكتمل |
| المرحلة 1 | عُدة تطوير سريرية (8 قنوات) · تجربة في مركز ALS | 🟡 الربع الثاني 2026 |
| المرحلة 2 | FDA 510(k) Q-Sub لـ Cognitive Hypervisor · مساهمة في IEEE P2731 | 🔵 الربع الثالث 2026 |
| المرحلة 3 | أول نشر تجاري عبر أعضاء المؤسسة | 🔵 2027 |
| المُنتَج | الترخيص |
|---|---|
| النواة، SDK، consent، swarm، gateway | Apache-2.0 OR MIT |
| RFCs والمواصفات | CC-BY-SA-4.0 |
axon-bci-gateway |
MIT (محفوظة من المنبع OpenBCI_GUI) |
بُني وصُين بواسطة Denis Yermakou
denis@axonos.org · LinkedIn · Medium · Site
Singapore · Zurich · Berlin · Milano · San Mateo
مبني بـ Rust. مُتحقَّق منه بـ Kani. مُوجَّه للزمن الحقيقي الصارم.