GSO IEC 62531:2014

IEC 62531:2012
Gulf Standard   Current Edition · Approved on 25 December 2014

Property Specification Language (PSL)

GSO IEC 62531:2014 Files

English 174 Pages
Current Edition Reference Language

GSO IEC 62531:2014 Scope

This standard 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.

Best Sellers From Electrical Sector

YSMO GSO 2530:2023
GSO 2530:2016 
Yemeni Technical Regulation
Energy Labelling And Minimum Energy Performance Requirements For Air-Conditioners
GSO 2530:2016
 
Gulf Standard
Energy Labelling And Minimum Energy Performance Requirements For Air-Conditioners
GSO 34:2007
 
Gulf Technical Regulation
LEAD-ACID STARTER BATTERIES USED FOR MOTOR VEHICLES AND INTERNAL COMBUSTION ENGINES
GSO 35:2007
 
Gulf Standard
Methods of test for lead-acid starter batteries used for motor vehicles and internal combustion engines

Recently Published from Electrical Sector

GSO IEC 63203-402-3:2025
IEC 63203-402-3:2024 
Gulf Standard
Wearable electronic devices and technologies - Part 402-3: Performance measurement of fitness wearables - Test methods for the determination of the accuracy of heart rate
GSO IEC 61010-2-033:2025
IEC 61010-2-033:2023 
Gulf Standard
Safety requirements for electrical equipment for measurement, control, and laboratory use - Part 2-033: Particular requirements for hand-held multimeters and other meters for domestic and professional use, capable of measuring mains voltage
GSO IEC 62933-5-3:2025
IEC 62933-5-3:2023 
Gulf Standard
Electrical energy storage (EES) systems - Part 5-3: Safety requirements for grid-integrated EES systems – Performing unplanned modification of electrochemical based system
GSO IEC 60669-2-2:2025
IEC 60669-2-2:2024 
Gulf Standard
Switches for household and similar fixed electrical installations - Part 2-2: Particular requirements - Electromagnetic remote-control switches (RCS)