MARTE Genetic Algorithm for Uncovering Scenarios Leading to Data Races in Concurrent Systems

Identifying the concurrency problems early in the design process is most important. Because, these problems caused to disturbance or damage when building larger and more complex systems. The recent trend is Model Driven Development (MDD), so there is a method used for the detecting concurrency problems, which is based on design models articulated in Unified Modeling Language (UML). The UML notation is not enough to model a system for s given purpose, so the notation is extended via profiles.

Subscribe to the Data Insider Newsletter

Learn the latest news and best practices about data science, big data analytics, artificial intelligence, data security, and more. Delivered Mondays and Thursdays

Subscribe to the Data Insider Newsletter

Learn the latest news and best practices about data science, big data analytics, artificial intelligence, data security, and more. Delivered Mondays and Thursdays

Resource Details

Research In Motion logo
Provided by:
Research In Motion
Topic:
Big Data
Format:
PDF