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



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.© 2012 Wiley Periodicals, Inc. Comput Appl Eng Educ 22:764–773, 2014; View this article online at; DOI 10.1002/cae.21568