BS IEC 62531:2007 - Standard for Property Specification Language (PSL)

BS IEC 62531:2007

Standard for Property Specification Language (PSL)

Status : Revised, Superseded, Withdrawn   Published : December 2007 Replaced By : BS IEC 62531:2012

WITHDRAWN TITLE
*To ask about withdrawn titles contact the
BSI Customer Services
cservices@bsigroup.com, +44 345 086 9001


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.




Standard NumberBS IEC 62531:2007
TitleStandard for Property Specification Language (PSL)
StatusRevised, Superseded, Withdrawn
Publication Date31 December 2007
Withdrawn Date31 August 2012
Normative References(Required to achieve compliance to this standard)IEEE Std 1076, IEEE Std 1076.6, IEEE P1800, IEC/IEEE 62142, IEEE Std 1364, IEEE Std 1364.1, IEEE P1666
Informative References(Provided for Information)No other standards are informatively referenced
Replaced ByBS IEC 62531:2012
International RelationshipsIEC 62531:2007
DescriptorsVerification, Computer software, Syntax, Data processing, Programming languages, Programming, Electronic engineering, Electronic equipment and components, Semantics, Design
ICS25.040.01
35.060
CommitteeEPL/501
ISBN978 0 580 59321 5
PublisherBSI
FormatA4
DeliveryNo
Pages154
File Size2.213 MB
Price£342.00


WITHDRAWN TITLE
*To ask about withdrawn titles contact the
BSI Customer Services
cservices@bsigroup.com, +44 345 086 9001
 Your basket
Your basket is empty

Multi-user access to over 3,500 medical device standards, regulations, expert commentaries and other documents


BSOL

The faster, easier way to work with standards


Worldwide Standards
We can source any standard from anywhere in the world


Collaborate, Innovate, Accelerate.