A concept of an integrated development environment for reactive systems

One of the main application areas of modern engineering in computer based systems is development, production, deployment and maintenance of reactive systems. Today, the majority of functions in such systems are implemented in software, and modeled as a group of finite state machines (automata). The past decade has seen many R&D efforts in development of tool sets that support software production processes, in area of reactive systems, in both industry and academia. This paper is our contribution to this movement. We present a concept of an integrated development environment for a class of problems known as finite state machines. The concept is suitable for small and medium size high-tech software R&D teams, where most of the team members participate in majority of phases of a software development cycle.