MOBS_OM_MK_GF_SoftTech_ICSOFT_2016

Ben Salem, M. O.; Mosbahi, O.; Khalgui, M.; Frey, G.: R-UML: An UML Profile for Verification of Flexible Control Systems. Software Technologies, Vol. 586, pp. 118-136, Feb. 2016.

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.

Keywords

UML, R-TNCES, Model transformation, Modeling, Model-based verification, PCP, Shared resource

The final publication is available at link.springer.com.