My research activity includes real-time data acquisition, data management, and data processing for dynamic processes by applying machine learning techniques in conjunction with formal techniques. In the end, my work aims at automating the entire flow by predicting the most beneficial set of parameters for such a dynamic process in soft real-time.