Report ID
1996-31
Report Authors
Paul Z. Kolano
Report Date
Abstract
ASTRAL is a formal specification language for real-time systems. It isintended to support formal software development and, therefore, has beenformally defined. The structuring mechanisms in ASTRAL allow one to buildmodularized specifications of complex systems with layering. A real-timesystem is modeled by a collection of state machine specifications and a singleglobal specification.The ASTRAL software development environment is an integrated set of design andanalysis tools based on the ASTRAL formal framework. The tools that make upthe support environment are a syntax-directed editor, a specificationprocessor, a verification condition generator, and a browser kit. Thisdocument describes the features and use of the ASTRAL software developmentenvironment.
Document
1996-31.ps636.03 KB