Formal design language for real-time systems with data

Steven Bradley; William Henderson; David Kendall; Adrian Robson

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

Formal design language for real-time systems with data

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	3-29
Journal	Science of Computer Programming
Volume	40
Issue number	1
DOIs	https://doi.org/10.1016/S0167-6423(00)00025-3
Publication status	Published - May 2001

Access to Document

10.1016/S0167-6423(00)00025-3

Cite this

@article{36ef545e04844ee38c50d12c71558441,

title = "Formal design language for real-time systems with data",

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.",

author = "Steven Bradley and William Henderson and David Kendall and Adrian Robson",

year = "2001",

month = may,

doi = "10.1016/S0167-6423(00)00025-3",

language = "English",

volume = "40",

pages = "3--29",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "1",

}

TY - JOUR

T1 - Formal design language for real-time systems with data

AU - Bradley, Steven

AU - Henderson, William

AU - Kendall, David

AU - Robson, Adrian

PY - 2001/5

Y1 - 2001/5

N2 - 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.

AB - 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.

U2 - 10.1016/S0167-6423(00)00025-3

DO - 10.1016/S0167-6423(00)00025-3

M3 - Article

SN - 0167-6423

VL - 40

SP - 3

EP - 29

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 1

ER -

Formal design language for real-time systems with data

Abstract

Access to Document

Fingerprint

Cite this