Formal Specification of Automatic DMARF Based on CSP

Author

Ding, Jieqi ; Zhu, Huibiao ; Li, Qin

Author_Institution

Software Eng. Inst., East China Normal Univ., Shanghai, China

fYear

2011

fDate

27-29 April 2011

Firstpage

32

Lastpage

39

Abstract

Nowadays, along with computing system becomes more and more complex, it is even harder to control the system effectively. In order to make it easier and ensure the reliability, the computing system needs to be self managed. In 2001, IBM proposed the concept of Autonomic Computing, in which system can manage itself through controlling the interaction of all the consisted parts. However, designing the interaction and verifying the autonomic features are not easy. Formal specification can be very helpful in achieving this. In this paper, we apply Process Algebra CSP in exploring the autonomic features of DMARF system. We give the formal specification of its three features, including self protection, self-optimization and self-healing.

Keywords

audio signal processing; communicating sequential processes; fault tolerant computing; formal specification; speaker recognition; CSP; automatic DMARF system; autonomic computing; communicating sequential process; formal specification; process algebra; selfhealing feature; selfoptimization feature; selfprotection feature; Autonomic systems; Computational modeling; Control systems; Feature extraction; Loading; Optimization; Personal digital assistants; Autonomic Computing; CSP Methods; DMARF; Formal Specification;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Autonomic and Autonomous Systems (EASe), 2011 8th IEEE International Conference and Workshops on

Conference_Location

Las Vegas, NV

Print_ISBN

978-1-4577-0309-6

Type

conf

DOI

10.1109/EASe.2011.7

Filename

5946183