Fault detection in component-based models: Using BIP models

Autor:	Aliouat Zibouda, Aliouat Makhlouf, Smara Mounya
Rok vydání:	2015
Předmět:	Stuck-at fault Engineering business.industry General protection fault Software fault tolerance Component (UML) Fault coverage ComputerApplications_COMPUTERSINOTHERSYSTEMS Fault tolerance Fault model business Fault detection and isolation Reliability engineering
Zdroj:	2015 12th International Symposium on Programming and Systems (ISPS).
DOI:	10.1109/isps.2015.7245007
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::74bb6de08d82ff504c74416f677a9e7c https://doi.org/10.1109/isps.2015.7245007 Zobrazit plný text záznamu