Behavior-Preserving Transformations for Design-for-Test

An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controllability and observability of the internal system behavior. This can be achieved by introducing Points of Control and Observation (PCOs) in a system. In this paper, we examine the effects of PCO insertion in a behavioral system specification expressed in the CCS process algebra. We define a collection of behavior-preserving transformations that enable PCOs to be inserted in a correct way, i.e. without disturbing the initial system behavior. The transformations are proven to preserve the observational system behavior and therefore they make the time-consuming process of a posteriori formal verification superfluous.

• Type: Conference
• Year: 2000
• Where: EUROMICRO
• Authors: Jeroen Voeten, Harald P. E. Vranken
• Keywords: CCS Process Algebra, EUROMICRO 2000, Hardware/Software Systems, Important Aspect, Software Engineering