← Back
Home › Systems › Embedded and IoT

software-defined-vehicle-os

central-compute vehicle OS and middleware

BlackBerry QNX, AUTOSAR Adaptive (Vector, Elektrobit)

SystemTechniques · 25Primitives · 78 software-defined-vehicl… Binary delta diffcompression · medium: Bsdiff, VCDIFF and xdelta-style binary patches between file versionsClock synchronizationdistributed · medium: Estimate a clock's offset from four timestamps, filter out queueing noise, and steer the clock smoothly; NTP gets about a millisecond, PTP with hardware timestamps under a microsecond.›Deterministic simulation testingdistributed · medium: Run the whole system in one thread under a seeded scheduler with simulated network, disk and clock, so every failure replays from its seed.›Primary-backup replicationdistributed · medium: One node orders all writes and ships them to standbys; the acknowledgement rule (none, one, all) sets what a crash loses, and an external arbiter decides who takes over.›Service discoverydistributed · medium: Register endpoints with health and watch for changes (DNS, registries, watches)A/B partition updatesembedded · medium: Two bootable slots and a small atomic metadata block: write the new image to the idle slot, try it once, and fall back by itself unless it reports healthy.›Fault tree analysisembedded · medium: Write the unwanted top event as AND/OR logic over component failures, reduce it to minimal cut sets, then compute its probability and each failure's share.›Watchdog timerembedded · low: A hardware down-counter that resets the chip unless software proves, in time and in a plausible pattern, that it is still healthy.›Secure boot chainsecurity · low: Each boot stage verifies the signature of the next before running it, anchored in an immutable ROM key hash, with version counters against downgrade and a TPM log of what ran.›Can bus framingembedded · low: CAN / CAN FD frames, bitwise arbitration, bit stuffing, CRC and error confinementShared memory ipcconcurrency · low: Shared memory rings and futex signalling between processesCgroups and namespaceshardware-os · low: Linux namespaces limit what a process can see; cgroup v2 limits and accounts what it may use. Containers, sandboxes and job schedulers are built from the two.›Hdr histogramdata-structures · low: Log-linear bucketed histograms with bounded relative error for latency percentilesEnd to end protection e2eembedded · low: Per-message counter, ID and CRC over a black channel to detect loss, repetition, corruption, delayPreemptive priority schedulingembedded · low: Always run the highest-priority ready task, switching the instant a higher one becomes ready; selection is O(1) with one FIFO per priority and a bitmap.›Time triggered schedulingembedded · low: Static cyclic schedules where every task and message has a precomputed time slotUds diagnosticsembedded · low: UDS (ISO 14229) diagnostic services: sessions, security access, DTCs, flashingHardware virtualization kvmhardware-os · low: VT-x/AMD-V via KVM: vCPU run loop, VM exits, MMIO emulationInterrupt handlinghardware-os · low: How a device signal reaches a CPU handler through an interrupt controller and vector table, and how top/bottom halves, polling switch-over and coalescing keep load bounded.›Process supervisionhardware-os · low: A parent process starts services, reaps their exits and restarts them under a delay and burst-limit policy, then stops them with SIGTERM before SIGKILL.›Hardware backed keystoresecurity · low: Non-exportable keys in Secure Enclave, StrongBox, TPM: generation, use policies, biometric gatingMutual TLSsecurity · low: TLS where the client also proves a certificate key, so every connection carries a verified, rotatable machine identity.›Graceful drainingsystems · low: On a termination signal, stop taking new work, finish in-flight work until a deadline, tell clients to reconnect elsewhere, then exit; clients resume from a token.›+ 18 more techniques+ 62 more primitives

Similar systems

Share the most building blocks with this one.