Implementing a New International Paper Mill Efficiency Standard - Using Computational Correctness Criteria to Model and Verify Timed Events
Jari Veijalainen, Eleni Berki, Jari Lehmonen, Pasi Moisanen · 2005
Abstract. In the currently used information system architectures of paper mills there is a huge number of signals generated at the lowest automation level by thousands of hardware sensors and other embedded components. These are accumulated and refined into a manageable number of semantically meaningful events by software layers above the physical and automation layer, stored into a persistent storage, i.e. log. (database). Some events are shown to operators that can acknowledge them through the user interface of the monitoring interface and issue control events. In this paper we discuss what formal properties the events and the log should have in order to be compatible with the proposed new standard paper line efficiency calculation rules and how a standard event log can be generated using the existing software and hardware components in a paper mill. Our main contribution is the standard log structure and an accompanying standard algorithm yielding comparable efficiency calculations in various environments. The inevitable heterogeneity between different paper mills is proposed to be overcome by a separate algorithm that maps existing event types into the standard ones and forms a standard log consisting of the instances. We evaluate our suggestions in a case study at a Finnish paper mill, where we have gone through the existing system, concrete logs and event types, and evaluated them against the needs of the new efficiency calculation standard and the standard algorithm implementing it. 1.