发明名称 SYSTEMS, METHODS AND APPARATUS FOR PATTERN MATCHING IN PROCEDURE DEVELOPMENT AND VERIFICATION
摘要 Systems, methods and apparatus are provided through which, in some embodiments, a formal specification is pattern-matched from scenarios, the formal specification is analyzed, and flaws in the formal specification are corrected. The systems, methods and apparatus may include pattern-matching an equivalent formal model from an informal specification. Such a model can be analyzed for contradictions, conflicts, use of resources before the resources are available, competition for resources, and so forth. From such a formal model, an implementation can be automatically generated in a variety of notations. The approach can improve the resulting implementation, which, in some embodiments, is provably equivalent to the procedures described at the outset, which in turn can improve confidence that the system reflects the requirements, and in turn reduces system development time and reduces the amount of testing required of a new system. Moreover, in some embodiments, two or more implementations can be "reversed" to appropriate formal models, the models can be combined, and the resulting combination checked for conflicts. Then, the combined, error-free model can be used to generate a new (single) implementation that combines the functionality of the original separate implementations, and may be more likely to be correct.
申请公布号 US2007067755(A1) 申请公布日期 2007.03.22
申请号 US20060533837 申请日期 2006.09.21
申请人 U.S.A. AS REPRESENTED BY THE ADMINISTRATOR OF THENATIONAL AERONAUTICS AND SPACE ADM 发明人 HINCHEY MICHAEL G.;RASH JAMES L.;ROUFF CHRISTOPHER A.
分类号 G06F9/44;G06F9/45 主分类号 G06F9/44
代理机构 代理人
主权项
地址