Paper Unlock

Authors: Atef Gharbi 1 ; Hamza Gharsellaoui 1 ; Mohamed Khalgui 2 and Samir Ben Ahemd 3

Affiliations: 1 INSAT, Tunisia ; 2 ITIA-CNR, Italy ; 3 FST, Tunisia

ISBN: 978-989-8565-68-6

Keyword(s): Functional Safety, Control System, Petri Net.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Model Analysis and Checking ; Model Execution and Simulation ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering

Abstract: The paper deals with the functional safety of distributed control systems following the component-based approach. A control component is classically defined as a software unit allowing the control of a physical process. When a fault occurs in the plant, the system should be reconfigured dynamically to be adapted by adding-removing or updating software components for the safety of the controlled physical processes. An agent-based architecture is proposed therefore to control the plant’s evolution before applying any possible reconfiguration scenario of the system. When the system is distributed on networked controllers, we propose a control agent for each device but we need also a coordination agent to allow safety distributed reconfigurations. The unique coordinator uses well-defined matrices and a protocol for this coordination. We model the whole architecture by using ordinary Petri nets and apply SESA for the verification of CTL properties of the system. The paper’s contribution is applied to two benchmark production systems at Martin Luther University in Germany. (More)

PDF ImageFull Text


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Gharbi, A.; Gharsellaoui, H.; Khalgui, M. and Ben Ahemd, S. (2013). Model Checking of Distributed Component-based Control Systems.In Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013) ISBN 978-989-8565-68-6, pages 512-519. DOI: 10.5220/0004492605120519

author={Atef Gharbi. and Hamza Gharsellaoui. and Mohamed Khalgui. and Samir Ben Ahemd.},
title={Model Checking of Distributed Component-based Control Systems},
booktitle={Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013)},


JO - Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013)
TI - Model Checking of Distributed Component-based Control Systems
SN - 978-989-8565-68-6
AU - Gharbi, A.
AU - Gharsellaoui, H.
AU - Khalgui, M.
AU - Ben Ahemd, S.
PY - 2013
SP - 512
EP - 519
DO - 10.5220/0004492605120519

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.