loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Raja Oueslati 1 ; Olfa Mosbahi 2 ; Mohamed Khalgui 3 and Samir Ben Ahmed 4

Affiliations: 1 University of Carthage and University of Tunis El Manar, Tunisia ; 2 University of Carthage, Tunisia ; 3 Xidian University and University of Carthage, China ; 4 University of Tunis El Manar, Tunisia

Keyword(s): Reconfigurable Control System, B Method, Modeling, UML, Code Generation.

Related Ontology Subjects/Areas/Topics: Service-Oriented Software Engineering and Management ; Software and Systems Development Methodologies ; Software Engineering

Abstract: This research paper deals with the modeling and code generation of Reconfigurable Control Systems (RCS) following UML and B methods. Reconfiguration means dynamic changes of the system behavior at run-time according to well-defined conditions to adapt it to its environment. A reconfiguration scenario is applied as a response to user requirements or any possible evolution in its environment. We affect a Reconfiguration Agent (RA) to RCS to apply an automatic reconfiguration. A new approach called (R-UML-B) is proposed. It consists of three complementary phases: UML specification, B specification and the simulation phase. The first phase models the RCS following UML class and state diagrams. The second phase translates UML specification into B specification according to the well-defined rules and R-UML-B formalism to define the Behavior, Control, Listener, Database and Executive modules of the RCS. Then, we determine the refinement model and the code generation of the B abstract model in C code. We verify the RCS by following the B method in order to guarantee the consistency and the correctness of the specification, refinement and code generation levels. The third phase imports the generated C code to implement a simulator, named B Simulator in order to test and validate the proposed approach. All the contributions of this work are applied to the benchmark production system EnAS. (More)

CC BY-NC-ND 4.0

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 44.213.75.78

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:
Oueslati, R.; Mosbahi, O.; Khalgui, M. and Ahmed, S. (2016). A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - ENASE; ISBN 978-989-758-189-2; ISSN 2184-4895, SciTePress, pages 140-147. DOI: 10.5220/0005829301400147

@conference{enase16,
author={Raja Oueslati. and Olfa Mosbahi. and Mohamed Khalgui. and Samir Ben Ahmed.},
title={A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - ENASE},
year={2016},
pages={140-147},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005829301400147},
isbn={978-989-758-189-2},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - ENASE
TI - A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems
SN - 978-989-758-189-2
IS - 2184-4895
AU - Oueslati, R.
AU - Mosbahi, O.
AU - Khalgui, M.
AU - Ahmed, S.
PY - 2016
SP - 140
EP - 147
DO - 10.5220/0005829301400147
PB - SciTePress