# language: cs

Požadavek: Robot
    Bezpečnostní skener je umístěn před otočným stolem a zajišťuje zabezpečení tohoto hlídaného prostoru. Je nutné aby na narušení prostoru došlo k zastavení zařízení v zóně 1 (stůl, robot N1 a N2). Zařízení v zóně 2 naopak nesmí na narušení hlídaného prostoru zastavit. Pro bezpečnost pracovníka, při zakládání dílu do stolu, nepředstavují zařízení v zóně 2 žádné riziko. Důsledkem zastavení těchto zařízení je pouze prodloužení výrobní doby.
Kontext:
  Pokud lineOn

Scénář: Když je narušen prostor, robot N1 zastaví
  Když sick == 1
  Pak robotN1Stop == 1
Scénář: Když je narušen prostor, robot N2 zastaví
  Když sick == 1
  Pak robotN2Stop == 1
Scénář: Když je narušen prostor, stůl se neotočí do pozice forward a stůl se neotočí do pozice home
  Když sick == 1
  Pak (tableToFWD != 1) && (tableToHOME != 1)