White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Architecture Description Languages for High Integrity Real-Time Systems

Radjenovic, A. and Paige, R. (2006) Architecture Description Languages for High Integrity Real-Time Systems. IEEE Software, 23 (2). pp. 71-79. ISSN 0740-7459

Full text not available from this repository.

Abstract

[First paragraph] Safety-critical systems, such as those in the avionics, automotive, power, space, and medical industries, are predominantly driven by real-time embedded software and are often referred to as highintegrity real-time systems (HIRTS). In these systems, safety is of paramount importance. Safety is broadly defined as freedom from accidents and loss.1 When no safe alternative to normal service exists, a system must be dependable to be safe—that is, it must have reliable ways to deliver a certain quality of service. Dependability is thus concerned primarily with fault tolerance. Dependability attributes (availability, reliability, safety, confidentiality, integrity, and maintainability) are highly desirable in many other categories of modern software systems. For example, a Web service’s availability is highly desirable from a business perspective. However, it isn’t critical in the same sense as the availability of an aircraft’s landing gear. Likewise, we want our banking system to be reliable, but not in the same way that we want our car to be reliable at high speeds.

Item Type: Article
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 27 Jul 2009 14:51
Last Modified: 27 Jul 2009 14:51
Published Version: http://dx.doi.org/10.1109/MS.2006.36
Status: Published
Publisher: IEEE Institute of Electrical and Electronics
Identification Number: 10.1109/MS.2006.36
URI: http://eprints.whiterose.ac.uk/id/eprint/6277

Actions (repository staff only: login required)