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.

Original languageEnglish
Title of host publicationProceedings of the 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages238-244
Number of pages7
ISBN (Electronic)9781479930791
DOIs
Publication statusPublished - 26-11-2014
Event3rd International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014 - Delhi, India
Duration: 24-09-201427-09-2014

Conference

Conference3rd International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014
CountryIndia
CityDelhi
Period24-09-1427-09-14

Fingerprint

Unified Modeling Language
Real time systems
Embedded systems
Data structures
Computer simulation
Software engineering

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Information Systems

Cite this

Akshay, K. C., Nayak, A., & Muniyal, B. (2014). Modeling data races using UML/MARTE profile. In Proceedings of the 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014 (pp. 238-244). [6968340] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICACCI.2014.6968340
Akshay, K. C. ; Nayak, Ashalatha ; Muniyal, Balachandra. / Modeling data races using UML/MARTE profile. Proceedings of the 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014. Institute of Electrical and Electronics Engineers Inc., 2014. pp. 238-244
@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",
year = "2014",
month = "11",
day = "26",
doi = "10.1109/ICACCI.2014.6968340",
language = "English",
pages = "238--244",
booktitle = "Proceedings of the 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

Akshay, KC, Nayak, A & Muniyal, B 2014, Modeling data races using UML/MARTE profile. in Proceedings of the 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014., 6968340, Institute of Electrical and Electronics Engineers Inc., pp. 238-244, 3rd International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014, Delhi, India, 24-09-14. https://doi.org/10.1109/ICACCI.2014.6968340

Modeling data races using UML/MARTE profile. / Akshay, K. C.; Nayak, Ashalatha; Muniyal, Balachandra.

Proceedings of the 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014. Institute of Electrical and Electronics Engineers Inc., 2014. p. 238-244 6968340.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Modeling data races using UML/MARTE profile

AU - Akshay, K. C.

AU - Nayak, Ashalatha

AU - Muniyal, Balachandra

PY - 2014/11/26

Y1 - 2014/11/26

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84927629168&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84927629168&partnerID=8YFLogxK

U2 - 10.1109/ICACCI.2014.6968340

DO - 10.1109/ICACCI.2014.6968340

M3 - Conference contribution

SP - 238

EP - 244

BT - Proceedings of the 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Akshay KC, Nayak A, Muniyal B. Modeling data races using UML/MARTE profile. In Proceedings of the 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014. Institute of Electrical and Electronics Engineers Inc. 2014. p. 238-244. 6968340 https://doi.org/10.1109/ICACCI.2014.6968340