ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

DMTS 2019 - International Symposium on Data & Model-Driven Methods for Trustworthy Systems

Date2019-08-19 - 2019-08-23

Deadline2019-03-19

VenueLeicester, UK - United Kingdom UK - United Kingdom

Keywords

Websitehttp://www.smart-world.org/2019/scalcom/DA4IA

Topics/Call fo Papers

With the development of large-scale systems, how to guarantee the trustworthy has become a key issue. Model-driven methods have played crucial roles in designing and analyzing such complex systems. With the prevalence of Big Data, the wealth of data and logs can also be used in the modern system development process. The academia, the industry, and even the government institutions have already begun to pay attention to the approaches that utilize data & model-driven methods for guaranteeing the system trustworthy.
Although data & model-driven methods have attracted much attention, there are strong needs for novel methods of integrating data and model(formal or informal), and proposing more effective methodologies. This workshop will provide a forum to discuss fundamental issues on research and development of data & model-driven methods for trustworthy systems as well as challenges in design and implementation of novel models, architectures and systems.
Topics of Interest
The relevant topics include, but not limited to:
•   Data and model fusion methods for system design, analysis and reconstruction
•   Data and model fusion methods for system monitoring and controling
•   Model-based Complex Event Processing architectures
•   Novel Process Mining methods
•   Process Mining methods for dependable and security systems
•   Data-driven methods for dependable and security systems
•   Design and implementation of data and model fusion related applications
•   Formal model-based analytics, security and management
•   Behavior-based online monitoring technologies for security and management
•   Petri net theory and application with data analysis
•   Analytical methods for formal model with data

Last modified: 2019-03-11 17:02:14