|
|
| DIAS2015 |
|---|
August 20-22, 2015, Helsinki, Finland
Increasing complexity of industrial automation systems and the progress in embedded systems and communication technologies imply the wider application of distributed computing architectures. This brings new challenges, related to the lack of proper models, design patterns, middleware, software tools and verification techniques.
This workshop aims at presenting emerging results related to various aspects of distributed automation systems design.
Scope and Interests
Topics of interest include, but are not limited to:
- Theoretical frameworks for distributed automation systems design, including synchronization and coordination, formal models
- Design, simulation and verification methodologies for distributed automation systems
- Application of the Cyber-Physical Systems theories to Automations systems design and verification
- Modeling techniques and languages for distributed automation systems development, including applications of service-oriented architecture, cloud computing, Internet of Things
- New paradigms and system-level design tools for distributed automation systems
- Safety and security in distributed automation systems
- Applications of distributed automation concepts, technologies and standards in various systems such as Factory Automation, Process Automation, Energy related Automation (including Smart Grid), Building and Data Center Automation
Submission Instructions
Papers submitted to the workshop should be written in English conforming to the IEEE Conference Proceedings Format (8.5" x 11", Two-Column). The paper should be submitted through the workshop submission system at the workshop website. The length of the papers should not exceed 6 pages + 2 pages for over length charges.
Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS CPS and submitted to IEEE Xplore and CSDL. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers will be removed from the digital libraries of IEEE CS after the conference. Distinguished papers presented at the conference, after further revision, will be recommended to special issues of reputable SCI/EI-indexed journals.
Submitting a paper to the workshop means that, if the paper is accepted, at least one author should attend the workshop and present the paper.
Important Dates
Submission deadline: May 10th, 2015
Authors notification: May 31st, 2015
Camera-ready due: July 1st, 2015
Registration: July 1st, 2015
Program Chairs
Valeriy Vyatkin, Lulea University of Technology, Sweden & Aalto University, Finland
Anatoly Shalyto, Saint Petersburg ITMO University, Russia
PC Members (in alphabetical order)
William Dai, Shanghai Jiao Tong University, China
Victor Dubinin, Penza University, Russia
Hans-Michael Hanisch, Martin Luther University, Germany
Per Lindgren, Luleå University of Technology, Sweden
Evgeny Osipov, Luleå University of Technology, Sweden
Cheng Pang, Aalto University, Finland
Partha Roop, The University of Auckland, New Zealand
Zoran Salcic, The University of Auckland, New Zealand
Stavros Tripakis, Aalto University, Finland
Kevin Wang, The University of Auckland, New Zealand
|
|
|
