A UML profile and a methodology for real-time systems design

Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly based on the usage of abstract models as key artifacts, from which an implementation is derived through a series of welldefined (automated) transformations. The widely adopted input notation in MDE is the Unified Modeling Language (UML). To express models in a particular domain, and notably for the modeling of real-time embedded systems, UML profiles have been proposed, which enrich the set of UML native elements with a consistent set of extensions. In this trend, this paper develops an approach to the design of realtime systems, based on a UML profile which is obtained from the OMG standard SPT-Profile, with a few necessary modifications.