Ada Requirements Methodology (ARM)

Abstract

This paper describes and evaluates the Ada Requirements Methodology (ARM - a subset of Ada Integrated Methodology) that was developed during a study sponsored by the United States Department of Defense to evaluate design support for embedded systems. ARM combines some traditional structured analysis techniques with the Ada language to develop system requirements. The use of the implementation language (in this case Ada) during the requirements phase of system development is a departure from the concept that requirements and design methodologies should be independent of the implementation language. Reasons for using Ada as a requirements language are addressed in this paper. Additionally, the results of the first application of ARM and some ideas for further study and enhancements are provided.