DocumentCode
721182
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
fYear
2015
fDate
12-13 June 2015
Firstpage
686
Lastpage
691
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Advance Computing Conference (IACC), 2015 IEEE International
Conference_Location
Banglore
Print_ISBN
978-1-4799-8046-8
Type
conf
DOI
10.1109/IADCC.2015.7154794
Filename
7154794
Link To Document