Formal design language for real-time systems with data

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 Science and Digital Technologies
Depositing User: Becky Skoyles
Date Deposited: 12 Feb 2015 15:52
Last Modified: 10 Aug 2015 11:33
URI: http://nrl.northumbria.ac.uk/id/eprint/19311

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics


Policies: NRL Policies | NRL University Deposit Policy | NRL Deposit Licence