Recent Changes - Search:

Home Page

Contact: rat@fbk.eu

edit SideBar

RAT - Requirements Analysis Tool

Main.HomePage History

Hide minor edits - Show changes to markup

September 09, 2009, at 03:40 PM by roveri -
Changed lines 7-8 from:

Download

to:

See Download

September 09, 2009, at 03:30 PM by 10.30.0.142 -
Changed lines 7-8 from:

http://rat.fbk.eu/ratsy/Download

to:

Download

September 09, 2009, at 03:29 PM by 10.30.0.142 -
Changed lines 4-6 from:

New version 1.2.0 has been released! Download

to:

New upgraded version 2.0 called RATSY (Requirements Analysis Tool with Synthesis) has been released!

http://rat.fbk.eu/ratsy/Download

(:comment New version ''1.2.0'' has been released! :) (:comment [[Download]] :)

December 27, 2006, at 10:46 AM by 151.44.128.113 -
Added lines 32-36:

RAT allows also to check whether a set of requirements is realizable, that's if it there exists an implementation that, regardless of the behaviors of the enviroment compatible with the assumption on it, fulfills the guarantee on the behaviors of the system.

December 27, 2006, at 10:24 AM by 151.44.128.113 -
Changed line 4 from:

New version 1.1.0 has been released!

to:

New version 1.2.0 has been released!

August 22, 2006, at 07:45 PM by 10.30.0.83 -
Changed lines 5-6 from:
to:
August 22, 2006, at 07:45 PM by 10.30.0.83 -
Changed lines 5-6 from:

Down load it Download

to:
August 22, 2006, at 07:44 PM by 10.30.0.83 -
Changed lines 5-6 from:
to:

Down load it Download

August 22, 2006, at 07:43 PM by 10.30.0.83 -
Added lines 3-6:

News

New version 1.1.0 has been released!

Background

April 28, 2006, at 12:33 PM by 10.30.0.133 -
Added line 33:

The development of RAT was made possible under the PROSYD project, founded by a generous grant of the European Commission, Information Society Technologies under contract 507219.

November 28, 2005, at 10:43 AM by RC - Fixed a typo (analisys -> analysis)
Changed line 13 from:

RAT (Requirements Analisys Tool) is a tool supporting a methodology to pinpoint defects

to:

RAT (Requirements Analysis Tool) is a tool supporting a methodology to pinpoint defects

November 25, 2005, at 12:24 PM by 192.168.250.57 -
Changed line 19 from:

of ``assertions'' A (i.e. properties that are expected to hold on all

to:

of "assertions" A (i.e. properties that are expected to hold on all

Changed line 24 from:

P of "possibilities" (i.e. properties that desribe behaviors that

to:

P of "possibilities" (i.e. properties that desribe behaviors that

Added lines 29-32:

RAT has been developed as a joint work among SRA division of ITC-irst and the Institute for Software Technology of the Technical University of Graz.

November 25, 2005, at 12:18 PM by 192.168.250.57 -
Changed line 17 from:

we propose to assess whether they are ``strict''

to:

we propose to assess whether they are "strict"

Changed line 22 from:

Similarly, we check if our requirements are ``permissive'' enough (i.e. all

to:

Similarly, we check if our requirements are "permissive" enough (i.e. all

Changed line 24 from:

P of ``possibilities'' (i.e. properties that desribe behaviors that

to:

P of "possibilities" (i.e. properties that desribe behaviors that

November 25, 2005, at 12:17 PM by 192.168.250.57 -
Changed lines 1-2 from:

(:title RAT:)

to:

(:title RAT - Requirements Analysis Tool:)

November 25, 2005, at 12:16 PM by 192.168.250.57 -
Changed lines 1-2 from:

RAT

to:

(:title RAT:)

November 25, 2005, at 12:14 PM by 192.168.250.57 -
Changed lines 1-8 from:

Here are some useful default pages installed along with the PmWiki software:

More information about PmWiki can be found at http://www.pmwiki.org/.
to:

RAT

The importance of requirements in the process of designing correct systems is being increasingly recognized. In the last years, several formalisms for describing requirements have been developed and made their way into the design process.

PSL has been proposed as a means to write specifications that are both easy to read and mathematically precise; it integrates temporal operators and regular expressions, and allows for the representation of the full class of omega-regular languages.

RAT (Requirements Analisys Tool) is a tool supporting a methodology to pinpoint defects in a set of requirements specifying the expected behavior of the new system.

In particular, given a set of requirements R, expressed as a set of PSL properties, we propose to assess whether they are ``strict'' enough (i.e. all unexpected behaviors are ruled out) by checking if the set of ``assertions'' A (i.e. properties that are expected to hold on all the behaviors described by R), is indeed logically entailed by R.

Similarly, we check if our requirements are ``permissive'' enough (i.e. all interesting behaviors have not been ruled out), by checking if a set P of ``possibilities'' (i.e. properties that desribe behaviors that we expect R not to rule out) is indeed compatible with R.

Last but not least, the tool provides the user the ability to play with the semantics of PSL properties by allowing the inspection of behaviors compatible with the PSL property itself.

Edit - History - Print - Recent Changes - Search
Page last modified on September 09, 2009, at 03:40 PM