WSEAS Transactions on Systems and Control


Print ISSN: 1991-8763
E-ISSN: 2224-2856

Volume 14, 2019

Notice: As of 2014 and for the forthcoming years, the publication frequency/periodicity of WSEAS Journals is adapted to the 'continuously updated' model. What this means is that instead of being separated into issues, new papers will be added on a continuous basis, allowing a more regular flow and shorter publication times. The papers will appear in reverse order, therefore the most recent one will be on top.


Volume 14, 2019



Towards a Safe Development of Reconfigurable Robotic Systems

AUTHORS: Mohamed Oussama Ben Salem, Olfa Mosbahi

Download as PDF

ABSTRACT: TDeveloping reconfigurable robotic systems may be quite challenging. This contribution aims at proposing a new methodology to ensure the safety of such critical systems. It uses new tools and innovative concepts. To show the relevance of the said methodology, we apply the contribution to a real medical robotic system: BROS

KEYWORDS: Design, verification, implementation, re-configurable systems, UML, R-TNCES, robotic systems

REFERENCES:

[1] J.-J. Borrelly, E. Coste-Maniere, B. Espiau, ´ K. Kapellos, R. Pissard-Gibollet, D. Simon, and N. Turro, “The orccad architecture,” The International Journal of Robotics Research, vol. 17, no. 4, pp. 338–359, 1998.

[2] J. Albus, H.-M. Huang, A. Lacaze, M. Schneier, M. Juberts, H. Scott, S. Balakirsky, P. W. Shackleford, T. Hong, J. Michaloski et al., “4d/rcs: A reference model architecture for unmanned vehicle systems version 2.0,” 2002.

[3] R. C. Arkin and T. Balch, “Aura: Principles and practice in review,” Journal of Experimental & Theoretical Artificial Intelligence, vol. 9, no. 2- 3, pp. 175–189, 1997.

[4] N. Muscettola, G. A. Dorais, C. Fry, R. Levinson, and C. Plaunt, “Idea: Planning at the core of autonomous reactive agents,” 2002.

[5] D. B. Stewart and P. K. Khosla, “The chimera methodology: Designing dynamically reconfigurable and reusable real-time software using port-based objects,” International Journal of Software Engineering and Knowledge Engineering, vol. 6, no. 02, pp. 249–277, 1996.

[6] M. O. B. Salem, O. Mosbahi, M. Khalgui, and G. Frey, “Bros-a new robotic platform for the treatment of supracondylar humerus fracture.” in HEALTHINF, 2015, pp. 151–163.

[7] ——, “Transformation from r-uml to r-tnces: New formal solution for verification of flexible control systems,” in Software Technologies (ICSOFT), 2015 10th International Joint Conference on, vol. 2. IEEE, 2015, pp. 1–12.

[8] J. Zhang, M. Khalgui, Z. Li, O. Mosbahi, and A. M. Al-Ahmari, “R-tnces: a novel formalism for reconfigurable discrete event control systems,” Systems, Man, and Cybernetics: Systems, IEEE Transactions on, vol. 43, no. 4, pp. 757– 772, 2013.

[9] M. O. B. Salem, O. Mosbahi, M. Khalgui, and G. Frey, “Zizo: Modeling, simulation and verification of reconfigurable real-time control tasks sharing adaptive resources-application to the medical project bros.” in HEALTHINF, 2015, pp. 20–31.

[10] C. U. Smith, C. M. Llado, V. Cortellessa, A. D. ´ Marco, and L. G. Williams, “From uml models to software performance results: an spe process based on xml interchange formats,” in Proceedings of the 5th international workshop on Software and performance. ACM, 2005, pp. 87–98.

[11] A. D’Ambrogio, “A model transformation framework for the automated building of performance models from uml models,” in Proceedings of the 5th international workshop on Software and performance. ACM, 2005, pp. 75–86.

[12] S. Bernardi and J. Merseguer, “Performance evaluation of uml design with stochastic wellformed nets,” Journal of Systems and Software, vol. 80, no. 11, pp. 1843–1865, 2007.

[13] D. B. Petriu and M. Woodside, “An intermediate metamodel with scenarios and resources for generating performance models from uml designs,” Software & Systems Modeling, vol. 6, no. 2, pp. 163–184, 2007.

