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á bibliografie

Vydáno v:	Science of computer programming Ročník 42; číslo 1; s. 101 - 113
Hlavní autoři:	Voelker, N, Kraemer, B J
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 2002
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!