assure subsystem looks for an assurance case for the subcomponent type.. If it find one then it include assurance plans only if the assurance plan target is the same or extension - which it is not as an assurance plan always refers to an implementation. Instead we should include the assure referenced verification plans for the classifier.
assure subsystem looks for an assurance case for the subcomponent type.. If it find one then it include assurance plans only if the assurance plan target is the same or extension - which it is not as an assurance plan always refers to an implementation. Instead we should include the assure referenced verification plans for the classifier.