Complex system development activities, such as requirements analysis (RA) to requirements specification, implementation and verification, are well defined in the software engineering domain. Interests in using a model-driven engineering have increased in this domain. System-level RA and model-driven engineering may result in a significant improvement in engineering design. This paper presents a Checklist-Oriented Requirement Analysis (CORA) framework to develop and formalize requirements. CORA is an integrated framework that adopts a checklist concept and utilises logical reasoning operation in conjunction with information management to analyse systematically the initial requirements statement. An underground work machine is used as an application example to illustrate the proposed framework.
- model-based analysis