0

IEC 62531:2012 ED2

Property Specification Language (PSL) IEC 62531:2012 ED2

Publication date:   Jun 21, 2012

General information

60.60 Standard published   Jun 21, 2012

IEEE

TC 91

International Standard

25.040.01   Industrial automation systems in general | 35.060   Languages used in information technology

Buying

Published

Language in which you want to receive the document.

Scope

IEC 62531:2012(E) defines the property specification language (PSL), which formally describes electronic system behavior. This standard specifies the syntax and semantics for PSL and also clarifies how PSL interfaces with various standard electronic system design languages. This second edition cancels and replaces the first edition, published in 2007, and constitutes a technical revision.

Life cycle

PREVIOUSLY

WITHDRAWN
IEC 62531:2007 ED1

NOW

PUBLISHED
IEC 62531:2012 ED2
60.60 Standard published
Jun 21, 2012