Integrated development of distributed real-time applications with asynchronous communication
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems
Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge
Behavioral Modelling and Composition of Object Slices Using Event Observation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
An evaluation of timed scenario notations
Journal of Systems and Software
Formal verification of use case maps with real time extensions
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Modeling road traffic signals control using UML and the MARTE profile
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
This paper describes an approach for real-time modelling in UML, focusing on analysis and verification of time and scheduling-related properties. To this aim, a concrete UML profile, called the ωprofile, is defined, dedicated to real-time modelling by identifying a set of relevant concepts for real-time modelling which can be considered as a refinement of the standard SPT profile. The profile is based on a rich concept of event representing an instant of state change, and allows the expression of duration constraints between occurrences of events. These constraints can be provided in the form of OCL-like expressions annotating the specification or by means of state machines, stereotyped as ‘observers’. A framework for modelling scheduling issues is obtained by adding a notion of resource and a notion of execution time. For proving the relevance of these choices, the profile has been implemented in a validation tool and applied to case studies. It has a formal semantics and is sufficiently general and expressive to define a semantic underpinning for other real-time profiles of UML which in general define more restricted frameworks. In particular, most existing profiles handling real-time issues define a number of predefined attributes representing particular durations or constraints on them and their semantic interpretation can be expressed in the OMEGA-RT profile.