Welcome to the official ASTRAL home page! ASTRAL is a formal specification language for real-time systems developed at the Computer Security Lab of UCSB's Computer Science Department. This page provides a variety of information about ASTRAL, which is accessible through the links on the left.
The language page describes the ASTRAL language in detail and provides references for further reading.
The examples page provides descriptions of a number of different real-time systems and gives their ASTRAL specifications.
The tools page describes and shows screenshots of the ASTRAL software development environment (SDE), which is a comprehensive toolset for the design, analysis, and reuse of ASTRAL specifications. The SDE can be downloaded from the download page.
The publications page lists downloadable ASTRAL publications by year, which have been written by the various people working on ASTRAL shown on the people page.
Finally, the related projects link can be used to find a wealth of information about other formal methods projects around the world on Jonathan Bowen's Formal Methods page.
Richard Kemmerer / kemm@cs.ucsb.edu
URL: http://www.cs.ucsb.edu/~seclab/ASTRAL/index.html
last update: 10-12-00