登入選單

返回Google圖書搜尋

Safety Verification of ADA Programs in MURPHY

Stephen Sungdeok Cha

出版	University of California, Irvine, 1987
URL	http://books.google.com.hk/books?id=1VlBHQAACAAJ&hl=&source=gbs_api

註釋

Abstract: "MURPHY is a experimental methodology, which will include an integrated tool set, for building safety-critical, real-time software. Although it is language independent, many safety-critical software projects are currently planning to use Ada. This paper presents the semantic templates for the verification of the safety of Ada programs using Software Fault Tree Analysis. An example is shown of applying the technique to an Ada program, and the tools in the MURPHY tool set to aid in this type of analysis are described."