DocumentCode
1950530
Title
Control software development in Industrial Automation
Author
Insaurralde, Carlos C. ; Zoitl, Alois
Author_Institution
Inst. of Sensors, Heriot-Watt Univ., Edinburgh, UK
fYear
2013
fDate
10-13 Sept. 2013
Firstpage
1
Lastpage
4
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on
Conference_Location
Cagliari
ISSN
1946-0740
Print_ISBN
978-1-4799-0862-2
Type
conf
DOI
10.1109/ETFA.2013.6648078
Filename
6648078
Link To Document