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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

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.
Originalspracheenglisch
TitelComputer Aided Verification
Redakteure/-innenTayssir Toulli
Herausgeber (Verlag)Springer
Seiten425-429
Band6174
ISBN (Print)978-3-642-14294-9
DOIs
PublikationsstatusVeröffentlicht - 2010
Veranstaltung22nd International Conference on Computer Aided Verification (CAV 2010) - Edinburgh, Großbritannien / Vereinigtes Königreich
Dauer: 15 Juli 201019 Juli 2010

Publikationsreihe

NameLecture Notes in Computer Science
Band6174

Konferenz

Konferenz22nd International Conference on Computer Aided Verification (CAV 2010)
Land/GebietGroßbritannien / Vereinigtes Königreich
OrtEdinburgh
Zeitraum15/07/1019/07/10

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Fingerprint

Untersuchen Sie die Forschungsthemen von „RATSY - A new Requirements Analysis Tool with Synthesis“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren