Systems, methods and apparatus for generation and verification of policies in autonomic computing systems

Michael Hinchey (Inventor), James Rash (Inventor), Walter Truszkowski (Inventor), Christopher Rouff (Inventor), Roy Sterritt (Inventor), Denis Gracanin (Inventor)

Research output: Patent

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.
LanguageEnglish
Patent number11/532,800
Priority date8/02/11
Publication statusPublished - 1 Dec 2005

Fingerprint

Testing
Costs
Code generation

Cite this

Hinchey, M., Rash, J., Truszkowski, W., Rouff, C., Sterritt, R., & Gracanin, D. (2005). Systems, methods and apparatus for generation and verification of policies in autonomic computing systems. (Patent No. 11/532,800).
Hinchey, Michael (Inventor) ; Rash, James (Inventor) ; Truszkowski, Walter (Inventor) ; Rouff, Christopher (Inventor) ; Sterritt, Roy (Inventor) ; Gracanin, Denis (Inventor). / Systems, methods and apparatus for generation and verification of policies in autonomic computing systems. Patent No.: 11/532,800.
@misc{cf5946124b6044dabf23f515fd4da02f,
title = "Systems, methods and apparatus for generation and verification of policies in autonomic computing systems",
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.",
author = "Michael Hinchey and James Rash and Walter Truszkowski and Christopher Rouff and Roy Sterritt and Denis Gracanin",
note = "Country: USA Patent Application Date: 2006-09-18; 11/532,800",
year = "2005",
month = "12",
day = "1",
language = "English",
type = "Patent",

}

Hinchey, M, Rash, J, Truszkowski, W, Rouff, C, Sterritt, R & Gracanin, D 2005, Systems, methods and apparatus for generation and verification of policies in autonomic computing systems, Patent No. 11/532,800.

Systems, methods and apparatus for generation and verification of policies in autonomic computing systems. / Hinchey, Michael (Inventor); Rash, James (Inventor); Truszkowski, Walter (Inventor); Rouff, Christopher (Inventor); Sterritt, Roy (Inventor); Gracanin, Denis (Inventor).

Patent No.: 11/532,800.

Research output: Patent

TY - PAT

T1 - Systems, methods and apparatus for generation and verification of policies in autonomic computing systems

AU - Hinchey, Michael

AU - Rash, James

AU - Truszkowski, Walter

AU - Rouff, Christopher

AU - Sterritt, Roy

AU - Gracanin, Denis

N1 - Country: USA Patent Application Date: 2006-09-18

PY - 2005/12/1

Y1 - 2005/12/1

N2 - 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.

AB - 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.

M3 - Patent

M1 - 11/532,800

ER -

Hinchey M, Rash J, Truszkowski W, Rouff C, Sterritt R, Gracanin D, inventors. Systems, methods and apparatus for generation and verification of policies in autonomic computing systems. 11/532,800. 2005 Dec 1.