| Citation: | BAO Meng-yao, LI Guo, DING Shui-ting. Research on model-based safety analysis for aero-engine[J]. Journal of Aerospace Power, 2016, 31(8): 2029-2039. doi: 10.13224/j.cnki.jasp.2016.08.030 |
| [1] |
U.S.Department of Transportation Federal Aviation Administration.AC 33.75-1A Guidance material for 14 CFR §33.75,safety analysis[S].Washington,America:Federal Aviation Administration,2007:1-5.
|
| [2] |
U.S.Department of Transportation Federal Aviation Administration.FAR33 The United Ststates code of federal regulations,title 14,aeronautics and space:Part 33 airworthiness standards:aircraft engines[S].Washington,America:Federal Aviation Administration,2009:1-5.
|
| [3] |
Certification Specifications Group.CS-E510 Certification specifications for engines[S].Cologne,Germany:Eurpean Aviation Safety Agency,2003:1-6.
|
| [4] |
中国民用航空总局.CCAR33中国民用航空适航规章第33部R2版,航空发动机适航标准[S].北京:中国民用航空总局,2011:1-2.
|
| [5] |
Society of Automotive Engineers International.ARP 4754 Certification considerations for highly-integrated or complex aircraft systems[S].Warrendale:Society of Automotive Engineers,1996:1-12.
|
| [6] |
Society of Automotive Engineers International.ARP 4761 Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment[S].Warrendale:Society of Automotive Engineers,1996:4-6.
|
| [7] |
McDermott R E,Mikulak R J,Beauregard M R.The basics of FMEA[M].Boca Raton:CRC Press,1996.
|
| [8] |
Bruns G,Anderson S.Validating safety models with fault trees.[C]//Proceedings of 12th International Conference on Computer Safety,Reliability,and Security.Edinburgh:Springer-Verlag,1993:21-30.
|
| [9] |
Schellhorn G,Ortmeier F,Reif W.Formal safety analysis of a radio-based railroad crossing using deductive cause-consequence analysis (DCCA)[C]//Proceedings of the 5th European conference on Dependable Computing.Hungary:Springer-Verlag,2005:20-22.
|
| [10] |
Aftab A H,Aamer N.A survey of safety analysis techniques for safety critical systems[J].International Journal of Future Computer and Communication,2013,2(2):134-137.
|
| [11] |
Wilkinson P J,Kelly T P.Functional hazard analysis for highly integrated aerospace systems[C]//Proceedings of the IEE Seminar on Certification of Ground/Air Systems.London:IEEE Computer Society Press,1998:3-6.
|
| [12] |
Dawkins S K,Kelly T P,McDermid J A,et al.Issues in the conduct of PSSA[C]//Proceedings of the 17th International System Safety Conference (ISSC).New York:System Safety Society,1999:77-86.
|
| [13] |
Xu K,Zhu M,Fan Z,et al.FMEA of turbocharged diesel engine system using fuzzy inferencing[C]//Proceedings of Society of Automotive Engineers.New York:American Technical Publishers Limited Company,2000:529-535.
|
| [14] |
Xu K.Fuzzy assessment of FMEA for engine system[J].Reliability Engineering & System Safety,2002,75(1):17-29.
|
| [15] |
Fenelon P,McDermid J A,Nicholson M,et al.Towards integrated safety analysis and design[EB/OL].[2013-09-24.].http://www-users.cs.york.ac.uk/~djp/publications/djp-acm.pdf.
|
| [16] |
Wang Y.Development of a computer-aided fault tree synthesis methodology for quantitative risk analysis in the chemical process industry[D].Texas:Texas A&M University,2004.
|
| [17] |
Lisagor O,McDermid J A,Pumfrey D J.Towards a practicable process for automated safety analysis[C]//Proceedings of the 24th International System Safety Conference.New York:System Safety Society,2006:596-607.
|
| [18] |
Joshi A,Miller S P,Whalen M W,et al.A proposal for model-based safety analysis[C]//Proceedings of the 24th Digital Avionics Systems Conference.New York:Springer-Verlag,2005:393-405.
|
| [19] |
Joshi A,Whalen M W.,Heimdahl M P.Model-based safety analysis final report[EB/OL].[2013-09-24].http://shemesh.larc.nasa.gov/fm/papers/Joshi-CR-2006-213953-Model-Based-SA.pdf.
|
| [20] |
Michael W W,Darren D C,Steven P M,et al.Integration of formal analysis into a model-based software development process[C]//Proceedings of the 12th International Workshop on Industrial Critical Systems.Berlin:Springer-Verlag,2007:68-84.
|
| [21] |
Berry G.Synchronous design and verification of critical embedded systems using SCADE and Esterel[C]//Proceedings of the 12th International Conference on Formal Methods for Industrial Critical Systems.Berlin:Springer-Verlag,2007:1-2.
|
| [22] |
Hinchey M G,Bowen J.P.Industrial strength formal methods in practice[M].London:Springer-Verlag,1999.
|
| [23] |
Jackson D,Tannenbaum B,Jachimczyk W,et.al.Adoption,impact,and vision of model-based design[C]//Proceedings of the International Society for Optical Engineering.Natick:International Society for Optical Engineering,2006:12-17.
|
| [24] |
Ahmadian M,Nazari Z J,Nakhaee N,et al.Model based design and SDR[C]//Proceedings of the 2nd IEE/EURASIP Conference on DSP Enabled Radio.Southampton:Institution of Electrical Engineers,2005:19-25.
|
| [25] |
Miller S,Heimdahl M P,Tribble A C.Proving the shalls[J].International Journal on Software Tools for Technology,2006,8(4/5):303-319.
|
| [26] |
Bozzano M.ESACS:An integrated methodology for design and safety analysis of complex systems[C]//Proceedings of the European Safety and Reliability Conference.Maastricht:Balkema Publishers,2003:237-245.
|
| [27] |
Akerlund O,Bieber P,Boede E,et al.ISAAC,A framework for integrated safety analysis of functional,geometrical and human aspects[C]//Proceedings of Electronic Reciprocal Transfer System.Toulouse,France:Tagungsbeitrag,2006:145-162.
|
| [28] |
Edmund M C,Grumberg O,Doron A.Model checking[M].Cambridg:Massachusetts Institute of Technology Press,1999.
|
| [29] |
U.S.Department of Transportation Federal Aviation Administration.AC 20-115C Airborne software assurance[S].Washington,America:Federal Aviation Administration,2013:1-3.
|
| [30] |
Akerlund,O,Nadjm-Tehrani S,Stalmarck G.Integration of formal methods into system safety and reliability analysis[C]//Proceedings of 17th International System Safety Conference.New York:System Safety Society,1999:326-336.
|
| [31] |
Badreddin E,Abdel-geliel M.Dynamic safety margin principle and application in control of safety critical systems[C]//Proceedings of IEEE International Conference.Taiwan:IEEE Computer Society Press,2004:689-694.
|
| [32] |
张根保,何桢,刘英.质量管理与可靠性[M].北京:中国科学技术出版社,2005.
|