Validation of real time complex algorithms using fault model analyses
作者： Sumeeth SB , J Jayanthi , Manju Nanda , Avinash AK
DOI: 10.1109/IADCC.2015.7154794
关键词:
摘要: In the recent times with increasing affect of malfunctioning software developed using conventional approach on world embedded computer based systems, use model is often advocated as a means confidence in such systems. Designing and validating real time systems models helps to improve system safety, reliability.
sci-hub.se 参考文章(10)
Mike W. Whalen, Lucas G. Wagner, John D. Innis, Steven P. Miller, Adgs-2100 Adaptive Display and Guidance System Window Manager Analysis ,(2013)
Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon, A Model-Based Approach for Robustness Testing Lecture Notes in Computer Science. pp. 333- 348 ,(2005) , 10.1007/11430230_23
Xing-hua Liu, Yun-feng Cao, Design of UAV Flight Control System Virtual prototype using Rhapsody and Simulink international conference on computer design. ,vol. 3, ,(2010) , 10.1109/ICCDA.2010.5541430
Juguo Wang, Yun Pu, Guoqi Li, Fault Model Libraries for Safety Analysis and their Ontology-based Reuse computational intelligence and security. pp. 301- 304 ,(2012) , 10.1109/CIS.2012.74
J. Jayanthi, M. Nanda, S. Nayak, A lightweight integration of mutation analysis with the model checker for system safety verification ieee systems conference. pp. 76- 81 ,(2013) , 10.1109/SYSCON.2013.6549862
A. Jefferson Offutt, J. Huffman Hayes, A semantic model of program faults international symposium on software testing and analysis. ,vol. 21, pp. 195- 200 ,(1996) , 10.1145/226295.226317
P.E. Black, V. Okun, Y. Yesha, Mutation operators for specifications automated software engineering. pp. 81- 88 ,(2000) , 10.1109/ASE.2000.873653
Michael D. DiRossi, Behavioral Fault Modeling for Model-based Safety Analysis high-assurance systems engineering. pp. 199- 208 ,(2007) , 10.1109/HASE.2007.25
R. Hammett, An alternative approach to avionics diagnostics algorithms ieee aiaa digital avionics systems conference. pp. 62- 67 ,(1992) , 10.1109/DASC.1992.282180
Anjali Joshi, Mats P.E. Heimdahl, On the Verifiability of Programs Written in the Feature Language Extensions high-assurance systems engineering. pp. 256- 263 ,(2007) , 10.1109/HASE.2007.58