• View
• Edit
• History
• Print

RATSY - Requirements Analysis Tool with Synthesis

News

RATSY v2.1.0 has been released. In contrast to earlier releases, this release also includes the complete source code for the underlying model checkers. See Download for details.

Background

RATSY (Requirements Analysis Tool with Synthesis) is an upgraded and extended version of RAT. In addition to the features of RAT, it includes the capability to synthesize reactive systems from their temporal specification. Furthermore, it includes a game-based approach for debugging specifications.

The new features have been jointly developed by the Embedded System Unit of FBK and the Institute for Applied Information Processing and Communications of Graz University of Technology.

The development of RATSY was made possible

• under the COCONUT project, funded by a generous grant of the European Commission, Information Society Technologies under contract 217069,
• under the DIAMOND project, funded by a generous grant of the European Commission, Information Society Technologies under contract 248613, and
• under project EMTELOS funded by the Provincia Autonoma di Trento.

Have a look at the RATSY Poster for an overview of RATSY's new features and workflow.