Multioberon系统中的限制性语言语义

DOI:

EDN:

评审日期

出版日期

注解: 实施中的基于Oberon的语言和系统展示了一种实现可靠性的极简方法，与大多数寻求最大化支持功能数量的软件系统显着不同。 A类核电厂对关键系统的要求禁止使用更多的方案拟订做法。 为了满足迭代次数稳定的a类要求，禁止使用条件循环运算符。 为了确保ergodicity，禁止使用动态内存和递归。 通过禁止系统操作模块系统来关闭缓冲区溢出类型漏洞。 可以设置限制以识别脆弱基类的问题、类型更改操作以及嵌套过程的使用。 值得注意的是，向Oberon-07方言的过渡主要涉及额外的限制，并且非常适合限制性语义的框架。 作者提出了一种限制语义的方法，其中使用一种具有限制系统的语言，而不是针对每组要求的语言和方言。 在语言中引入了一个限制语句作为对此模块的限制声明。 Multioberon编译器由一个前端实现，包括一个限制系统和几个可替换的后端。 通过实例演示了编译器的句法分析。 显示了根据系统要求扩展编译器的策略。 限制性语义方法的新颖性是实现一组满足系统要求的最小必要属性。 系统开发人员使用"从限制"方法是一个优势，因为它声明了系统真正必要的属性，与需求相关联。

出版日期: