Generating and validating product instances in IEC 61131–3 from feature models

Organizations developing control software are faced with the problem of supporting an increasing number of customer options, while the cost of software development needs to be decreased. Feature modeling is a technique for describing mandatory, optional and alternative software features of a product line, so that customer-specific product instances may be derived by selecting among optional and alternative features. Validation of product instances is needed to ensure that none of the rules regarding mandatory, optional, alternative, required or excluded features are violated. An approach for feature modeling, product configuration and code generation is proposed for machine control applications using IEC 61131–3. The approach is supported by a toolset exploiting object oriented extensions to IEC 61131–3 and the PLCopen XML import/export schema.

[1]  Glenn J. Browne,et al.  Network effects and social dilemmas in technology industries , 2004, IEEE Software.

[2]  Ricardo Mayo Bayón,et al.  MIOOP. An object oriented programming paradigm approach on the IEC 61131 standard , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[3]  S. Kajihara,et al.  Development and products of the object-oriented engineering tool for the integrated controller based on IEC 61131-3 , 2004, SICE 2004 Annual Conference.

[4]  Kleanthis Thramboulidis,et al.  Different perspectives [Face to Face; "IEC 61499 function block model: Facts and fallacies" ] , 2009 .

[5]  Luca Ferrarini,et al.  Domain specific views in model-driven embedded systems design in industrial automation , 2009, 2009 7th IEEE International Conference on Industrial Informatics.

[6]  Ilka Philippow,et al.  Details of formalized relations in feature models using OCL , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[7]  Antônio L. Apolinário,et al.  Combining feature modeling and Object Oriented concepts to manage the software variability , 2010, 2010 IEEE International Conference on Information Reuse & Integration.

[8]  E. James Whitehead,et al.  Rhizome: A Feature Modeling and Generation Platform , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[9]  Rainer Drath,et al.  AutomationML - the glue for seamless automation engineering , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[10]  Thomas Leich,et al.  FeatureIDE: A tool framework for feature-oriented software development , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[11]  Hong Mei,et al.  A feature oriented approach to modeling and reusing requirements of software product lines , 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.

[12]  M. Cecilia Bastarrica,et al.  Feature model to product architectures: Applying MDE to Software Product Lines , 2009, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture.

[13]  Birgit Vogel-Heuser,et al.  Close integration between UML and IEC 61131-3: New possibilities through object-oriented extensions , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[14]  Georg Frey,et al.  Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[15]  Marcello Bonfè,et al.  Design and verification of mechatronic object-oriented models for industrial control systems , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[16]  John D. McGregor,et al.  Initiating software product lines , 2002, IEEE Software.

[17]  Seppo Kuikka,et al.  Assessing the industrial applicability and adoption potential of the AUKOTON model driven control application engineering approach , 2010, 2010 8th IEEE International Conference on Industrial Informatics.

[18]  Hai H. Wang,et al.  Formal semantics and verification for feature modeling , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[19]  B. Werner,et al.  Object-oriented extensions for iec 61131-3 , 2009, IEEE Industrial Electronics Magazine.

[20]  Alexander Fay,et al.  Progress in industrial automation programming and design: from a primitive to a simple solution [Guest Editorial] , 2009 .

[21]  Michal Antkiewicz,et al.  fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates , 2005, OOPSLA '05.

[22]  Matthias Weber,et al.  Managing Highly Complex Product Families with Multi-Level Feature Trees , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[23]  Roy Oberhauser,et al.  Integrating Quality Modeling with Feature Modeling in Software Product Lines , 2009, 2009 Fourth International Conference on Software Engineering Advances.

[24]  G. Aiello,et al.  An Agile methodology for Manufacturing Control Systems development , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[25]  Douglas C. Schmidt,et al.  Automated Diagnosis of Product-Line Configuration Errors in Feature Models , 2008, 2008 12th International Software Product Line Conference.

[26]  M. Bonfe,et al.  Object-oriented approach to PLC software design for a manufacture machinery using IEC 61131-3 norm languages , 2001, 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics. Proceedings (Cat. No.01TH8556).

[27]  Thomas Pfeiffer,et al.  Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499 , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[28]  Rikard Land,et al.  Migrating Industrial Systems towards Software Product Lines: Experiences and Observations through Case Studies , 2008, 2008 34th Euromicro Conference Software Engineering and Advanced Applications.

[29]  Kwanwoo Lee,et al.  Feature-Modeling and Aspect-Oriented Programming: Integration and Automation , 2009, 2009 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing.

[30]  Paul Grünbacher,et al.  Managing the Life-cycle of Industrial Automation Systems with Product Line Variability Models , 2008, 2008 34th Euromicro Conference Software Engineering and Advanced Applications.

[31]  Sooyong Park,et al.  A domain analysis method for software product lines based on scenarios, goals and features , 2003, Tenth Asia-Pacific Software Engineering Conference, 2003..

[32]  Zhenchang Xing,et al.  Understanding Feature Evolution in a Family of Product Variants , 2010, 2010 17th Working Conference on Reverse Engineering.

[33]  Sergio Segura,et al.  FAMA: Tooling a Framework for the Automated Analysis of Feature Models , 2007, VaMoS.

[34]  Kleanthis Thramboulidis,et al.  Model driven development of distributed control applications , 2007 .

[35]  Nikolaos Papakonstantinou,et al.  Reducing redesign of safety critical control systems by early risk assessment , 2010, 2010 8th IEEE International Conference on Industrial Informatics.

[36]  Linda M. Northrop.  Software Product Lines: Reuse That Makes Business Sense , 2006, ASWEC.

[37]  Goetz Botterweck,et al.  Visual Tool Support for Configuring and Understanding Software Product Lines , 2008, 2008 12th International Software Product Line Conference.

[38]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .