Skip to Main Content
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.