Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Fri 10 Jul 2020 07:36 - 07:48 at Baekje - I19-Code Generation and Verification Chair(s): Raffi Khatchadourian

Software development for industrial automation applications is a growing market with high economic impact. Control engineers design and implement software for such systems using standardized programming languages (IEC 61131-3) and still require substantial manual work causing high engineering costs and potential quality issues. Methods for automatically generating control logic using knowledge extraction from formal requirements documents have been developed, but so far only been demonstrated in simplified lab settings. We have executed four case studies on large industrial plants with thousands of sensors and actuators for a rule-based control logic generation approach called CAYENNE to determine its practicability. We found that we can generate more than 70 percent of the required interlocking control logic with code generation rules that are applicable across different plants. This can lead to estimated overall development cost savings of up to 21 percent, which provides a promising outlook for methods in this class.

Fri 10 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

icse-2020-paper-presentations
07:00 - 08:00: Paper Presentations - I19-Code Generation and Verification at Baekje
Chair(s): Raffi KhatchadourianCity University of New York (CUNY) Hunter College
icse-2020-New-Ideas-and-Emerging-Results07:00 - 07:06
Talk
Jude AnilTCS Research, Sumanth PrabhuTCS Research, Kumar MadhukarTCS Innovation Labs (TRDDC), R Venkatesh
icse-2020-papers07:06 - 07:18
Talk
Alexandra BugariuETH Zurich, Peter MüllerETH Zurich
Pre-print
icse-2020-New-Ideas-and-Emerging-Results07:18 - 07:24
Talk
Djamel Eddine KhelladiCNRS, France, Benoit CombemaleUniversity of Toulouse and Inria, Mathieu Acher(Univ Rennes, Inria, IRISA), Olivier Barais(Univ Rennes, Inria, IRISA)
icse-2020-papers07:24 - 07:36
Talk
Djamel Eddine KhelladiCNRS, France, Benoit CombemaleUniversity of Toulouse and Inria, Mathieu Acher(Univ Rennes, Inria, IRISA), Olivier Barais(Univ Rennes, Inria, IRISA), Jean-Marc JézéquelUniv Rennes - IRISA
icse-2020-Software-Engineering-in-Practice07:36 - 07:48
Talk
Heiko KoziolekABB Corporate Research, Andreas BurgerABB Corporate Research, Marie Platenius-MohrABB Corporate Research, Julius RückertABB Corporate Research, Hadil AbukwaikABB Corporate Research, Raoul JetleyABB, Abdulla PPABB Corporate Research
Pre-print
icse-2020-Software-Engineering-in-Practice07:48 - 08:00
Talk
Nengwen ZhaoTsinghua University, Junjie ChenTianjin University, Xiao PengChina EverBright Bank, Honglin WangBizSeer, Xinya WuBizSeer, Yuanzong ZhangBizSeer, Zikai ChenTsinghua University, Xiangzhong ZhengBizSeer, Xiaohui NieTsinghua University, Gang WangChina EverBright Bank, Yong WuChina EverBright Bank, Fang ZhouChina EverBright Bank, Wenchi ZhangBizSeer, Kaixin SuiBizSeer, Dan PeiTsinghua University