Prof. Dr. Mehmet S. ÜNLÜTÜRK Yaşar Üniversitesi

ITEA ASSUME PROJECT

 

itea

The ASSUME project (2018) presents a next-generation dynamic analysis tool that scales with the complexity of future mobility systems, covering multi-core targets and industrial standards for model-driven development. The hybrid algorithm developed in this project proves advanced safety properties of concurrent systems. Ericsson Turkey is the leading provider of Telecommunications equipment, software and services. Because of its experience in Telecommunications software, Ericsson aims to contribute by bringing its Java applications from this domain, applying the implemented hybrid algorithm on these software applications, working on fine tuning of these algorithm, as well as on the development of new algorithms.  A hybrid algorithm based on the open source DRDCheck tool was developed to test the Ericsson’s Java applications. Hybrid algorithm includes the LockSet algorithm as well as the Lamport’s happens-before algorithm to reduce the number of false alarms in catching the dynamic data races. The number of false positives was decreased (from 61% to 0%) and the response time was improved tremendously with the developed hybrid software (Dynamic Data Race Detection).

Prof. Dr. Mehmet S. ÜNLÜTÜRK Yaşar Üniversitesi