An environment for building a system out of its requirements
C. Smith, K. Winter, Ian J. Hayes, Geoff Dromey, Peter Lindsay, D. Carrington · 2004
A toolset for system design and analysis is described. The tool allows individual translated functional requirements to be entered graphically as behavior trees. Once integrated these behavior trees form a problem domain representation of the design. This representation is automatically mapped to CSP to enable model checking with FDR. A number of consistency checks on the design can be performed. Examples are used to illustrate the results produced by the toolset.