• 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