IEEE - Institute of Electrical and Electronics Engineers, Inc. - 62531-2012

IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL) - Redline

active
Buy Now
Organization: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 28 June 2012
Status: active
Page(s): 1 - 343
ICS Code (Industrial automation systems): 25.040
ICS Code (Languages used in information technology): 35.060
ISBN (Online): 978-0-7381-8094-6
Standard:

The IEEE Property Specification Language (PSL) is defined. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages,... View More

Document History

62531-2012
June 28, 2012
IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL)
The IEEE Property Specification Language (PSL) is defined. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages,...
62531-2012
June 28, 2012
IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL) - Redline
The IEEE Property Specification Language (PSL) is defined. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages,...
62531-2007
December 9, 2007
IEC 62531 Ed. 1 (2007-11) (IEEE Std 1850-2005): Standard for Property Specification Language (PSL)
(IEC 62531 Ed. 1 (2007-11) (IEEE Std 1850-2005). The IEEE Property Specification Language (PSL) is defined in this standard. PSL is a formal notation for specification of electronic system behavior,...

Related Documents

PC57.13.3/D7.2, Aug 2014 - IEEE Draft Guide for Grounding of Instrument Transformer Secondary Circuits and Cases
September 3, 2014 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

This guide contains general and specific recommendations fo 1 r grounding current and voltage transformer secondary circuits and cases of connected equipment. Although most diagrams included in this guide show relaying applications, the recommended practices apply equally to metering and other areas...

P802.1AB_Cor-2/D1.0, August 2014 - IEEE Draft Standard for Local and Metropolitan Area Networks -- Station and Media Access Control Connectivity Discovery - Corrigendum 2: Technical and editorial corrections
November 6, 2014 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

This corrigendum to IEEE Std 802.1AB-2009 corrects technical and editorial errors identified by the IEEE 802.1 Working Groups maintenance activity.

P1905.1a/D2, Sept 2014 - IEEE Draft Standard for a Convergent Digital Home Network for Heterogeneous Technologies Amendment 1: Support of New MAC/PHYs and enhancements
September 9, 2014 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

An abstraction layer for multiple home networking technologies that provides a common interface to widely deployed home networking technologies is defined in this standard: IEEE 1901 over power lines, IEEE 802.11 for wireless, Ethernet over twisted pair cable, and MoCA 1.1 over coax. Additional netw...

P802.1Qcd/D2.1, Sept 2014 - IEEE Draft Standard for Local and metropolitan area networks - Bridges and Bridged Networks Amendment: Application Virtual Local Area Network (VLAN) Type, Length, Value (TLV)
September 17, 2014 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

This amendment to IEEE Std 802.1Qaz defines enhancements to the set of TLVs used by the Data Center Bridging eXchange (DCBX) protocol for the purpose of simplifying the management of networks utilizing Data Center Bridging features.

P80-2013/Cor1/D1, Aug 2014 - IEEE Approved Draft Guide for Safety in AC Substation Grounding - Corrigendum 1Not Published -- Incorporated into IEEE Std 80-2013
August 28, 2014 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

Corrections made to Clause 11, Clause 17, Annex C, and Annex H in IEEE Std 80-2013. (Incorporated into IEEE Std 80-2013.)

Related Products

Searching for related products...

Related Suppliers

Searching for related suppliers...

Advertisement