Specification of Realtime Systems Using ASTRAL

Abstract

ASTRAL is a formal specification language for realtime 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 realtime system is modeled by a collection of state machine specifications and… (More)
DOI: 10.1109/32.629494

Topics

6 Figures and Tables

Statistics

051015'98'00'02'04'06'08'10'12'14'16'18
Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics