A Design for an Assessment Process for Dependability based on a Formal Model

K. Okamoto, Y. Kinoshita, T. Seino, N. Izumi, K. Hasida, and H. Takamura (Japan)


Assessment, Dependability, Guideline, Formal Model


In this paper we propose a formal model-based assess ment process for dependability and report current situation of our research. More precisely we propose an assessment process for dependability, which utilizes two kinds of BOK’s and a formal model which can be referred from both BOK’s, and then we aim to reduce individual expertise and cost for assessment.

Important Links:

Go Back