An Environment for Building a System Out of Its Requirements
File version
Author(s)
Winter, K.
Hayes, I.
Dromey, G.
Lindsay, P.
Carrington, D.
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Paul Gruenbacher
Date
Size
81022 bytes
File type(s)
application/pdf
Location
Linz, Austria
License
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.
Journal Title
Conference Title
19th IEEE International Conference on Automated Software Engineering
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2004 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.