@inproceedings{34df8a24534f47eb9eaf5e27d59e8033,
title = "A UML/MARTE model analysis method for detection of data races in concurrent systems",
abstract = "The earlier concurrency problems are identified, the less costly they are to fix. As larger, more complex concurrent systems are developed, early detection of problems is made increasingly difficult. We have developed a general approach meant to be used in the context of Model Driven Development. Our approach is based on the analysis of design models expressed in the Unified Modeling Language (UML) and uses specifically designed genetic algorithms to detect concurrency problems. Our main motivation is to devise practical solutions that are applicable in the context of UML design of concurrent systems without requiring additional modeling. All relevant concurrency information is extracted from UML models that comply with the UML Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile. Our approach was shown to work for both deadlocks and starvation. The current paper addresses data race detection, further illustrating how our approach can be tailored to other concurrency issues. Results on a case study inspired from the Therac-25 radiation machine show that our approach is effective in the detection of data races.",
keywords = "Concurrent systems, Data races, Genetic algorithms, MARTE, MDD, Model analysis, UML",
author = "Marwa Shousha and Briand, {Lionel C.} and Yvan Labiche",
year = "2009",
doi = "10.1007/978-3-642-04425-0_5",
language = "English",
isbn = "3642044247",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "47--61",
booktitle = "Model Driven Engineering Languages and Systems - 12th International Conference, MODELS 2009, Proceedings",
note = "12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009 ; Conference date: 04-10-2009 Through 09-10-2009",
}