An Extended TASM-Based Requirements Modeling Approach for Real-Time Embedded Software: An Industrial Case Study


Formal models of software requirements facilitate automated analysis and verification of the models, and software testing as well. A challenging problem in requirements modeling for real-time embedded software is to devise an easy-to-use formal requirements modeling language and a corresponding requirements modeling approach. Timed Abstract State Machine, abbreviated as TASM, is an easy-to-use for-State Machine, abbreviated as TASM, is an easy-to-use formal requirements modeling language, but it has its limitations. We have extended TASM. In this paper, we propose an extended TASM-based requirements modeling approach for real-time embedded software to identify the parallel and hierarchical components, and describe the functional and non-functional requirements of the software. We apply the proposed approach to model requirements of actual real-time embedded software to validate its effectiveness. Our study highlights several lessons for modeling requirements of real-time embedded software in the


    7 Figures and Tables

    Download Full PDF Version (Non-Commercial Use)