A design flow with integrated verification of requirements and faults in safety-critical systems
暂无分享,去创建一个
John A. Chandy | Wei Yan | Daniel Fontaine | Laurent D. Michel | J. Chandy | L. Michel | D. Fontaine | Wei Yan
[1] Carl Carmichael,et al. Triple Module Redundancy Design Techniques for Virtex FPGAs, Application Note 197 , 2001 .
[2] Philip Samuel,et al. Automatic code generation using unified modeling language activity and sequence models , 2016, IET Softw..
[3] M. Mulazzani. Reliability Versus Safety , 1985 .
[4] Stephan Langhans,et al. Aircraft lifecycle cost-benefit analysis of PHM systems , 2010 .
[5] Cary R. Spitzer. Avionics : Development and Implementation , 2006 .
[6] Kenneth Gl Simpson,et al. The Safety Critical Systems Handbook : A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2015 Edition) and Related Guidance Ed. 4 , 2016 .
[7] Sandeep K. Shukla,et al. SystemCXML: An Exstensible SystemC Front end Using XML , 2005, FDL.
[8] Mehrdad Ehsani,et al. Aircraft power systems: technology, state of the art, and future trends , 2000 .
[9] Jordi Cabot,et al. On the verification of UML/OCL class diagrams using constraint programming , 2014, J. Syst. Softw..
[10] M. Sinnett,et al. Aero Quarterly Qtr_04 | 07 787 No-bleed Systems: Saving Fuel and Enhancing Operational Efficiencies , 2022 .