RATSY - A new Requirements Analysis Tool with Synthesis

Roderick Paul Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationComputer Aided Verification
EditorsTayssir Toulli
PublisherSpringer
Pages425-429
Volume6174
ISBN (Print)978-3-642-14294-9
DOIs
Publication statusPublished - 2010
Event22nd International Conference on Computer Aided Verification (CAV 2010) - Edinburgh, United Kingdom
Duration: 15 Jul 201019 Jul 2010

Publication series

NameLecture Notes in Computer Science
Volume6174

Conference

Conference22nd International Conference on Computer Aided Verification (CAV 2010)
CountryUnited Kingdom
CityEdinburgh
Period15/07/1019/07/10

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Fingerprint Dive into the research topics of 'RATSY - A new Requirements Analysis Tool with Synthesis'. Together they form a unique fingerprint.

Cite this