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