Modeling Data Races Using UML/MARTE Profile

Akshay, KC and Nayak, Ashalatha and Muniyal, Balachandra (2014) Modeling Data Races Using UML/MARTE Profile. In: International Conference on Advances in Computing,Communications and Informatics, 2014, GCET, Greater Noida, India.

[img] PDF
144.pdf - Published Version
Restricted to Registered users only

Download (2MB) | Request a copy
Official URL:


Unified Modeling Language(UML) is a standard language for modeling in the domain of Object Oriented Software Development. However, it lacks the modeling construct for real time systems. The UML profile for Modeling and Analysis of Real Time Embedded Systems (MARTE) has been recently standardized by Object Management Group (OMG) to provide the necessary constructs. It provides support for Model Driven Engineering (MDE) of real time systems. The goal of this paper is to present the UML/MARTE profile in identifying a concurrency issue known as data race. The proposed approach leads to a supporting tool for automated detection of data races in which UML Sequence diagram is used to specify the temporal ordering of messages

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: UML, MARTE profile, Data Race, Concurrency, Sequence Diagram
Subjects: Engineering > MIT Manipal > Computer Science and Engineering
Engineering > MIT Manipal > Information and Communication Technology
Depositing User: MIT Library
Date Deposited: 25 May 2016 12:01
Last Modified: 25 May 2016 12:01

Actions (login required)

View Item View Item