Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems

Anticipatory reasoning-reacting systems were proposed as a new generation of reactive systems with high reliability and high security. At present, there is no engineering environment to support development and maintenance of anticipatory reasoning-reacting systems. This paper presents a development and maintenance environment we are building for developing and maintaining anticipatory reasoning-reacting systems. By using our development and maintenance environment, developers and maintainers can develop and maintain various practical anticipatory reasoning-reacting systems more easily.