ePrints

A formal design language for real-time systems with data

Lookup NU author(s): Dr Steven Bradley

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

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. (C) 2001 Elsevier Science B.V. All rights reserved.

Publication metadata

Author(s): Bradley S, Henderson W, Kendall D, Robson A

Publication type: Article

Publication status: Published

Journal: Science of Computer Programming

Year: 2001

Volume: 40

Issue: 1

Pages: 3-29

ISSN (print): 0167-6423

ISSN (electronic): 1872-7964

Publisher: Elsevier BV

URL: http://dx.doi.org/10.1016/S0167-6423(00)00025-3

DOI: 10.1016/S0167-6423(00)00025-3

Altmetrics

Share