Improving Fault Injection in Automotive Model Based Development using Fault Bypass Modeling
暂无分享,去创建一个
Rakesh Rana | Miroslaw Staron | Christian Berger | Jörgen Hansson | Martin Nilsson | Fredrik Törner | C. Berger | M. Staron | J. Hansson | Rakesh Rana | Martin Nilsson | Fredrik Törner
[1] Henrik Eriksson,et al. MODIFI: A MODel-Implemented Fault Injection Tool , 2010, SAFECOMP.
[2] Mirko Conrad. Verification and Validation According to ISO 26262: A Workflow to Facilitate the Development of High-Integrity Software , 2012 .
[3] Pierre Bieber,et al. ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects , 2006 .
[4] Rudolf van Megen,et al. Costs and benefits of early defect detection: experiences from developing client server and host applications , 1995, Software Quality Journal.
[5] J. Vinter,et al. FISCADE - A Fault Injection Tool for SCADE Models , 2007 .
[6] Benjamin M. Brosgol. Do-178c: the next avionics safety standard , 2011, SIGAda.
[7] M. Hoagland,et al. Feedback Systems An Introduction for Scientists and Engineers SECOND EDITION , 2015 .
[8] Barry W. Boehm,et al. Improving Software Productivity , 1987, Computer.
[9] P. Cochat,et al. Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.
[10] J. K. Buckle. Reviews and Inspections , 1982 .
[11] Liu Ying. Modeling of the Anti-Lock Braking System , 2008 .
[12] E. LESTER SMITH,et al. AND OTHERS , 2005 .
[13] Mats Per Erik Heimdahl,et al. Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier , 2005, SAFECOMP.
[14] Brian Randell,et al. Fundamental Concepts of Dependability , 2000 .
[15] Manfred Broy,et al. Software Pioneers: Contributions to Software Engineering , 2002 .
[16] Andreas Krämer,et al. Model-Based Testing of Automotive Systems , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.
[17] Raoul Velazco,et al. A Survey on Fault Injection Techniques , 2004, Int. Arab J. Inf. Technol..
[18] Klaus Lamberg,et al. Model-based Testing of Embedded Automotive Software Using Mtest , 2004 .
[19] Miroslaw Staron,et al. A Light-Weight Defect Classification Scheme for Embedded Automotive Software and Its Initial Evaluation , 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering.