View article

In this paper a cybernetics-based viable system architectural model is introduced, which provides a blueprint for high-assurance systems and a meta-control model necessary for the adjustable deliberation and autonomy of self-managing systems. The logical formalism is provided by the Situation Calculus and underpinned by an Enhanced Belief-Desires-Intentions (EBDI) framework to facilitate the representation and reasoning of scaleable autonomic computing systems.