Partial validation of a design specification with respect to requirements

Abstract

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