Paper Info
Title
RATSY – a new requirements analysis tool with synthesis
Abstract
Formal specifications play an increasingly important role in system design-flows Yet, they are not always easy to deal with In this paper we present RATSY, a successor of the Requirements Analysis Tool RAT RATSY extends RAT in several ways First, it includes a new graphical user interface to specify system properties as simple Büchi word automata Second, it can help debug incorrect specifications by means of a game-based approach Third, it allows correct-by-construction synthesis of systems from their temporal properties These new features and their seamless integration assist in property-based design processes.
Year
DOI
Venue
2010
10.1007/978-3-642-14295-6_37
CAV
Keywords
Field
DocType
game-based approach,important role,formal specification,debug incorrect specification,requirements analysis tool rat,correct-by-construction synthesis,new feature,chi word automaton,new graphical user interface,new requirements analysis tool,system property,design process,system design,graphic user interface,requirement analysis
Programming language,Successor cardinal,Computer science,Automaton,Requirements analysis,Algorithm,Formal specification,Theoretical computer science,Graphical user interface,Design intent,Debugging
Conference
Volume
ISSN
ISBN
6174
0302-9743
3-642-14294-X
Citations 
PageRank 
References 
53
1.97
10
Authors
8
Name
Order
Citations
PageRank
Roderick Bloem11708101.26
Alessandro Cimatti25064323.15
Karin Greimel3733.58
Georg Hofferek41709.99
Robert Könighofer526913.53
Marco Roveri6167896.70
Viktor Schuppan740917.49
Richard Seeber8532.64