నైరూప్య

Assurance Driven Software Design using Assurance Case Based Approach

Dipak Gade, Dr. Santosh Deshpande

Software design for dependable and critical systems is very complex. There are lot of regulations and guidelines for developing of software for such systems. These guidelines mostly demands practical evidence or documentary proof to have a justified confidence that the system shall meet its all critical requirements. To achieve this primary aim, assurance cases can be very helpful. A well-structured Assurance Case facilitates developers to state goals and sub-goals of the system and to determine the required artifacts which can be used as an evidence to prove that system is operating as per requirements. With this, one can also check if a complete set of evidences satisfies the stated requirements. Goal Structuring Notations (GSN) or Claims-Arguments-Evidence (CAE) allows graphical presentation of an Assurance Case. Graphics notations facilitate easy to present and understand assurance cases. The present paper has provided an overview of Assurance Case along with its structure and illustration taking example of Assurance Case for Door Access Control Software for better understanding. The paper has also briefly covered the details of the relevant projects carried out globally, using Assurance Cases.