The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Recently companies focus on traceability in the factory to control the risk to the products. It is an important task to collect many IDs marked on the items and sections to realize traceability; much equipment for IDs collection is required in the factory. This paper discusses the application to traceability of the information-connection unit of the programmable logic controller (PLC). This unit has...
Since it is an important issue for users and system designers, verification of PLC programs has already been studied in various contexts, mostly for untimed programs. More recently, timed features were introduced and modeled with timed automata. In this case study, we consider a part of the so-called MSS (mecatronic standard system) platform from Bosh group, a framework where time aspects are combined...
The use of model-based code-generators for construction of controller software increases the reliability of the software in two ways: first, the models often can be checked for safety conditions. Second the use of code-generators prevents manual implementation faults. However, the reliability depends on the correctness of these code-generators, i.e., whether they really generate code that correctly...
The MatPLC is an international project to develop a program similar to a PLC (programmable logic controller) for POSIX operating systems. It is an open source application consisting of a core, generic modules, and tools for creating custom modules. Since many control and monitoring systems are distributed in nature, they require that the application be running on an embedded system capable of withstanding...
The IEC 61499 (function block) standard proposes an open architecture for distributed industrial-process measurement and control systems (IPMCS). The IEC 61499 defines the basic concepts and methodology for the design of modular reusable distributable systems, and paves the way for the new reconfigurable and flexible manufacturing. This paper presents the development of a software tool (IEC 61499...
The goal of the presented research is to face the topic of reconfigurable control software development in a concrete fashion, i.e., by presenting a control software system development approach which has been used for a specific, although easy to be generalized, robotized manufacturing cell component. In particular, a methodology for the control software development of a planar robot (2-degrees of...
The paper presents two new target platforms for the C-code generated by the Simulink/RTW toolboxes: the iFIX SCADA system and the GE Fanuc Series 90 PLCs. The presented solutions build interfaces to the C-code generated by the RTW toolbox and allow building the executable files that are functionally equivalent to the source Simulink diagrams. The executables are executed outside the Simulink directly...
The acceptance of formal methods in industry is a challenging task mainly due to difficult learning process and the lack of the tools and methods helping control engineer to interpret the results of formal verification procedure. We model existing source code of the controller and controller related information (controller model) along with controlled object (plant model) and verify modeled system...
The position control of a pneumatic levitation system is described in this paper. The control system uses visual feedback to compute the object position, which can be modified by means of an air blower acted by a variable-speed drive. The system is employed as a test bed of control strategies. A performance comparison attained by a classical PID, a robust Hinfin control law and a fuzzy controller...
The developer of logic control systems is faced with increasing complexity of the functions to be implemented and, at the same time, increasing demands on the reliability of the resulting software. To analyze the reliability of such complex systems formal methods can be applied. One area of the corresponding research is focused on the application of model checking techniques to Programmable Logic...
Many attempts have been made to implement supervisors derived by synthesis procedures peculiar to the supervisory control theory (SCT), most adopting the event-based supervisory control paradigm. However, when considering code generation schemata for programmable logic controllers (PLCs), hardware resources are limited and event tracking is hard to realize satisfactorily. Moreover, previous work has...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.