Abstract
Unified Modeling Language (UML) is currently accepted as the standard for modeling software and control systems since it allows to highlight different aspects of the system under design. Nevertheless, UML lacks formal semantics and, hence, it is not possible to apply, directly, mathematical techniques on UML models in order to verify them. Furthermore, UML does not feature explicit semantics to model flexible control systems sharing adaptive shared resources either. Thus, this work proposes a new UML profile, baptized R-UML (Reconfigurable UML), to model such reconfigurable systems. R-UML is enriched with a PCP-based solution for the management of resource sharing. The paper also presents an automatic translation of R-UML into R-TNCES, a Petri Net-based formalism, in order to support model checking.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bahill, T., Daniels, J.: Using objected-oriented and UML tools for hardware design: a case study. Syst. Eng. 6(1), 28–48 (2003)
Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Precise Modeling With UML. Addison-Wesley, Boston (1998). (Addison-Wesley Object Technology Series)
Fenton, N.E., Neil, M.: A critique of software defect prediction models. IEEE Trans. Softw. Eng. 25(5), 675–689 (1999)
Lilius, J., Paltor, I.P.: The production cell: an exercise in the formal verification of a UML model (1999)
Cardoso, J., Sibertin-Blanc, C.: Ordering actions in sequence diagrams of UML. In: Proceedings of the 23rd International Conference on Information Technology Interfaces, ITI 2001, pp. 3–14. IEEE, June 2001
Cortellessa, V., Mirandola, R.: Deriving a queueing network based performance model from UML diagrams. In: Proceedings of the 2nd International Workshop on Software and Performance, pp. 58–70. ACM, September 2000
Mikk, E., Lakhnech, Y., Siegel, M., Holzmann, G.J.: Implementing statecharts in PROMELA/SPIN. In: Proceedings of the 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, pp. 90–101. IEEE (1998)
Lam, V.S.: A formalism for reasoning about UML activity diagrams. Nord. J. Comput. 14(1), 43–64 (2007)
King, P., Pooley, R.: Using UML to derive stochastic Petri net models. In: Proceedings of the 15th UK Performance Engineering Workshop, pp. 45–56, July 1999
Bondavalli, A., Majzik, I., Mura, I.: Automated dependability analysis of UML designs. In: Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1999 (ISORC 1999), pp. 139–144. IEEE (1999)
Ben Salem, M., Mosbahi, O., Khalgui, M., Frey, G.: Modeling, simulation and verification of reconfigurable real-time control tasks sharing adaptive resources - application to the medical project BROS. In: Proceedings of the International Conference on Health Informatics, pp. 20–31 (2015). ISBN: 978-989-758-068-0
Ben Salem, M., Mosbahi, O., Khalgui, M., Frey, G.: BROS - a new robotic platform for the treatment of supracondylar humerus fracture. In: Proceedings of the International Conference on Health Informatics, pp. 151-163 (2015). ISBN 978-989-758-068-0
Salem, M.O.B., Mosbahi, O., Khalgui, M.: PCP-based solution for resource sharing in reconfigurable timed net condition/event systems
Zhang, J., Khalgui, M., Li, Z., Mosbahi, O., Al-Ahmari, A.M.: R-TNCES: a novel formalism for reconfigurable discrete event control systems. IEEE Trans. Syst. Man Cybern. Syst. 43(4), 757–772 (2013)
Hanisch, H.M., Thieme, J., Luder, A., Wienhold, O.: Modeling of PLC behavior by means of timed net condition/event systems. In: Proceedings of the 1997 6th International Conference on Emerging Technologies and Factory Automation, ETFA 1997, pp. 391–396. IEEE, September 1997
Goodenough, J.B., Sha, L.: The priority ceiling protocol: a method for minimizing the blocking of high priority Ada tasks. ACM 8(7), 20–31 (1988)
Lobov, A., Lastra, J.L.M., Tuokko, R.: Application of UML in plant modeling for model-based verification: UML translation to TNCES. In: 3rd IEEE International Conference on Industrial Informatics, INDIN 2005, pp. 495–501. IEEE, August 2005
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.E.: Object-oriented Modeling and Design. Prentice-hall, Englewood Cliffs (1991). vol. 199(1)
Starke, P.H., Roch, S.: Analysing signal-net systems. Professoren des Inst. fr Informatik (2002)
Acknowledgements
This research work is carried out within a MOBIDOC PhD thesis of the PASRI program, EU-funded and administered by ANPR (Tunisia). The BROS national project is a collaboration between the Children Hospital of Bchir Hamza (Tunis), eHTC and INSAT (LISI Laboratory) in Tunisia.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Salem, M.O.B., Mosbahi, O., Khalgui, M., Frey, G. (2016). R-UML: An UML Profile for Verification of Flexible Control Systems. In: Lorenz, P., Cardoso, J., Maciaszek, L., van Sinderen, M. (eds) Software Technologies. ICSOFT 2015. Communications in Computer and Information Science, vol 586. Springer, Cham. https://doi.org/10.1007/978-3-319-30142-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-30142-6_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-30141-9
Online ISBN: 978-3-319-30142-6
eBook Packages: Computer ScienceComputer Science (R0)