Validation of real time complex algorithms using fault model analyses

Sumeeth, SB and Jayanthi, J and Nanda, Manju and Avinash, AK (2015) Validation of real time complex algorithms using fault model analyses. In: IEEE International Advance Computing Conference.

[img] Text
07154794.pdf
Restricted to Registered users only

Download (3MB) | Request a copy

Abstract

In the recent times with the increasing affect of malfunctioning of software developed using conventional approach on the world of embedded computer based systems, the use of model based approach is often advocated as a means of increasing confidence in such systems. Designing and validating real time systems using models helps to improve system safety, and reliability. The paper proposes a Fault Model Analysis approach as part of the verification and validation phase to improve the system safety and functionality assurance. The modified approach improves and strengthens the system for certification. It introduces the fault model analysis for further diagnostics in addition to the conventional verification cases and procedures, improving the overall verification process. The efficacy of the novel approach is proved by considering the case study of a proven safety critical system. Metrics of functional and safety comparison of the outcome with the conventional verification and validation is computed that shows an improvement in model based verification and validation of the engineering process by enabling dynamic testing.

Item Type: Conference or Workshop Item (Paper)
Subjects: AERONAUTICS > Avionics & Aircraft Instrumentation
Depositing User: Mr. BS Shivaram
Date Deposited: 02 May 2018 10:49
Last Modified: 02 May 2018 10:49
URI: http://nal-ir.nal.res.in/id/eprint/12588

Actions (login required)

View Item View Item