Title :
Control software development in Industrial Automation
Author :
Insaurralde, Carlos C. ; Zoitl, Alois
Author_Institution :
Inst. of Sensors, Heriot-Watt Univ., Edinburgh, UK
Abstract :
Classical programming approaches are no longer enough to implement and integrate evolved control software for Industrial Automation Systems (IASs). The multidisciplinary implementation of increasingly-sophisticated IAS capabilities makes developers look for more effective methodologies to efficiently design, build, and evaluate such software. This paper identifies gaps in the development process of IASs. Filling these gaps can help improving the coding of IAS control applications by overcoming current development limitations. This paper argues for a requirements-driven development process and an interactive integration framework to mitigate drawbacks set by engineering tools. It shows gaps given by what current tools can provide and what is needed.
Keywords :
control engineering computing; factory automation; formal specification; formal verification; IAS capabilities; IAS control applications; IAS development process; control software development; industrial automation systems; interactive integration framework; requirements-driven development process; Automation; Computational modeling; IEC standards; Object oriented modeling; Software; Unified modeling language;
Conference_Titel :
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on
Conference_Location :
Cagliari
Print_ISBN :
978-1-4799-0862-2
DOI :
10.1109/ETFA.2013.6648078