IJSER Home >> Journal >> IJSER
International Journal of Scientific and Engineering Research
ISSN Online 2229-5518
ISSN Print: 2229-5518 12    
Website: http://www.ijser.org
scirp IJSER >> Volume 3,Issue 12,December 2012
Quantitative Metrics for validating the effectiveness of the Model based approach for indigenously developed SWS/AIC system
Full Text(PDF, )  PP.230-245  
Manju Nanda, Chinmayi S Jamadagni
Formal methods, Model based approach, Verification and Validation, Safety critical systems, Metrics, Stall Warning System.
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
[1] CONTROL ALGORITHM MODELING GUIDELINES USING MATLAB®, Simulink®, and Stateflow® Version 2.1 MathWorks Automotive Advisory Board (MAAB) July 27th, 2007.

[2] “Comparison of software metrics tools” by Rüdiger Lincke, Jonas Lundberg and Welf Löwe. Software Technology Group, School of Mathematics and Systems Engineering, Växjö University, Sweden.

[3] “Measuring productivity and quality in model based design”: excerpt from MATLAB digest; March 2006

[4] “Model Based Design for DO178B with qualified tools” by Tom Errkinen and Bill Potter; Mathworks Inc.

[5] “A new approach to system reliability” by Gopal Chaudhri, Kuolong Hu and Nader Afshar. (IEEE transactions on Reliability : March 2001)

[6] “Quantifying the analyzability of Software Architectures” by Eric Bouwers, Jos´e Pedro Correia, Arie van Deursen and Joost Visser (Delft University of technology ,Delft , Netherlands)

[7] www.arisa.se/compendium/analyzability

[8] IEEE standards glossary of software engineering technology

[9] “On traceability for safety critical systems engineering” by Dr Paul Mason ( Shinawatra University, Thailand)

[10] “Creating Safety Requirements Traceability for Assuring and Recertifying Legacy Safety-Critical Systems” by Janice Hill and Scott Tilley ( IEEE International Requirement Engineering Conference 2010)

[11] “Modularity in Design of Products and Systems” by Chun-Che Huang and Andrew Kusiak ( IEEE 1998)

[12] Using Software Architecture Techniques to Support the Modular Certification of Safety Critical Systems” by Tim Kelly (University of York, UK)

[13] “Meaning , Memory and Modularity” by Stephen Crain , Weijia Ni , Donald Shankweiler , Laura Conway and David Braze (University of Maryland and University of Connecticut)

[14] “Measuring Software Design Modularity” by Yuanfang Cai and Sunny Huynh (Drexel University , Philadelphia)

[15] “Defining Changeability: Reconciling Flexibility, Adaptability ,Scalability, Modifiability and Robustness for maintaining Systems Lifecycle value” by Adam M Ross , Donna H Rhodes and Daniel E Hastings ( Massachusetts Institute of technology,Cambrige)

[16] “Stability Monitoring and Analysis of Learning in Adaptive Systems” by Edgar Fuller, Bojan Cukic,Martin Mladenovski and Sampath Yerramalla ( West Virginia University)

Untitled Page