700 Journals and 15,000,000 Readers Each Journal is getting 25,000+ ReadersThis Readership is 10 times more when compared to other Subscription Journals (Source: Google Analytics)
Research Article Open Access
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.
To read the full article Peer-reviewed Article PDF
Author(s): Dipak Gade, Dr. Santosh Deshpande
Assurance Case, Software Assurance, Software Reliability, Safety, Evidence., Autonomic and Context Aware Computing,Bioinformatics and Computational Biology,Broadband and Intelligent Networks,Calm Technology,CDMA/GSM Communication Protocol