Title :
CA-SPA: balancing the crosscutting concerns of governance and autonomy in trusted software
Author :
Miseldine, P. ; Taleb-Bendiab, A.
Author_Institution :
Dept. of Comput. & Math. Sci., Liverpool John Moores Univ.
Abstract :
This paper contends that to address and balance the crosscutting concerns of governance and autonomy to produce trusted autonomic systems, a new control policy modelling methodology is required. The paper details the design required which exploit both the design-time specification of baseline policies, and runtime refinements of governance to guarantee and assure correctness, manageability, trust, and dependability for autonomic behaviour. To this end, a concept aided-situation prediction action (CA-SPA) mechanism is specified and implemented to support this design. The paper concludes with general remarks concerning the evaluation and statements for farther works including refinement of the design introduced in this paper
Keywords :
formal specification; formal verification; security of data; software engineering; CA-SPA mechanism; concept aided-situation prediction action; control policy modelling methodology; trusted autonomic software system; Computer architecture; Computer languages; Control system synthesis; Humans; Knowledge based systems; Logic programming; Machine vision; Mathematical model; Runtime environment; Safety;
Conference_Titel :
Advanced Information Networking and Applications, 2006. AINA 2006. 20th International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-7695-2466-4
DOI :
10.1109/AINA.2006.120