IEC 62531:2007
Estándar para lenguaje de especificación de propiedades (PSL)

Estándar No.

IEC 62531:2007

Fecha de publicación

2007

Organización

International Electrotechnical Commission (IEC)

Estado

 2012-06

Remplazado por

IEC 62531:2012*IEEE Std 1850:2010

Ultima versión

IEC 62531:2012*IEEE Std 1850:2010

Alcance

Este estándar define el lenguaje de especificación de propiedades (PSL), que describe formalmente el comportamiento del sistema electrónico. Este estándar especifica la sintaxis y la semántica de PSL y también aclara cómo interactúa PSL con varios lenguajes de diseño de sistemas electrónicos estándar.

IEC 62531:2007 Historia

• 2012 IEC 62531:2012*IEEE Std 1850:2010 IEC 62531:2012(E) (IEEE Std 1850-2010): Estándar para el lenguaje de especificación de propiedades (PSL): línea roja
• 2007 IEC 62531:2007 Estándar para lenguaje de especificación de propiedades (PSL)