RT-ASLAN公司

实时系统规范语言RT-ASLAN。RT-ASLAN是一种用于指定实时系统的形式化语言,是ASLAN规范语言在顺序系统中的扩展。本文重点介绍了ASLAN语言的一些特性,例如用非过程逻辑语言编写过程语义的构造。RT-ASLAN语言支持通过任意抽象级别来规范并行实时进程;进程不必指定到相同的细节级别。通信进程使用接口进程作为表示共享信息的抽象数据类型。根据RT-ASLAN规范,生成性能正确性猜想。这些猜想是逻辑语句,其证明保证规范满足临界时间界限。文中给出了一个详细的例子,并讨论了形式化规范和验证的优缺点。


zbMATH参考文献(参考 6篇文章 参考)

显示结果1到6,共6个。
按年份排序(引用)

  1. 吴国庆;舒凤迪;王敏;陈伟青:嵌入式实时软件需求规范检查(2002)
  2. Chen,Z.;Zedan,H.;Cau,A.;Yang,H.:实时系统基于对象开发的广谱语言(1999)
  3. Stoyenko,Alexander D.;Marlowe,Thomas J.;Laplante,Phillip A.:复杂实时系统工程的描述语言。(1996年)ioport公司
  4. Stoyenko,Alexander D.;Marlowe,Thomas J.;Laplante,Phillip A.:复杂实时系统工程的描述语言。(1996年)ioport公司
  5. 哈萨皮,乔治;帕帕多普洛斯,约翰:可编程逻辑控制器应用程序开发的支持软件。(1995年)ioport公司
  6. Scholefield,David;Zedan,Hussein;Jifeng,He:实时系统精化的面向规范的语义(1994)