Denis Gracanin
Engineering in Blacksburg, VA
License number
Louisiana PE.0028472
Issued Date
Jul 13, 1999
Expiration Date
Mar 31, 2006
Category
Civil Engineer
Type
Electrical and Computer Engineer
Address
Address
PO Box 26, Blacksburg, VA 24063
Professional information
Systems, Methods And Apparatus For Procedure Development And Verification
US Patent:
2007007, Mar 29, 2007
Filed:
Aug 1, 2006
Appl. No.:
11/461669
Inventors:
Michael Hinchey - Bowie MD, US
James Rash - Davidsonville MD, US
Christopher Rouff - Beltsville MD, US
Denis Gracanin - Blacksburg VA, US
James Rash - Davidsonville MD, US
Christopher Rouff - Beltsville MD, US
Denis Gracanin - Blacksburg VA, US
Assignee:
NASA HQ'S - Washington DC
International Classification:
G06F 9/45
US Classification:
717136000, 703002000
Abstract:
Systems, methods and apparatus are provided through which, in some embodiments, a script is derived from scenarios, the script is analyzed, and flaws in the script are corrected. The systems, methods and apparatus may include inferring an equivalent formal model from procedures described in natural language (such as English), as scenarios, use cases, or a representation in one of a plethora of graphical notations 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, code can be automatically generated in a variety of notations. This may include high level programming languages, machine languages, and scripting languages. The approach improves the resulting code, which may be provably equivalent to the procedures described at the outset. In “reverse engineering” mode, the systems, methods and apparatus may be used to retrieve meaningful descriptions of existing scripts that implement complex procedures, which improves documentation of scripts.
Systems, Methods And Apparatus For Generation And Verification Of Policies In Autonomic Computing Systems
US Patent:
2010025, Oct 7, 2010
Filed:
Sep 18, 2006
Appl. No.:
11/532800
Inventors:
Michael G. HINCHEY - Bowie MD, US
James L. RASH - Davidsonville MD, US
Walter F. TRUSZKOWSKI - Hyattsville MD, US
Christopher A. ROUFF - Beltsville MD, US
Roy STERRITT - Newtownabbey, IE
Denis Gracanin - Blacksburg VA, US
James L. RASH - Davidsonville MD, US
Walter F. TRUSZKOWSKI - Hyattsville MD, US
Christopher A. ROUFF - Beltsville MD, US
Roy STERRITT - Newtownabbey, IE
Denis Gracanin - Blacksburg VA, US
Assignee:
NASA HQ's - Washington DC
International Classification:
G06F 9/44
US Classification:
717101, 717106
Abstract:
Described herein is a method that produces fully (mathematically) tractable development of policies for autonomic systems from requirements through to code generation. This method is illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming method described provides faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.Further, the systems, methods and apparatus described herein provide a way of analyzing policies for autonomic systems and facilities the generation of provably correct implementations automatically, which in turn provides reduced development time, reduced testing requirements, guarantees of correctness of the implementation with respect to the policies specified at the outset, and provides a higher degree of confidence that the policies are both complete and reasonable. The ability to specify the policy for the management of a system and then automatically generate an equivalent implementation greatly improves the quality of software, the survivability of future missions, in particular when the system will operate untended in very remote environments, and greatly reduces development lead times and costs.