print · source · login   

Engine State Manager

Related publications: [SMVJ15]

Description

The Engine State Manager (ESM) is embedded controller software used in a printer.

RRRT-model

The mealy machine "ESM Controller" is based on the RRRT-model as described in the [SMVJ15] paper. It is flattened to be a Mealy machine.

Benchmark NameModelInputs/OutputsStatesTransitionsPublications
ESM ControllerModel78/1513410265980[SMVJ15]