PiSPEC®

专为信号工程开发的形式化语言

关于 PiSPEC®

PiSPEC是专为信号工程开发的形式化语言。 它让您能够以清晰、形式化的方式指定信号要求,并将其打包为可重复使用的PiSPEC IP。

PiSPEC 旨在成为信号工程师与 Prover iLock 等信号自动化工具之间的完美接口。 您可以自然地表达需求,从而简化了验证和调试过程。 我们对该语言严谨准确地设计,使得该语言的特征显而易见。

PiSPEC语言是建立在全球工程类课程普遍使用的标准概念之上,它源于谓词逻辑,并通过严格的录入系统和面向对象进行了增强。 该录入系统有助于发现在编写规则的过程中出现的诸多缺陷和遗漏。而面向对象提供了类、继承和接口,为规则增加了结构,并为建模任何信号系统提供了一种自然的表达方式。PiSPEC IP也可以被构建到库中,来进一步实现重复使用。

当将PiSPEC与Prover iLock结合使用时,该工具鼓励并支持将其作为测试驱动的规则开发方法。您可以并行开发设计、测试和制定安全要求,并在 Prover iLock 配置的参考应用程序上试用它们,同时获得即时反馈。