A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems

Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed

2016

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.

Paper Citation

in Harvard Style

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 - Volume 1: ENASE, ISBN 978-989-758-189-2, pages 140-147. DOI: 10.5220/0005829301400147

in Bibtex Style

@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 - Volume 1: ENASE,},
year={2016},
pages={140-147},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005829301400147},
isbn={978-989-758-189-2},
}

in EndNote Style

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