The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2004)
Linz, Austria
Sept. 20, 2004 to Sept. 24, 2004
ISSN: 1068-3062
ISBN: 0-7695-2131-2
pp: 398-399
P. Lindsay , University of Queensland, Australia
D. Carrington , University of Queensland, Australia
C. Smith , University of Queensland, Australia
I. Hayes , University of Queensland, Australia
G. Dromey , University of Queensland, Australia
K. Winter , University of Queensland, Australia
ABSTRACT
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.
INDEX TERMS
null
CITATION
P. Lindsay, D. Carrington, C. Smith, I. Hayes, G. Dromey, K. Winter, "An Environment for Building a System out of its Requirements", 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), vol. 00, no. , pp. 398-399, 2004, doi:10.1109/ASE.2004.10053
109 ms
(Ver )