Modeling data races using UML/MARTE profile

K. C. Akshay; Ashalatha Nayak; Balachandra Muniyal

doi:10.1109/ICACCI.2014.6968340

Modeling data races using UML/MARTE profile

K. C. Akshay, Ashalatha Nayak, Balachandra Muniyal

Department of Information and Communication Technology, Manipal Institute of Technology, Manipal
Department of Computer Science and Engineering, Manipal Institute of Technology, Manipal

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

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 language	English
Title of host publication	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
Number of pages	7
ISBN (Electronic)	9781479930791
DOIs	https://doi.org/10.1109/ICACCI.2014.6968340
Publication status	Published - 26-11-2014
Event	3rd International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014 - Delhi, India Duration: 24-09-2014 → 27-09-2014

Conference

Conference	3rd International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014
Country/Territory	India
City	Delhi
Period	24-09-14 → 27-09-14

All Science Journal Classification (ASJC) codes

Computer Networks and Communications
Information Systems

Access to Document

10.1109/ICACCI.2014.6968340

Cite this

@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 = nov,

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",

note = "3rd International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014 ; Conference date: 24-09-2014 Through 27-09-2014",

}

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 proceeding › Conference 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

AN - SCOPUS:84927629168

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.

T2 - 3rd International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014

Y2 - 24 September 2014 through 27 September 2014

ER -

Modeling data races using UML/MARTE profile

Abstract

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this