Validation Results

• Specification errors:

  • Wrong order of starting the cranes.
  • Casting machine only turned once in one batch system.
  • Missing delay between lifting and moving crane.

• Real life errors:

  • mechanical failures,
  • old batteries,
  • ...

Previous slide

Next slide

Back to first slide

View graphic version