Bradley, Steven, Henderson, William, Kendall, David and Robson, Adrian (2001) Formal design language for real-time systems with data. Science of Computer Programming, 40 (1). pp. 3-29. ISSN 0167-6423
Full text not available from this repository. (Request a copy)
Official URL: http://dx.doi.org/10.1016/S0167-6423(00)00025-3
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.
| Item Type: | Article |
|---|---|
| Subjects: | G500 Information Systems G600 Software Engineering |
| Department: | Faculties > Engineering and Environment > Computer and Information Sciences |
| Depositing User: | Becky Skoyles |
| Date Deposited: | 12 Feb 2015 15:52 |
| Last Modified: | 13 Oct 2019 00:24 |
| URI: | http://nrl.northumbria.ac.uk/id/eprint/19311 |
Actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
