Model-Driven approach to Integrate Requirements for Safety-Critical Systems

Abstract

A sophisticated approach is required to elicit requirements for Safety-Critical Systems (SCS). Incomplete, inconsistent or ambiguous requirements can result in many safety-critical catastrophes. While specifying a SCS, it is one of the greatest challenges to extract a complete set of consistent requirements. To overcome this problem, we have proposed a meta-model in this paper for integration of requirements which were specified using several representations to ensure the completeness of requirements. The idea is to use a database, for the integration of the extracted data that will implement the meta-model for the requirements. Problems like inconsistencies and ambiguities can be identified and solved according to the defined meta-model, which will help us in the development and testing phase and will minimize the project chaos. We have validated the proposed methodology with using insulin pump system case study. For the Requirement Engineering process of Safety-Critical Systems, the proposed approach is highly beneficial as final product will result in fewer defects, reduced development cost by avoiding rework, easy maintenance, increased satisfaction of the stakeholders and possibility of faster delivery of the safety critical system.