RT-ASLAN公司

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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）