IEEE通过了用于复杂软件认证的特性规范语言标准，这项标准也创造了IEEE标准化进程的一个记录。

该标准即为IEEE1850标准，是一年前IEEE标准化进程的延续。

1850工作组主席 Harry Foster称："对我而言最有意思的是，实际上去年九月份工作组才正式成立，因此此次标准的制定通过是以不可思议的速度完成的。这是到目前为止所有IEEE标准中，制定最为快速的一个。"

IEEE认为PSL语言将有助于软件开发者节省认证时间、简化认证过程、降低认证成本同时改善质量。它详细规范了电子系统设计中的相关内容、声明及方法。

IEEE 1850 精炼了提出特性认证的Accellera PSL 1.1规则。新标准提出了几个技术论点，添加了可与混合语言设计（包括：VHDL, Verilog, SystemVerilog, OSCI SystemC 与其它系统设计语言）兼容的接口。

Accellera PSL 1.1与IEEE 1850 间的特征性变化很小，最重要的变化是增加了对SystemC的支持。其它的改进还包括添加了复制内容与子内容的方法及变换了某些参考手册的词汇。

Foster 称应用 Accellera PSL 1.1规则的任何人都不会对新的IEEE 1850感到陌生。因为大多数声明都基于Accellera PSL 1.1规则。 (中电网编译)