An Environment for Design and Synthesis of Process Control Software
Achint Kaur,
M.Tech,
02,
82 pp.
Department of
Computer Science and Engineering
Indian Institute of Technology Bombay,
Powai, Mumbai 400 076.
Supervisor(s):
G.Sivakumar, S. Ramesh
Computerized control systems are widely used in the fields of energy production, manufacturing processes and other safety critical systems. It is essential that process control software be verified for correctness before their actual deployment especially in safety critical systems. The main goal of the project was to develop a tool to design and specify a process control logic specification and subsequently generate correct code to execute on various platforms. The specification generated by the tool will be acceptable by verification tool.
Process control softwares are designed by designers (mostly electrical engineers) and programmed by programmers (software engineers) and both have different methods of representing the design of system. The aim is to bridge this gap i.e. validating the software (build the right system) with the help of GUI tool and then automatically generating corresponding code in specification language in order to verify the system (build the system right). The tool will help the process control engineer to automatically synthesize the process control software without depending on programmer, thus reducing bugs. Such a system will be able to simulate real life inputs so that the process engineer can eliminate any bugs in the block diagram definition without actually involving the final process.