Combining formal specification methods and informal specification methods for requirement analysis

Author

Zhang, Lichen

Author_Institution

Inst. of AI&PR, Shanton Univ., China

Volume

1

fYear

1997

fDate

20-22 Aug 1997

Firstpage

444

Abstract

We advocate an approach to model a required software process with structured methods, and then to apply formal analysis procedures to the model in order to ensure that the software requirements model satisfies required system function and performance goals and constraints, including safety. We experiment with the combination DFD method and interval temporal logic for requirements analysis. A particular example, the controller for a system of passenger lifts, is chosen for illustration

Keywords

computerised control; formal specification; lifts; structured programming; systems analysis; temporal logic; combination DFD method; formal analysis procedures; formal specification methods; informal specification methods; interval temporal logic; passenger lift control; performance goals; requirements analysis; software process modelling; software requirements model; structured methods; system function; Artificial intelligence; Buildings; Control systems; Design for disassembly; Formal specifications; Programming; Software performance; Software prototyping; Software safety; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Communications, Computers and Signal Processing, 1997. 10 Years PACRIM 1987-1997 - Networking the Pacific Rim. 1997 IEEE Pacific Rim Conference on

Conference_Location

Victoria, BC

Print_ISBN

0-7803-3905-3

Type

conf

DOI

10.1109/PACRIM.1997.619993

Filename

619993