posted by user: aniltsp || 1751 views || tracked by 5 users: [display]

MoSEMInA 2014 : 2014 International Workshop on Modern Software Engineering Methods for Industrial Automation - In Conjunction with ICSE 2014

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/site/mosemina2014/
 
When May 31, 2014 - Jun 7, 2014
Where Hyderabad, India
Submission Deadline Jan 24, 2014
Notification Due Feb 24, 2014
Final Version Due Mar 14, 2014
Categories    software engineering   industrial automation systems
 

Call For Papers

Industrial automation systems are increasingly reliant on software in order to provide effective and efficient operation of automation and control systems. However the software engineering techniques applied in this field lag behind mainstream software engineering technologies, 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 workshop is to present new approaches and methods for the design of automation and embedded control systems software for industrial automation which follows the latest trends in the software engineering domain.
Such techniques include among others: component orientation, test-driven development, model-driven approaches, refactoring code analysis, measurements of test coverage, continuous integration, or product line engineering and variability management.
In particular, the workshop will focus on (but will not be limited to) the following topics: Software engineering methods for automation, control and SCADA systems, Component-based design of automation and control systems, Automation objects/components, New programming languages and tools, Visual programming, Model-based system and software engineering, Model-driven design of automation and control systems, Equivalent code transformations, refactoring, Test-driven software quality assurance of automation and control systems, Quality assurance methods: testing, simulation, formal verification, defect analysis, Automatic code synthesis, Execution semantics of automation software, Latest developments of standards (e.g., IEC 61131-3, IEC 61499, IEC 61850, etc.), Application development practices and experiences, Metrics of success in software development in automation, Product-line engineering in the automation domain, management of variants and versions, 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.)
Please observe the following:
1. Papers should be at most 10 pages.
2. Format your paper according to the ICSE 2013 guidelines
3. Submit your paper in PDF format here (https://www.easychair.org/conferences/?conf=mosemina2014)
4. For more information, please contact Anil Nair (anil.nair@in.abb.com)

Important Dates
Workshop paper submissions due January 24, 2014
Notification to authors February 24, 2014
Camera-ready copies due March 14, 2014

For additional details, refer to the workshop home page (https://sites.google.com/site/mosemina2014/home).

Related Resources

icse 2018   40th International Conference on Software Engineering
ICSIP-IEEE 2017   2nd International Conference on Signal and Image Processing - IEEE
HVC 2017   Haifa Verification Conference
CGDEIJ 2017   Computer Game Development and Education: An International Journal
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
ModComp 2017   4rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2017
ACM-ICMSS 2018   ACM--2018 2nd International Conference on Management Engineering, Software Engineering and Service Sciences (ICMSS 2018)--Ei Compendex
IJSC 2017   International Journal on Soft Computing
ICMSS - Ei 2018   ACM--2018 2nd International Conference on Management Engineering, Software Engineering and Service Sciences (ICMSS 2018)--Ei Compendex
SLE 2017   10th ACM SIGPLAN International Conference on Software Language Engineering