posted by organizer: rpjetley || 3674 views || tracked by 3 users: [display]

INDIN-Modern Software Engineering 2016 : INDIN 2016 Special Session on Modern Software Engineering Methods for Industrial Automation Systems

FacebookTwitterLinkedInGoogle

Link: http://ieee-indin2016.sciencesconf.org/
 
When Jul 18, 2016 - Jul 21, 2016
Where FUTUROSCOPE-POITIERS, FRANCE
Submission Deadline Feb 15, 2016
Notification Due Apr 15, 2016
Final Version Due May 1, 2016
Categories    automation engineering   control systems   industrial informatics   software engineering
 

Call For Papers

Software is playing an increasingly important role in assuring effective and efficient operation of industrial automation engineering systems. However software engineering methods applied in this field lag behind the conventional software engineering methods, where tremendous progress has been made in the last years. These state-of-the-art software engineering techniques and tools need to be interpreted, adapted, and extended to meet the special requirements and particularities prevalent in the automation domain.
The aim of this session is to present new approaches and methods for the design of software for use in factory and energy automation which follows the latest trends from the software engineering domain. Additionally, the session will address the challenges in adopting state-of-the-art software engineering tools and techniques to the automation domain and discuss various approaches to tackle the issues.

Topics of interest include, but are not limited to:
- Software engineering methods for automation, control and SCADA systems
- Component-based design of automation and control systems
- Programming languages and tools for automation systems
- Visual programming
- Model-driven design of automation and control systems
- Test-driven software quality assurance of automation and control systems
- Quality assurance methods: testing, simulation, formal verification, defect analysis
- Execution semantics of automation software
- Latest developments of standards (e.g., IEC 61131-3, IEC 61499, IEC 61850, etc.)
- Metrics of success in software development in automation
- Program analysis techniques for industrial applications (e.g., Dynamic analysis, Static analysis, Impact analysis)
- Tools and techniques for automated testing of IEC61131-3 language programs
- Testing frameworks for automation systems (test beds for unit testing, integration testing, regression testing, etc.)

Papers can be submitted on the INDIN 2016 paper submission website. Papers must conform to the conference formatting guidelines.

Contact: Raoul Jetley (raoul.jetley@in.abb.com)

Related Resources

Ei/Scopus-CMLDS 2026   2026 3rd International Conference on Computing, Machine Learning and Data Science (CMLDS 2026)
Ei/Scopus-CNIOT 2026   2026 7th IEEE International Conference on Computing, Networks and Internet of Things (CNIOT 2026)
IEEE ICMLT 2026   IEEE--2026 11th International Conference on Machine Learning Technologies (ICMLT 2026)
SPIE CVIT 2026   SPIE--2026 7th International Conference on Computer Vision and Information Technology (CVIT 2026)
ACM NLPAI 2026   ACM--2026 7th International Conference on Natural Language Processing and Artificial Intelligence (NLPAI 2026)
ICSE 2027   The 49th International Conference on Software Engineering
IEEE CCAI 2026   IEEE--2026 6th International Conference on Computer Communication and Artificial Intelligence (CCAI 2026)
IEEE ICIST 2026   IEEE--2026 The 5th International Conference on Intelligent Science and Technology (ICIST 2026)
IEEE ICCTA 2026   IEEE--2026 12th International Conference on Computer Technology Applications (ICCTA 2026)--ESCI
CSECS 2026   2026 IEEE 8th International Conference on Software Engineering and Computer Science (CSECS 2026)