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]](https://nal-ir.nal.res.in/style/images/fileicons/text.png) |
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 |
