Nanda, Manju and Jamadagni, CS (2012) Quantitative metrics for validating the effectiveness of the model based approach for indigenously developed SWS/AIC system. International Journal of Scientific & Engineering Research, 3 (12). pp. 1-7. ISSN 2229-5518
![]() |
PDF
quantitative.pdf Restricted to Registered users only Download (993kB) | Request a copy |
Abstract
The aim of this paper is to validate the effectiveness of model-based approach for the indigenously developed stall warning and aircraft interface computer system (SWS/AIC) by generating the software engineering process metrics and the development of the empirical relationship between the conventional and the model-based approach. The quantitative metrics for software analyzability, changeability, testability, stability, traceability, safety compliance, reliability, design time, de-bug time, upgrade time, reusability, readability, maintainability, modularity, reachability and availability is derived and generated for the two approaches to demonstrate the effectiveness of the model-based approach. The empirical relationship developed helps in analyzing the reduction in effort for development of safety critical software using model-based approach. The metrics generated and the empirical relationship derived between the two approaches proves the effectiveness of the model-based approach over the conventional approach. The results of this work are encouraging for incorporation of the model-based approach for the design, development and verification and validation of safety critical systems.
Item Type: | Article |
---|---|
Additional Information: | Copyright to this article belongs to M/s. IJSER |
Uncontrolled Keywords: | Formal methods;Model based approach;Verification and validation;Safety critical systems;Metrics;Stall warning system |
Subjects: | AERONAUTICS > Aeronautics (General) |
Depositing User: | Ms. Alphones Mary |
Date Deposited: | 02 Jan 2014 10:22 |
Last Modified: | 02 Jan 2014 10:22 |
URI: | http://nal-ir.nal.res.in/id/eprint/11876 |
Actions (login required)
![]() |
View Item |