Moby/plc is a graphical design tool for PLC-Automata, a special class of hierarchical real-time automata suitable for the description of distributed real-time systems that are implementable on a widely used hardware platform, so-called Programmable Logic Controllers (PLCs). In this paper we sketch the modelling language in use and some features of Moby/plc, like several validation methods and c...

Peningkatan kualitas produk diperlukan di dunia industri. Salah satu peningkatan terdapat pada ban yang dihasilkan PT XYZ Tbk. Terdapat permasalahan berkaitan dengan mesin curing kobelco super curex, yaitu tidak adanya aksi dilakukan sistem saat jumlah batas cycle telah terpenuhi 450 cycle. Sehingga berpotensi kebocoran bladder, salah penyebabnya melebihi maksimal. Berdasarkan data QC (Quality ...

A common practice is to design a controller by plant observations (i.e. experiments) and to optimize some of its parameters by trial-and-error. This paper proposes a genetic algorithm for the automation of the search procedure and its implementation on a programmable logic controller. The details of this implementation will be discussed along with an example one carried out for the control of a...

Originally designed for carrying the increasing amount of data exchanged in modern cars, the CAN (Controller Area Network) protocol is today adopted in a wide range of automated manufacturing environments. CAN only covers physical and data link layer protocol, that's why several application layers like DeviceNet or CANopen have been developed in order to standardize communication between nodes ...

This article proposes a novel, web-based, remote monitoring and control system design for a building’s electrical power, green power generation and environmental system that will save energy. The supervisory control system is based on the use of distributed microcontroller architecture to access programmable logic controllers (PLC) and remote input/output devices through the system hardware fra...

Copyright© 2010, Australian Computer Society Inc. General permission to republish, but not for profit, all or part of this material is granted, provided that the JRPIT copyright notice is given and that reference is made to the publication, to its date of issue, and to the fact that reprinting privileges were granted by permission of the Australian Computer Society Inc. Model checking is often ...

Dynamic behavior of alternative energy based Hybrid Power System (HPS) is commonly analyzed using Matlab/ Simulink. This way of simulation has the limitation in interfacing the model with hardware for real time control, which in turn limits in span of the simulation and consumes more time for simulation. Besides, simulator choice for the designed dynamic model is also constrained. Though, this ...

Most SCADA devices have few built-in self-defence mechanisms, and tend to implicitly trust communications received over the network. Therefore, monitoring and forensic analysis of network traffic is a critical prerequisite for building an effective defense around SCADA units. In this work, we provide a comprehensive forensic analysis of network traffic generated by the PCCC(Programmable Control...