An educational tool for implementing reactive systems following a goal-driven approach

© 2012 Wiley Periodicals, Inc.This article presents a novel computer-based tool that has proven useful for students to both implement and validate the design of reactive systems using the Teleo-Reactive approach. The design and implementation of the tool and the proposed laboratory exercises are described. The tool, then, is a useful framework for tackling the synthesis of control systems for reactive systems. The results of the tests on efficiency with undergraduate students are also discussed.