期刊文献+

机电产品的可验证设计系统及其实现框架 被引量:7

Verifiable design system & its implementation framework for electro-mechanical products
下载PDF
导出
摘要 为提高机电产品的设计效率和质量,在深入研究现代设计理念、方法及可靠性理论的基础上,提出了可验证设计的概念、技术指标和基本理论体系,设计了机电产品可验证设计系统的基本框架,研究了可验证设计系统中的关键技术,为机电产品的可验证设计提供了一套行之有效的理论、方法和工具。 To improve design efficiency and quality for Electro-Mechanical Products(EMPs),concepts,technical index and basic theoretical system for verifiable design of EMPs were proposed based on research of notion and method of modern product design as well as reliability theory.Primary framework for implementing verifiable design of EMPs was designed,key technologies of verifiable design were studied.To realize verifiable design of EMPs,studies on this verifiable design system provided feasible theory,effective method and useful tools.
出处 《计算机集成制造系统》 EI CSCD 北大核心 2010年第6期1151-1157,共7页 Computer Integrated Manufacturing Systems
基金 国家自然科学基金资助项目(50775027)~~
关键词 机电产品 可验证设计 数学模型 验证技术 可靠性 产品设计 electro-mechanical products verifiable design mathematical models verification method reliability product design
  • 相关文献

参考文献13

  • 1张多利..基于功能信息的验证工程学及若干验证技术研究[D].合肥工业大学,2005:
  • 2MEHLITZ P C,PENIX J.Design for verification using design patterns to build reliable systems[EB/OL].[2009-05-05].http:/ / ti.arc.nasa.gov/people/pcrnehlitz/papers/CBSE2003,pdf. 被引量:1
  • 3MEHLITZ P C.Design for verification with dynamic assertions[C] //Proceedings of the 29th Annual IEEE/NASA Goddard Software Engineering Workshop.Washington,D.C.,USA:IEEE,2005:285-292. 被引量:1
  • 4DENG Y M,BRITTON G A.Constraint-based functional design verification for conceptual design[J].Computer-Aided Design,2000,32(14):889-899. 被引量:1
  • 5GHAREHBAGHI A M,YARAN B H,HESSABI S,et al.An assertion-based verification methodology for system-level design[J].Computers and Electrical Engineering,2007,33(4):269-284. 被引量:1
  • 6GUO Yang,QU Wanxia.Coverage driven test generation framework for RTL functional verification[C] //Proceedings of the 10th IEEE International Conference on Computer Aided Design and Computer Graphics.Washington,D.C.,USA:IEEE,2007:321-326,. 被引量:1
  • 7LEVARDY V,HOPPE M,WENZELS,et al.Process modeling procedure for verification,validation and testing planning[C] //Proceedings of the ASME Design Engineering Technical Conference.New York,N.Y.,USA:ASME,2003:875-884. 被引量:1
  • 8覃志东,雷航,桑楠,熊光泽,古幼鹏.安全关键软件可靠性验证测试方法研究[J].航空学报,2005,26(3):334-339. 被引量:33
  • 9MARKOSIAN LZ,MANSOURI-SAMAN I M,MEHLZ-TEPC.Program model checking using design-for-verification:NASA flight software case study[C] //Proceedings of 2007 IEEE Aerospace Conference.Washington,D.C.,USA:IEEE,2007:416-427. 被引量:1
  • 10HSIUNG P A,LIN S W,TSENG C H,et al.VERTAF:an application framework for the design and verification of embedded real-time software[J].IEEE Transactions on Software Engineering,2004,30(10):656-674. 被引量:1

二级参考文献24

  • 1屈婉霞,蒋句平,杨晓东,徐炜遐.并行计算机系统容错设计[J].计算机工程与科学,2005,27(9):69-70. 被引量:3
  • 2LYUMR 刘喜成 钟婉懿 等译.软件可靠性工程手册[M].北京:电子工业出版社,1997.. 被引量:3
  • 3David L P, John A, Kwan S P. Evaluation of safety-critical software [J]. Communication of ACM, 1990, 33(6): 636-648. 被引量:1
  • 4Selding P B. Faulty software caused Ariane 5 failure [J].Space News, 1996, 25(7): 24-30. 被引量:1
  • 5Leveson N G, Turner C S. An investigation of the Therac-25 accident [J]. IEEE Computer, 1993, 26(7): 18-41. 被引量:1
  • 6IEC 61508, Functional safety of electrical/electronic/ programmable electronic safety-related systems [S]. International Electrotechnical Commission, 1998. 被引量:1
  • 7Parnas D L, Asmis G J K, Madey J. Assessment of safety-critical software in nuclear power plants [J]. Nuclear Safety, 1991, 32(2): 189-198. 被引量:1
  • 8Howden W E. Good enough versus high assurance software testing and analysis methods [A]. In: Regina S S ed. Proceedings of the Third IEEE International High-Assurance Systems Engineering Symposium [C]. Washington D C: IEEE Computer Society, 1998. 166-175. 被引量:1
  • 9Miller W M, Morell L J, Noonan R E, et al. Estimating the probability of failure when testing reveals no failures [J]. IEEE Trans On Software Engineering, 1992, 18(1): 33-43. 被引量:1
  • 10Littlewood B, Strigini L. Assessment of ultra-high dependability for software-based systems [J]. Communications of the ACM, 1993, 36(11): 69-80. 被引量:1

共引文献54

同被引文献61

引证文献7

二级引证文献17

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部