RT-ASLAN

RT-ASLAN: A specification language for real-time systems. 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 use an interface process as an abstract data type representing shared information. From RT-ASLAN specifications, performance correctness conjectures are generated. These conjectures are logic statements whose proof guarantees that the specification meets critical time bounds. A detailed example as well as a discussion of the advantages and disadvantages of formal specification and verification are included.


References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)

  1. Wu, Guoqing; Shu, Fengdi; Wang, Min; Chen, Weiqing: Requirements specifications checking of embedded real time software (2002)
  2. Chen, Z.; Zedan, H.; Cau, A.; Yang, H.: A wide-spectrum language for object-based development of real-time systems (1999)
  3. Stoyenko, Alexander D.; Marlowe, Thomas J.; Laplante, Phillip A.: A description language for engineering of complex real-time systems. (1996) ioport
  4. Stoyenko, Alexander D.; Marlowe, Thomas J.; Laplante, Phillip A.: A description language for engineering of complex real-time systems. (1996) ioport
  5. Hassapis, George; Papadopoulos, John: Support software for the development of programmable logic controller applications. (1995) ioport
  6. Scholefield, David; Zedan, Hussein; Jifeng, He: A specification-oriented semantics for the refinement of real-time systems (1994)