Industrial automation and control system development using different approaches

References

• Factories of the Future PPP. “Strategic Multi-Annual Roadmap, Adhoc Industrial Advisory Group of the Factories of the Future”, Public-Private Partnership (AIAG FoF PPP), EFFRA & MANUFUTURE–EU, Brussels, Belgium, 2010.
   Google Scholar
• F. Basile, P. Chiacchio, and D. Gerbasio, “On the implementation of industrial automation systems based on PLC,” IEEE Trans. Autom. Sci. Eng., vol. 10, no. 4, pp. 990–1003, Oct. 2013. doi: 10.1109/TASE.2012.2226578
   Web of Science ®Google Scholar
• A. Dubey, “Evaluating software engineering methods in the context of automation applications,” in Proc. 9th IEEE Int. Conf. Ind. Inform., Lisbon, Portugal, Jul. 2011, pp. 585–590.
   Google Scholar
• R. Jetley, A. Nair, P. Chandrasekaran, and A. Dubey, “Applying software engineering practices for development of industrial automation applications,” in Proc. 11th IEEE Int. Conf. Ind. Inform. (INDIN), Bochum, Germany, Jul. 2013, pp. 558–563.
   Google Scholar
• I. Jacobson, Object Oriented Software Engineering: “A Use Case Driven Approach”. Reading, MA, USA: Addison-Wesley, 1992.
   Google Scholar
• P. Ponsa, R. Vilanova, and M. Díaz, “Introduction of the human operator into the automation cycle with the GEMMA guide,” in Proc. Int. Control Conf., Glasgow, Scotland, 2006, pp. 1–6.
   Google Scholar
• T. Strasser et al., “Multi-domain model-driven design of industrial automation and control systems,” in Proc.13th IEEE Int.Conf. Emerg. Technol. Factory Autom.,Sep.2008, pp.1067–1071.
   Google Scholar
• S. Biallas, J. Brauer, and S. Kowalewski, “Arcade.PLC: A verification platform for programmable logic controllers,” in Proc. IEEE Int. Conf. Autom. Sci. Eng. (CASE), Sep. 2012, pp. 338–341.
   Google Scholar
• S. Süß et al., “Test methodology for virtual commissioning based on behaviour simulation of production systems,” in Proc. IEEE Int. Conf.Emerg. Technol. Factory Autom. (ETFA), Sep. 2016, pp. 1–9.
   Google Scholar
• P. Puntel-Schmidt and A. Fay, “Levels of detail and appropriate model types for virtual commissioning in manufacturing engineering,” IFACPapersOnLine,vol. 48, no. 1, pp. 922–927, 2015.
   Google Scholar
• Sünder, C., Vyatkin, V., Zoitl, A., “Formal verification of down time less system evolution in embedded automation controllers”. ACMTrans. EmbeddedComput.Syst.(SpecialIssueModel.Verif.Discret.Event-Syst.)2013-12(1) , 1–17 (referring to ACM digital library).
   Google Scholar
• K. Czarnecki and U. Eisenecker, “Generative Programming: Methods, Tools, and Applications”. Reading, MA: Addison-Wesley, 2000.
   Google Scholar
• G. Frey, “Automatic implementation of Petri net based control algorithms on PLC,” in Proc. 2000 Amer. Control Conf. (ACC’00), Chigago,IL, 2000, vol. 4, pp. 2819–2823.
   Google Scholar
• Basile, F., Chiacchio, P., Del Grosso, D., “UML-based modeling and model-driven development of distributed control systems”. In: 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008 (ETFA 2008), September 2008, pp. 1120–1127.
   Google Scholar
• David H., T. Vepsäläinen, S. Kuikka on “Model-driven development of industrial process control applications”, The Journal of Systems and Software, 84 (2011) 1100–1113. doi: 10.1016/j.jss.2011.01.063
   Web of Science ®Google Scholar
• Ritala, T., Kuikka, S., 2007. “UML automation profile: Enhancing the efficiency of software development in the automation industry”. In: 5th IEEE International Conference on Industrial Informatics, 2007 (INDIN 2007), vol. 2, June 2007, pp.885–890.
   Google Scholar
• V. Vyatkin, “Software engineering in industrial automation: State-of-theart review,” IEEE Trans. Ind. Informat., vol. 9, no. 3, pp. 1234–1249, Aug. 2013. doi: 10.1109/TII.2013.2258165
   Web of Science ®Google Scholar
• Lüder, A., Klostermeyer, A., Peschke, J., Bratoukhine, A., Sauter, T. “Distri buted automation”: PABADI Sversus H M S. IEEE Trans.Ind.Inform. 2005,1(1),31–38. doi: 10.1109/TII.2005.843825
   Google Scholar
• Mcfarlane, D.C., Bussmann, S.,2000.Developments in holonic production planning and control. Prod.Plan. Control 11(6),522–536. doi: 10.1080/095372800414089
   Web of Science ®Google Scholar
• Vogel-Heuser, B., 2014 “Combining a SysML-basedmodeling approach and semantic technologies for analyzing change in fluencies in manufacturing plant models”. In : Proceedings of the 47th CI R P Conference on Manufacturing Systems. Ontario,Canada,pp.451–456.
   Google Scholar
• “ADEPA (Agence nationale pour le DÉveloppement de la Productique Appliquée à l’industrie). GEMMA (Guide d’Étude des Modes de Marches et d’Arrêts),” 1981.
   Google Scholar
• P. Ponsa, R. Vilanova, and M. Díaz, “Introduction of the human operator into the automation cycle with the GEMMA guide,” in Proc. Int. Control Conf., Glasgow, Scotland, 2006, pp. 1–6.
   Google Scholar
• V. M. Gonzalez, F. Mateos, and A. A. C. Ng, “MLAV: The objectoriented methodology of the virtual automation lab,” in Proc. IEEE Int. Conf. Robot. Autom., New Orleans, LA, USA, Apr./May 2004,pp. 5153–5158.
   Google Scholar
• J. M. Machado and E. Seabra, “A systematized approach to obtain dependable controllers specifications,” in Proc. ABCM Symp. Ser. Mechatronics, vol. 4, 2010, pp. 408–417.
   Google Scholar
• GRAFCET Specification Language for Sequential Function Charts,document IEC 60848, International Electrotechnical Commission, 2002.
   Google Scholar
• M. L. Alvarez, E. Estévez, I. Sarachaga, A. Burgos, and M. Marcos,”A novel approach for supporting the development cycle of automation systems,” Int. J. Adv. Manuf. Technol., vol. 68, pp. 711–725, Sep. 2013. doi: 10.1007/s00170-013-4793-4
   Web of Science ®Google Scholar
• H. Baller, S. Lity, M. Lochau, and I. Schaefer, “Multi-objective test suite optimization for incremental product family testing,” in Proc. IEEE Int. Conf. Softw. Test., Verification Validation (ICST), Apr.2014,pp.303–312.
   Google Scholar
• Available only real pars in https://realpars.com.
   Google Scholar