Strategies for real-time system specification
Strategies for real-time system specification
A behaviorally-based methodology for modeling real-time system specifications
A behaviorally-based methodology for modeling real-time system specifications
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
| Hi-index | 0.00 |
The Behaviorally-Based Methodology (BBM), a methodology for modeling behaviorally-complex system requirements specifications, is introduced in this paper. The BBM provides guidelines for a Behaviorally-Based decomposition beginning at the first stage of system development, while placing the emphasis on system behavior and providing notations to represent this behavior. In Behaviorally-Based system modeling, all active services and system behavior at each instant are presented in one place (the relevant system state). Hence, problem domain information is more easily carried through the analysis phase allowing for a clear separation between system analysis and system design. In addition, inconsistencies in describing system behavior can be avoided more easily; where such problems occur they are detected and resolved with greater facility.The BBM is compared to more functional approaches, such as Hatley and Pirbhai's approach [1], highlighting the BBM's advantages. An experiment conducted in a graduate software engineering class is described. The experiment has shown that system modeling performance was significantly improved, in both accuracy and speed, when following the BBM. These design benefits of the BBM are then discussed and illustrated.