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
Customer Relations
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.020
35.060
35.260
CommitteeEPL/501
ISBN978 0 580 59321 5
PublisherBSI
FormatA4
DeliveryNo
Pages154
File Size2.246 MB
Price£350.00


WITHDRAWN TITLE
*To ask about withdrawn titles contact the
Customer Relations
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


Develop a PAS

Develop a fast-track standardization document in 9-12 months


BSOL

Access, view and download standards with multiple user access, across multiple sites with BSOL


Tracked Changes

Understand the changes made to a standard with our new Tracked Changes version