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.

References

  1. Abrial, J.-R. (1996). The B-Book. Cambridge University Press.
  2. Angelov, C., Sierszecki, K., and Marian, N. (2005). Design models for reusable and reconfigurable state machines. In the proceedings of the 3th International Conference on Embedded and Ubiquitous Computing EUC, pages 152-163, Japan.
  3. Behem, P., Benoit, P., and Meynadier, J. (1999). Météor: A successful application of b in a large project. In the proceedings of World Congress on Formal Methods in the Development of Computing Systems FM, pages 369-387, France.
  4. Cansell, D., Gibson, J., and Méry, D. (2007). Refinement: A constructive approach to formal software design for a secure e-voting interface. In the Journal of Electronic Notes in Theoretical Computer Science, 183(3):39-55.
  5. Gogniat, G., Vidal, J., Ye, L., Crenne, J., Guillet, S., De Lamotte, F., Diguet, J.-P., and Bomel, P. (2010). Self-reconfigurable embedded systems: From modeling to implementation. In the proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms ERSA, pages 84-96, USA.
  6. Krichen, F., Hamid, B., Zalila, B., Jmaiel, M., and Coulette, B. (2015). Development of reconfigurable distributed embedded systems with a model-driven approach. Concurrency and Computation: Practice and Experience, 27(6):1391-1411.
  7. Méry, D. and Singh, N. (2013). Formal specification of medical systems by proof-based refinement. ACM Transactions in Embedded Computing Systems, 12(1):15.
  8. Meyer, E. and Souquières, J. (1999). A systematic approach to transform omt diagrams to a b specification. In the proceedings of World Congress on Formal Methods in the Development of Computing Systems FM, pages 875-895, France.
  9. Nguyen, H. (décembre 1998). Dérivation de Spécifications Formelles B à partir de Spécifications Semi-formelles. PhD thesis, Conservatoire National des Arts et Métiers - CEDRIC, Paris.
  10. Oueslati, R., Mosbahi, O., Khalgui, M., and Ben Ahmed, S. (2014). New solutions for modeling and verification of b-based reconfigurable control systems. In the proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics ICINCO, pages 749-757, Austria.
  11. Theiss, S., Vasyutynsky, V., and Kabitzsch, K. (2009). Software agents in industry: A customized framework in theory and praxis. IEEE Transactions on Industrial Informatics, 5(2):563-577.
Download


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