Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

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

Altmetrics provided by Altmetric

Share