Skinny trace compensation is a simple yet effective technique for overcoming capacitive impedance discontinuities on high speed channels. This paper provides a comprehensive system-level modeling and analysis methodol...
详细信息
programmablelogic Controller(PLC) is applied to a reactor protection system and an engineered safety feature-component control system as major safety system components in nuclear power plants. This paper describes th...
详细信息
ISBN:
(纸本)9781627480154
programmablelogic Controller(PLC) is applied to a reactor protection system and an engineered safety feature-component control system as major safety system components in nuclear power plants. This paper describes the safety-critical software qualification experience including the pCOS(posCon Operating System) kernel and system tasks related to a safety-grade PLC which corresponds to the software verification and validation, software safety analysis, software quality assurance and software configuration management etc. Major qualification activities for the design output of the PLC development software are a technical evaluation, licensing suitability evaluation, inspection and traceability analysis, formal verification, software safety analysis, software quality assurance and its software configuration management. First, the technology evaluation performs a technical review which was based on engineering decision-making by verifiers. Second, the licensing suitability evaluation was performed according to the Code & Standard criteria by analyzing the designed outputs based on the functional characteristics and process characteristics defined in the verification and validation guidelines. Third, the inspection and traceability analysis used the System Inspection Support-Requirement Traceability(SIS-RT) of an in-house tool developed by Korea Nuclear Instrumentation and Control System(KNICS) Project. The inspection covers the correctness, consistency, completeness, properties of the inputs and outputs, behavioral entities, interfaces, etc with a three-folded checklist topology. Fourth, a formal verification was performed for the Statechart based on the Software Requirement Specification (SRS) and the Software Design Specification (SDS) by a Graphical Back Animation(GBA) and a simulation. Fifth, the software safety analysis used the HAZard OPerability(HAZOP) method and it has analyzed the Failure Mode Effect Analysis(FMEA). Finally, a software configuration management
作者：
Riera, B.Philippot, A.Annebicque, D.Gellot, F.
UFR des Sciences Exactes et Naturelles Université de Reims Champagne-Ardenne Moulin de la Housse BP 1039 51687 Reims Cedex 2 France
IUT de Troyes 9 rue de Québec 10026 Troyes Cedex France
This paper presents an original approach of safe control synthesis of manufacturing systems. This is an extension of the work that CReSTIC has led for several years on the definition and design of a logic filter (plac...
详细信息
This project focuses on improving the performance of a plant's sludge dewatering process by using Omron CP1E programmablelogic Controller (PLC) to increase the efficiency of the process which leads to a reduction...
详细信息
This paper presents a novel pipelining technique designed specifically to improve the execution of cyclic control systems and applications in terms of scan cycle time reduction and/or execution of additional workload....
详细信息
The international standard IEC61131-3 plays a significant role in the development of industry control system. As a core component of industry control system, it is a trend for programmablelogic controller to support ...
详细信息
ISBN:
(纸本)9781849195386
The international standard IEC61131-3 plays a significant role in the development of industry control system. As a core component of industry control system, it is a trend for programmablelogic controller to support the standard. Based on an intermediate statement, this paper proposes a design of interpreter, and it provides a guideline for devising ARM based controllers which are compatible with IEC61131-3 programming languages. The construction of the interpreter is described in details by referring to SIMATIC S7 statement list of SIEMENS. And simulations have been done to verify the feasibility and efficiency of the interpreter.
Interlocking systems are one of the most important elements of railway signalization systems in order to ensure safe transportation. Software design of the interlocking systems can be performed by different methods su...
详细信息
Contemporary digital systems must be based on the "System-on-Chip - SoC" concept. An interesting style for SoC design is the GALS paradigm (Globally Asynchronous, Locally Synchronous), which can be used to i...
详细信息
As the compact programmablelogic Controller (PLC) has weak capacity of analog processing, in this chapter, we designed a programmablelogic controller analog extension module which can meet the requirements of a smal...
详细信息
暂无评论