@inproceedings{69997faaf5044d7e85589fb00929ae47,
title = "Modeling data races using UML/MARTE profile",
abstract = "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.",
author = "Akshay, \{K. C.\} and Ashalatha Nayak and Balachandra Muniyal",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 3rd International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014 ; Conference date: 24-09-2014 Through 27-09-2014",
year = "2014",
month = nov,
day = "26",
doi = "10.1109/ICACCI.2014.6968340",
language = "English",
series = "Proceedings of the 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "238--244",
editor = "Comer, \{Douglas E.\} and Peter Mueller and Bhawna Mallick and Sougata Mukherjea and Thampi, \{Sabu M.\} and Dilip Krishnaswamy and Axel Sikora",
booktitle = "Proceedings of the 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014",
address = "United States",
}