Modeling data races using UML/MARTE profile

Author

Akshay, K.C. ; Nayak, Amiya ; Muniyal, Balachandra

Author_Institution

Dept. of Inf. & Commun. Technol., Manipal Univ., Manipal, India

fYear

2014

fDate

24-27 Sept. 2014

Firstpage

238

Lastpage

244

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.

Keywords

Unified Modeling Language; concurrency control; embedded systems; object-oriented programming; MARTE; MDE; OMG; UML profile; UML sequence diagram; Unified Modeling Language; automated detection; concurrency issue; data race; model driven engineering; modeling and analysis of real time embedded systems; object management group; object oriented software development; real time systems; standard modeling language; Arrays; Concurrent computing; Data models; Object oriented modeling; Real-time systems; Software; Unified modeling language; Concurrency; Data Race; MARTE profile; Sequence Diagram; UML;

fLanguage

English

Publisher

ieee

Conference_Titel

Advances in Computing, Communications and Informatics (ICACCI, 2014 International Conference on

Conference_Location

New Delhi

Print_ISBN

978-1-4799-3078-4

Type

conf

DOI

10.1109/ICACCI.2014.6968340

Filename

6968340