[14] M. Marzolla and S. Balsamo, “Uml-psi: the uml performance simulator,” in Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the. IEEE, 2004, pp. 340–341.

[15] J. Merseguer, J. Campos, S. Bernardi, and S. Donatelli, “A compositional semantics for UML state machines aimed at performance evaluation,” in Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on. IEEE, 2002, pp. 295–302.

[16] M. Woodside, D. C. Petriu, D. B. Petriu, H. Shen, T. Israr, and J. Merseguer, “Performance by unified model analysis (puma),” in Proceedings of the 5th international workshop on Software and performance. ACM, 2005, pp. 1–12.

[17] G. P. Gu and D. C. Petriu, “From uml to lqn by xml algebra-based model transformations,” in Proceedings of the 5th international workshop on Software and performance. ACM, 2005, pp. 99–110.

[18] D. C. Petriu and H. Shen, “Applying the uml performance profile: Graph grammar-based derivation of lqn models from uml specifications,” in Computer Performance Evaluation: Modelling Techniques and Tools. Springer, 2002, pp. 159– 177.

[19] ISO, “Iso/iec 19502:2005 information technology—meta object facility (mof),” 2005.

[Online]. Available: http://www.iso.org

[20] H. Bruyninckx, “Open robot control software: the orocos project,” in Robotics and Automation, 2001. Proceedings 2001 ICRA. IEEE International Conference on, vol. 3. IEEE, 2001, pp. 2523–2528.

[21] C. Schlegel, “Navigation and execution for mobile robots in dynamic environments: an integrated approach.” Ph.D. dissertation, University of Ulm, 2004.

[22] M. Quigley, K. Conley, B. Gerkey, J. Faust, T. Foote, J. Leibs, R. Wheeler, and A. Y. Ng, “Ros: an open-source robot operating system,” in ICRA workshop on open source software, vol. 3, no. 3.2, 2009, p. 5.

[23] H. Bruyninckx, M. Klotzbucher, ¨ N. Hochgeschwender, G. Kraetzschmar, L. Gherardi, and D. Brugali, “The brics component model: a model-based development paradigm for complex robotics software systems,” in Proceedings of the 28th Annual ACM Symposium on Applied Computing. ACM, 2013, pp. 1758–1764.

[24] M. Klotzbucher and H. Bruyninckx, “Coordinat- ¨ ing robotic tasks and systems with rfsm statecharts,” JOSER: Journal of Software Engineering for Robotics, vol. 3, no. 1, pp. 28–56, 2012.

[25] S. Murata, E. Yoshida, A. Kamimura, H. Kurokawa, K. Tomita, and S. Kokaji, “M-tran: Self-reconfigurable modular robotic system,” IEEE/ASME transactions on mechatronics, vol. 7, no. 4, pp. 431–441, 2002. WSEAS TRANSACTIONS on SYSTEMS and CONTROL Mohamed Oussama Ben Salem, Olfa Mosbahi E-ISSN: 2224-2856 372 Volume 14, 2019

[26] “Simulink.”

[Online]. Available: http://www. mathworks.com/products/simulink/

[27] “Robotics system toolbox.”

[Online]. Available: http://www.mathworks.com/help/robotics/ index.html

[28] C. Jang, B. Song, S. Jung, and S. Kim, “A heterogeneous coupling scheme of opros component framework with ros,” in 2012 9th International Conference on Ubiquitous Robots and Ambient Intelligence (URAI), 2012.

[29] G. Martin, L. Lavagno, and J. Louis-Guerin, “Embedded uml: a merger of real-time uml and co-design,” in Proceedings of the ninth international symposium on Hardware/software codesign. ACM, 2001, pp. 23–28.

[30] B. Selic, “Using uml for modeling complex realtime systems,” in Languages, Compilers, and Tools for Embedded Systems. Springer, 1998, pp. 250–260.

[31] A. Gherbi and F. Khendek, “Uml profiles for real-time systems and their applications.” Journal of Object Technology, vol. 5, no. 4, pp. 149– 169, 2006.

[32] A. S. Staines, “A comparison of software analysis and design methods for real time systems,” in Proceedings of World Academy of Science, Engineering and Technology, vol. 21. Citeseer, 2007.

