Partial Validation of a design specification with respect to requirements

This paper presents a method for partial validation of system design specifications. In our method, the requirements are given as a set of views described with MSC and referred to as a set of MSCR. The design specification can be given in any formal language. Our method allows for the verification, against each MSCR, of each simulation of the design specification collected into a MSC and referred to as MSCT in this paper. For the verification of MSCT against MSCR, we introduce a conformance relation and an algorithm to verify this relation. Our method is illustrated with an example, the INRES protocol