The learning system in vocational education is more directed to practical learning. Therefore, media needed that can make students learn interactively and independently. research aims create an industrial automation as a medium for courses. the form of programmable logic controller (PLC) trainer equipped with sensors combined human machine interface (HMI). PLC made because devices are widely us...

More extensive work on formal methods is now available for checking PLC (Programmable Logic Controller) programs. To verify a PLC program, it is necessary to consider a set of properties to prove and one of the most interesting problems that the designers must deal is to deduce a set of properties that traduces all the safety requirements of the system behavior. In this paper, we explore the co...

We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defined in the standard IEC 1131-3. Two different approaches for modelling timers are suggested, that lead to two different timed automaton models. The purpose of this work is to provide a basis for verification and testing...

The paper deal with a deep analysis and application of object-oriented methodologies for the design process of industrial machine controllers. The process pass thought the phases of (1) conceptual model development of the software artifacts, and (2) model code deployment for the automation system target, which is in general a Programmable Logic Controller (PLC) compliant with the international ...

Optical fibre sensors, such as Fibre Bragg Gratings (FBGs), are growing in their utilisation, although very niche in their applications. To enable a more diverse range of end users, expensive application-specific optical fibre interrogation hardware needs to be made compatible with and, ideally, easily incorporated into existing instrumentation and measurement hardware. The Programmable Logic C...

Most of CERN’s industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testing is already applied to find errors, but this method has limitations. In this work an approach is proposed to transform automatically PLC programs i...

Functional safety, as addressed in the standard IEC 61508, is a key requirement for a high dependability of controlled systems. In order to guarantee that the function of programmable logic controllers (PLC) complies with given safety specifications, the use of verification has proven to be useful. This contribution builds upon a recently proposed approach to verify PLC programs with time speci...

Controllers in safety critical systems such as nuclear power plants often use the Function Block Diagram (FBD) to design software embedded in the PLC (Programmable Logic Controller). Software engineers develop FBD programs manually, while engineering tools provided by PLC vendors translate them into ANSI-C programs mechanically. Every new PLC and its software engineering tool should demonstrate...

This article studies the multi-layer and multi-pass welding of circumferential weld in thick pipe an aviation enterprise, based on static characteristics arc, through data calculations experiments to verify relationship between arc voltage length, proposes use controller accurately adjust real time, improve stability, torch wiggler expand fusion width, meet adaptive adjustment wide weld, build ...