[33] O. Group et al., “Uml profile for schedulability, perfomance and time specification,” Version 1.1, formal/05-01, vol. 2, 2005.

[34] S. Gerard, H. Espinoza, F. Terrier, and B. Selic, ´ “6 modeling languages for real-time and embedded systems,” in Model-Based Engineering of Embedded Real-Time Systems. Springer, 2010, pp. 129–154.

[35] M. Shousha, L. Briand, and Y. Labiche, “A uml/marte model analysis method for uncovering scenarios leading to starvation and deadlocks in concurrent systems,” Software Engineering, IEEE Transactions on, vol. 38, no. 2, pp. 354– 374, 2012.

[36] F. Mallet and C. Andre, “On the seman- ´ tics of uml/marte clock constraints,” in Object/Component/Service-Oriented RealTime Distributed Computing, 2009. ISORC’09. IEEE International Symposium on. IEEE, 2009, pp. 305–312.

[37] B. Hamid and F. Krichen, “Model-based engineering for dynamic reconfiguration in drtes,” in Proceedings of the Fourth European Conference on Software Architecture: Companion Volume. ACM, 2010, pp. 269–276.

[38] A. Koubaa, ˆ Robot Operating System (ROS): The Complete Reference. Springer, 2016, vol. 1.

[39] “The Open Source Robotics Foundation,” http:// www.osrfoundation.org/, accessed: 2016-09-14.

[40] M. O. B. Salem, O. Mosbahi, M. Khalgui, and G. Frey, “R-uml: An uml profile for verification of flexible control systems,” in International Conference on Software Technologies. Springer, 2015, pp. 118–136.

[41] ——, “ZiZo: Modeling, simulation and verification of reconfigurable real-time control tasks sharing adaptive resources. application to the medical project BROS,” in HEALTHINF 2015 - Proceedings of the International Conference on Health Informatics, Lisbon, Portugal, 12-15 February, 2015, 2015, pp. 20–31.

[42] M. O. Ben Salem, O. Mosbahi, M. Khalgui, Z. Jlalia, G. Frey, and M. Smida, “Brometh: Methodology to design safe reconfigurable medical robotic systems,” The International Journal of Medical Robotics and Computer Assisted Surgery, 2016.

[43] M. H. T. Hack, “Analysis of production schemata by petri nets,” DTIC Document, Tech. Rep., 1972.

[44] A. Valmari, “Stubborn sets for reduced state space generation,” in International Conference on Application and Theory of Petri Nets. Springer, 1989, pp. 491–515.

[45] M. Silva, “Sur le concept de macroplace et son utilisation pour l’analyse des reseaux de petri,” RAIRO-Systems Analysis and Control, vol. 15, no. 4, pp. 57–67, 1981.

[46] G. Berthelot, “Transformations and decompositions of nets,” in Petri Nets: Central models and their properties. Springer, 1987, pp. 359–376.

[47] M. Silva and J. M. Colom, “On the computation of structural synchronic invariants in p/t nets,” in European Workshop on Applications and Theory in Petri Nets. Springer, 1987, pp. 386–417.

[48] P. H. Starke and S. Roch, Analysing signal-net systems. Professoren des Inst. fur Informatik, ¨ 2002.

[49] “Dynamic reconfigure,” http://wiki.ros.org/ dynamic\ reconfigure/, accessed: 2018-06-16.

[50] P. Mikaelsson and M. Curtis, “Portrait-robot d’un petit prodige: Abb presente son nouveau ´ robot irb 120 et son armoire de commande irc5 compact,” Revue ABB, no. 4, pp. 39–41, 2009.

[51] “Ros-industrial support for abb manipulators (metapackage).” http://wiki.ros.org/abb, accessed: 2017-02-10.

[52] C. Connolly, “Technology and applications of abb robotstudio,” Industrial Robot: An International Journal, vol. 36, no. 6, pp. 540–545, 2009.

WSEAS Transactions on Systems and Control, ISSN / E-ISSN: 1991-8763 / 2224-2856, Volume 14, 2019, Art. #45, pp. 359-374


Copyright Β© 2019 Author(s) retain the copyright of this article. This article is published under the terms of the Creative Commons Attribution License 4.0

Bulletin Board

Currently:

The editorial board is accepting papers.


WSEAS Main Site