Development of a verification method for timed function blocks using ESDT and SMV

As programmable logic controllers (PLCs) are widely used in the digital instrumentation and control (I&C) systems of nuclear power plants (NPPs), the safety of PLC software has become the most important consideration. In this work, we propose a method to perform effective verification activities...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Myung Jun Song, Seo Ryong Koo, Poong Hyun Seong
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Control systems Digital control Instruments Performance analysis Performance evaluation Power generation Programmable control Software design Software performance Software safety
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!