RT-ASLAN: A specification language for real-time systems

@article{Auernheimer1986RTASLANAS,
  title={RT-ASLAN: A specification language for real-time systems},
  author={Brent Auernheimer and Richard A. Kemmerer},
  journal={IEEE Transactions on Software Engineering},
  year={1986},
  volume={SE-12},
  pages={879-889}
}
RT-ASLAN, a formal language for specifying real-time systems, is an extension of the ASLAN specification language for sequential systems. Some of the features of the ASLAN language, such as constructs for writing procedural semantics in a nonprocedural logical language, are highlighted. The RT-ASLAN language supports specification of parallel real-time processes through arbitrary levels of abstraction; processes do not have to be specified to the same level of detail. Communicating processes… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 39 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 14 REFERENCES

Response Times in Level-Structured Systems

  • ACM Trans. Comput. Syst.
  • 1987
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

ASLAN user's manual

B. Auernheimer, R. A. Kemmerer
  • Dep. Comput. Sci., Univ. California, Santa Barbara, Rep. TRCS84- 10, Mar. 1985.
  • 1985
VIEW 3 EXCERPTS

Implementation of implied NoChanges in AS- LAN

B. Auernheimer
  • Dep. Comput. Sci., Univ. California, Santa Barbara, Rep. TRCS85-07, Mar. 1985.
  • 1985
VIEW 1 EXCERPT

SRI verification system version 2.0 user's guide

J. Crow, D. Denning, +5 authors F. von Henke
  • SRI Int. Comput. Sci. Lab., Menlo Park, CA, Nov. 1985.
  • 1985

Formal Specification of a Multi-Level Secure Operating System

  • 1984 IEEE Symposium on Security and Privacy
  • 1984
VIEW 1 EXCERPT

On the Uses of Synchronization in Hard-real-time Systems

  • MILCOM 1983 - IEEE Military Communications Conference
  • 1983
VIEW 1 EXCERPT

Program Graphs and Execution Behavior

  • IEEE Transactions on Software Engineering
  • 1983
VIEW 1 EXCERPT

An Operational Approach to Requirements Specification for Embedded Systems

  • IEEE Transactions on Software Engineering
  • 1982
VIEW 1 EXCERPT

AFFIRM reference manual

D. H. Thompson, R. W. Erickson, Eds.
  • USC Inform. Sci. Inst., Marina del Rey, CA, Feb. 1981.
  • 1981
VIEW 1 EXCERPT