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)