IEC 62531:2012 属性规范语言（PSL）

标准号：IEC 62531:2012

发布日期：2012-06-21

Property Specification Language (PSL)

属性规范语言（PSL）

IEC62531:2012的适用范围是：该标准规定了统一建模语言（UML）在形式化验证领域的标准化子集（称为UMLProfileforMARTE），主要用于对实时和嵌入式系统进行建模、设计和验证，支持系统的时间、资源及性能分析。