2007 | OriginalPaper | Buchkapitel
RAT: A Tool for the Formal Analysis of Requirements
(Tool Paper)
verfasst von : Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
Erschienen in: Computer Aided Verification
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Formal languages are increasingly used to describe the functional requirements of circuits. Although formal requirements can be hard to understand and subtle, they are seldom the object of verification. In this paper we present our requirement analysis tool,
RAT
. Our tool supports quality assurance of formal specifications. A designer can interactively explore the requirements’ semantics and automatically check the specification against
assertions
(which must be satisfied) and
possibilities
(which describe allowed corner-case behavior). Using
RAT
, a designer can also investigate the realizability of a specification.
RAT
was successfully examined in several industrial projects.