Skip to main content

TickTraceScenario

Robotics scenarios · Implementation: mlsysim/engine/scenario_definitions/robotics/placement.py.

Construct this scenario with keyword inputs. The fields below show the types and defaults declared by this class.

Percentiles of a permission tick’s execution time over a trace of ticks periods, cold and warm, against site’s declared WCET and deadline.

Notes

Equation: duration is the worked quantity; each property below states its equation and units.

Assumptions: Every counted trace tick has the configured period; percentile maps are supplied observations.

Excludes: Estimating unseen tail probabilities or proving that observed maxima are WCET bounds.

References

Derivation: The equations below follow the stated counts, geometric relations, or accounting definitions; scenario inputs are supplied assumptions or observations, not fitted predictions.

Examples

Execute the registered worked inputs; this is a modeled calculation.

>>> from mlsysim import Scenarios
>>> case = Scenarios.WarehouseRejectedPlacementTrace
>>> value = case.duration
>>> print(f"{value:.3f~P}")
10000.000 s

Attributes

Name Description
cold
duration Trace duration in seconds, tick count times configured tick period.
hours_minutes_seconds Rounded total duration split into integer hours, minutes, and seconds.
site
ticks
warm

site

Type: Any.

Declared default: required.

ticks

Type: int.

Declared default: required.

cold

Type: Dict[str, Quantity].

Declared default: required.

warm

Type: Dict[str, Quantity].

Declared default: required.

duration

engine.scenario_types.TickTraceScenario.duration

Trace duration in seconds, tick count times configured tick period.

Equation: return (self.ticks * self.site.t_tick).to(‘s’)

hours_minutes_seconds

engine.scenario_types.TickTraceScenario.hours_minutes_seconds

Rounded total duration split into integer hours, minutes, and seconds.

Equation: total = int(round(self.duration.to(‘s’).magnitude)) h, rem = divmod(total, 3600) m, sec = divmod(rem, 60) return (h, m, sec)

Back to top