Listed as a BSX 2026 exhibitor
other
Reported date/window: 2026-09-07/2026-09-09
Dsrtos Technologies Private Limited
ISFC-2026-00097activeprivate
Products: DSRTOS kernel — India's first indigenous, safety- certifiable Real-Time Operating System, comprising 574K+ lines of original C code, validated by 8,921 passing tests & machine- checked Coq formal proofs (1,982 lines, 7 theorems). Protected by 37 patent filings (33 Indian provisional & 4 PCT applications) covering real-time scheduling, priority inheritance, checkpoint/restore & cache management innovations. Delivers deterministic hard real-time performance — ~210 ns context switch & 1.1 µs interrupt latency on Cortex-M7. Supports ARM Cortex-M/A, RISC-V (incl. IIT-Madras Shakti processors), x86 & PowerPC architectures. Variants include DSRTOS-Cert, a DO-178C DAL-B evidence-driven kernel baseline aligned with IMTAR-21 Subpart C6 & CEMILAC certification pathways — an ITAR-free sovereign replacement for VxWorks & QNX, free of foreign export-control restrictions. The DVS (DSRTOS Verification Suite) tool family — coverage analysis, execution trace, timing evidence & DO-330 qualification packages — is under development, with professional debug & trace workflow via industry-standard toolchains. Services: Board support packages & porting to customer hardware, ARINC 653-style partitioned architectures for flight-control applications, AMP/SMP multicore enablement, certification artifact development (plans, standards, requirements, traceability, MC/DC structural coverage), independent verification & validation, functional safety consulting & long-term sustenance engineering. Target platforms include satellite onboard computers, ADCS, launch vehicle avionics, UAV & drone flight controllers, mission computers, counter-drone systems & naval combat management subsystems. DSRTOS Technologies is DPIIT & Udyam recognized, engaged with iDEX DISC & DRISHTI programs across HAL, MDL & GRSE.
About
Products: DSRTOS kernel — India's first indigenous, safety- certifiable Real-Time Operating System, comprising 574K+ lines of original C code, validated by 8,921 passing tests & machine- checked Coq formal proofs (1,982 lines, 7 theorems). Protected by 37 patent filings (33 Indian provisional & 4 PCT applications) covering real-time scheduling, priority inheritance, checkpoint/restore & cache management innovations. Delivers deterministic hard real-time performance — ~210 ns context switch & 1.1 µs interrupt latency on Cortex-M7. Supports ARM Cortex-M/A, RISC-V (incl. IIT-Madras Shakti processors), x86 & PowerPC architectures. Variants include DSRTOS-Cert, a DO-178C DAL-B evidence-driven kernel baseline aligned with IMTAR-21 Subpart C6 & CEMILAC certification pathways — an ITAR-free sovereign replacement for VxWorks & QNX, free of foreign export-control restrictions. The DVS (DSRTOS Verification Suite) tool family — coverage analysis, execution trace, timing evidence & DO-330 qualification packages — is under development, with professional debug & trace workflow via industry-standard toolchains. Services: Board support packages & porting to customer hardware, ARINC 653-style partitioned architectures for flight-control applications, AMP/SMP multicore enablement, certification artifact development (plans, standards, requirements, traceability, MC/DC structural coverage), independent verification & validation, functional safety consulting & long-term sustenance engineering. Target platforms include satellite onboard computers, ADCS, launch vehicle avionics, UAV & drone flight controllers, mission computers, counter-drone systems & naval combat management subsystems. DSRTOS Technologies is DPIIT & Udyam recognized, engaged with iDEX DISC & DRISHTI programs across HAL, MDL & GRSE.