IEC 62531:2007
プロパティ仕様言語 (PSL) の標準

規格番号

IEC 62531:2007

制定年

2007

出版団体

International Electrotechnical Commission (IEC)

状態

入れ替わる 2012-06

に置き換えられる

IEC 62531:2012*IEEE Std 1850:2010

最新版

IEC 62531:2012*IEEE Std 1850:2010

範囲

この標準は、電子システムの動作を正式に記述するプロパティ仕様言語 (PSL) を定義します。 この標準は、PSL の構文とセマンティクスを指定し、PSL がさまざまな標準電子システム設計言語とどのようにインターフェイスするかを明確にします。

IEC 62531:2007 発売履歴

• 2012 IEC 62531:2012*IEEE Std 1850:2010 IEC 62531:2012(E) (IEEE Std 1850-2010): プロパティ仕様言語 (PSL) 標準レッドライン
• 2007 IEC 62531:2007 プロパティ仕様言語 (PSL) の標準