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
VL - 40
SP - 3
EP - 29
JO - Science of Computer Programming
JF - Science of Computer Programming
SN - 0167-6423
IS - 1
ER -