Skip to main content
Log in

The design and analysis of real-time systems using the ASTRAL software development environment

  • Published:
Annals of Software Engineering

Abstract

ASTRAL is a formal specification language for real-time systems. It is intended to support formal software development and, therefore, has been formally defined. The structuring mechanisms in ASTRAL allow one to build modularized specifications of complex systems with layering. A real-time system is modeled by a collection of state machine specifications and a single global specification. This paper discusses the ASTRAL Software Development Environment (SDE), which is an integrated set of design and analysis tools based on the ASTRAL formal framework. The tools that make up the support environment are a syntax-directed editor, a specification processor, a verification condition generator, a browser kit, a model checker, and a mechanical theorem prover.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kolano, P.Z., Dang, Z. & Kemmerer, R.A. The design and analysis of real-time systems using the ASTRAL software development environment. Annals of Software Engineering 7, 177–210 (1999). https://doi.org/10.1023/A:1018934104631

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1018934104631

Keywords

Navigation