Automated verification of function block-based industrial control systems

The international standard IEC 61131-3, which supports Brad Cox’ concept of “Software-ICs” for industrial control programming, is increasingly being used in safety-related application domains. They include safety-instrumented functions, such as burner management, emergency shutdown and gas leak dete...

Celý popis

Podrobná bibliografia

Vydané v:	Science of computer programming Ročník 42; číslo 1; s. 101 - 113
Hlavní autori:	Voelker, N, Kraemer, B J
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 2002
Predmet:	Compositional verification Dependable software Higher order logic IEC 61131-3 PLC programming Safety-critical control systems Theorem proving Dependable software Theorem proving Higher order logic IEC 61131-3 Compositional verification Safety-critical control systems PLC programming
ISSN:	0167-6423, 1872-7964
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!