Fault detection in component-based models: Using BIP models

In this paper, we will introduce our approach for fault detection in component-based models. We will defend that we can ensure safety property by Fail-Silent components. Fail-silent components are apt for fault detection using an Acceptance test. This later is a logical expression which can validate the component behavior correct or not. We will use BIP Framework for component based design, where the behavior design is based on transition system. In consequence, we can see that we can construct Fail-Silent models from basic BIP models. We will use Producer-FIFO-Consumer model to explain our approach.