Formal design language for real-time systems with data

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Research output: Contribution to journalArticlepeer-review


AORTA has been proposed as an implementable real-time language for concurrent systems where event times, rather than values of data, are critical. In this paper we describe how to use AORTA with a formal data model, allowing integration with a variety of model-based data specification languages. Example definitions are given of time-critical systems with important data attributes. A development technique and supporting software tools for AORTA are also described.
Original languageEnglish
Pages (from-to)3-29
JournalScience of Computer Programming
Issue number1
Publication statusPublished - May 2001


Dive into the research topics of 'Formal design language for real-time systems with data'. Together they form a unique fingerprint.

Cite this