DY Research
Repositories list
6 repositories
dy-wcet
PublicWorst-case response-time analysis for real-time systems in Rust. Integer arithmetic, no_std, zero dependencies. Refuses rather than rounds: every bound derived,….github
PublicThe DY Research organisation profile: independent technical intelligence.DYResearch.github.io
PublicDY Research: independent technical intelligence. Technical due diligence, focused audits and snapshots, each ending in a written verdict on what the evidence su…dy-trace
PublicIn design · Execution-time inputs with their confidence stated. Part of the DY Research timing toolchain: dy-trace → dy-blocking → dy-wcet → dy-certify.dy-certify
PublicIn design · A signed schedulability certificate an auditor can re-run. Part of the DY Research timing toolchain: dy-trace → dy-blocking → dy-wcet → dy-certify.dy-blocking
PublicIn design · Blocking terms derived from a resource graph, not estimated. Part of the DY Research timing toolchain: dy-trace → dy-blocking → dy-wcet → dy-certify…
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.