• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IFAC PapersOnLine >Integration of Physical Units into the Real-time Programming Language PEARL
【24h】

Integration of Physical Units into the Real-time Programming Language PEARL

机译：将物理单元集成到实时编程语言PEARL中

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Physical quantities are only insufficiently mapped into software. Software components, that interpret the same variable with different physical units, bear a risk for human beings, the environment and assets, that depend on the correct functioning of safety-related devices in embedded systems. Programmers can only define atomic types and restrict their range, but physical units like metres or seconds are not attached. This prevents more profound static analyses by compilers, which could detect software errors like physical formulae with false operands or procedure invocations with different units in callers and callees. This paper addresses physical unit checking within the real-time programming language PEARL. Therefore, our contribution is two-fold: On one hand, we define additional PEARL syntax for physical units and implement a static analyser for the procedural variant of PEARL. On the other hand, we define classes for the object-oriented variant of PEARL in order to check the units statically without the need for adapting compilers.
机译：物理量仅不足以映射到软件中。解释具有不同物理单位的相同变量的软件组件对人，环境和资产构成风险，这取决于嵌入式系统中与安全相关的设备的正确功能。程序员只能定义原子类型并限制其范围，但未附加诸如米或秒之类的物理单位。这样可以防止编译器进行更深入的静态分析，从而可能检测软件错误，例如带有错误操作数的物理公式或在调用者和被调用者中使用不同单位的过程调用。本文介绍了在实时编程语言PEARL中进行的物理单位检查。因此，我们的贡献有两个方面：一方面，我们为物理单元定义了其他PEARL语法，并为PEARL的过程变量实现了静态分析器。另一方面，我们为PEARL的面向对象的变体定义类，以便在不使用编译器的情况下静态地检查单元。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号