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.
Rat: A tool for the formal analysis of requirements / Bloem, Roderick; Cavada, Roberto; Pill, Ingo; Roveri, Marco; Tchaltsev, Andrei. - 4590:(2007), pp. 263-267. ( 19th International Conference on Computer Aided Verification, CAV 2007 Berlin, Germany 03/07/2007-07/07/2007) [10.1007/978-3-540-73368-3_30].
Rat: A tool for the formal analysis of requirements
Roberto Cavada;Marco Roveri;
2007-01-01
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
