An Environment for Building a System Out of Its Requirements

Smith, C.; Winter, K.; Hayes, I.; Dromey, G.; Lindsay, P.; Carrington, D.

doi:10.1109/ASE.2004.1342775

View/Open

34926_1.pdf (79.12Kb)

Author(s)

Smith, C.

Winter, K.

Hayes, I.

Dromey, G.

Lindsay, P.

Carrington, D.

Griffith University Author(s)

Dromey, Geoff

Year published

2004

Metadata

Show full item record

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.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.
View less >

Conference Title

19th IEEE International Conference on Automated Software Engineering

DOI

https://doi.org/10.1109/ASE.2004.1342775

Copyright 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.

Publication URI

http://hdl.handle.net/10072/32920

Collection

Conference outputs