A Method to Derive TRiStar Diagrams from Textual Descriptions of Teleo-Reactive Systems

  1. José Miguel Morales Illán
  2. Pedro Sanchez
  3. Antonio Sánchez-García
Aktak:
FRUCT21: Helsinki, noviembre de 2017

Argitalpen urtea: 2017

Mota: Biltzar ekarpena

GOOGLE SCHOLAR

Laburpena

This paper presents a method for obtaining a TRiStar diagram starting from a textual description of a Teleo-Reactive system. The steps in the method are exemplified using a Unmanned Underwater Vehicle used for deactivating naval mines. Using this method will make the specification and reuse of Teleo-Reactive systems much easier.