tightbeam-rs 0.9.0

//! Timing and real-time verification module
//!
//! Provides WCET (Worst-Case Execution Time) verification and deadline checking
//! for real-time systems. Integrates with CSP process specifications and
//! instrumentation events.

mod constraints;
#[cfg(feature = "testing-timing")]
mod csp;
mod deadline;
mod export;
mod path;
mod verification;
mod violations;
mod wcet;

pub use constraints::{TimingConstraint, TimingConstraints};
#[cfg(feature = "testing-timing")]
pub use csp::{ClockVariable, TimedTransition, TimingGuard};
pub use deadline::{Deadline, DeadlineBuilder};
pub use export::TimingVerificationArtifact;
pub use path::{ExecutionPath, PathWcet};
pub use verification::TimingVerificationResult;
pub use violations::{DeadlineMiss, JitterViolation, PathWcetViolation, TimingSlackViolation, TimingViolation};
pub use wcet::{WcetConfig, WcetConfigBuilder};