Title :
Validation of real time complex algorithms using fault model analyses
Author :
Sumeeth, S.B. ; Jayanthi, J. ; Nanda, Manju ; Avinash, A.K.
Author_Institution :
Dept. of Comput. Sci., Shridevi Inst. of Eng. & Technol., Tumkur, India
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.
Keywords :
embedded systems; program verification; software fault tolerance; embedded computer based systems; fault model analyses; real time complex algorithms; real time systems; software malfunctioning; system reliability; system safety; Algorithm design and analysis; Analytical models; Atmospheric modeling; Computational modeling; Heuristic algorithms; Real-time systems; Safety; Fault model analysis; Model based approach; National Instruments Lab VIEW; Safety critical systems; Verification & validation phase;
Conference_Titel :
Advance Computing Conference (IACC), 2015 IEEE International
Conference_Location :
Banglore
Print_ISBN :
978-1-4799-8046-8
DOI :
10.1109/IADCC.2015.7154794
