Home Page

Contact: ratsy@list.fbk.eu

edit SideBar

RATSY - Requirements Analysis Tool with Synthesis

Main.HomePage History

Hide minor edits - Show changes to markup

June 18, 2010, at 09:16 AM by hofferek -
Changed line 5 from:

RATSY v2.0.0 has been released. See Download.

to:

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.

June 17, 2010, at 04:37 PM by hofferek -
Changed lines 15-16 from:
  • under the COCONUT project, funded by a generous grant of the European Commission, Information Society Technologies under contract 217069, and
to:
  • 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
June 17, 2010, at 04:10 PM by schuppan - typo
Changed line 15 from:
  • under the COCONUT project, founded by a generous grant of the European Commission, Information Society Technologies under contract 217069, and
to:
  • under the COCONUT project, funded by a generous grant of the European Commission, Information Society Technologies under contract 217069, and
June 17, 2010, at 04:06 PM by schuppan - Add EMTELOS funding
June 17, 2010, at 04:06 PM by schuppan - Add EMTELOS funding
Changed lines 14-16 from:

The development of RATSY was made possible under the COCONUT project, founded by a generous grant of the European Commission, Information Society Technologies under contract 217069.

to:

The development of RATSY was made possible

  • under the COCONUT project, founded by a generous grant of the European Commission, Information Society Technologies under contract 217069, and
  • under project EMTELOS funded by the Provincia Autonoma di Trento.
March 15, 2010, at 10:21 AM by hofferek -
Changed lines 14-16 from:

The development of RATSY was made possible under the COCONUT project, founded by a generous grant of the European Commission, Information Society Technologies under contract 217069.

to:

The development of RATSY was made possible under the COCONUT project, founded by a generous grant of the European Commission, Information Society Technologies under contract 217069.

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

September 09, 2009, at 03:46 PM by hofferek -
Changed line 12 from:

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

to:

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.

September 08, 2009, at 04:36 PM by roveri -
Changed lines 12-14 from:

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

The development of RATSY was made possible under the COCONUT project, founded by a generous grant of the European Commission, Information Society Technologies under contract 217069.

to:

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

The development of RATSY was made possible under the COCONUT project, founded by a generous grant of the European Commission, Information Society Technologies under contract 217069.

September 08, 2009, at 01:51 PM by hofferek -
Changed lines 5-14 from:

RATSY v2.0.0 has been released. See Download.

to:

RATSY v2.0.0 has been released. See Download.

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 SRA division of FBK and the Institute for Applied Information Processing and Communications of the Graz University of Technology.

The development of RATSY was made possible under the COCONUT project, founded by a generous grant of the European Commission, Information Society Technologies under contract 217069.

September 08, 2009, at 01:40 PM by hofferek -
Changed lines 3-20 from:

Add here whatever text is needed

(:comment text below is the original text of this page not visible unless logged in :)

(:if authid:) Welcome to PmWiki!

A local copy of PmWiki's documentation has been installed along with the software, and is available via the documentation index.

To continue setting up PmWiki, see initial setup tasks.

The basic editing page describes how to create pages in PmWiki. You can practice editing in the wiki sandbox.

More information about PmWiki is available from http://www.pmwiki.org . (:ifend:)

to:

News

RATSY v2.0.0 has been released. See Download.

September 03, 2009, at 09:38 AM by roveri -
Changed lines 6-7 from:

(:if expr auth admin :)

to:

(:if authid:)

September 03, 2009, at 09:35 AM by cavada -
Changed line 6 from:

(:if expr auth user :)

to:

(:if expr auth admin :)

September 03, 2009, at 09:35 AM by cavada -
Changed line 6 from:

(:if expr auth admin :)

to:

(:if expr auth user :)

September 03, 2009, at 09:21 AM by roveri -
Changed line 6 from:

(:if expr auth user :)

to:

(:if expr auth admin :)

September 03, 2009, at 09:21 AM by roveri -
Changed line 6 from:

(:if expr auth admin :)

to:

(:if expr auth user :)

September 02, 2009, at 08:59 PM by roveri -
Deleted lines 2-5:

News

New version 2.0.0 has been released! Download

Added line 5:

(:comment text below is the original text of this page not visible unless logged in :)

September 02, 2009, at 08:49 PM by roveri -
Added lines 1-9:

(:title RATSY - Requirements Analysis Tool with Synthesis:)

News

New version 2.0.0 has been released! Download

Add here whatever text is needed

(:if expr auth admin :)

Added line 22:

(:ifend:)

Edit - History - Print - Recent Changes - Search
Page last modified on June 18, 2010, at 09:16 AM