loading...
Architecture Description Languages for High-Integrity Real-Time Systems
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2006.36March/April 2006 (vol. 23 no. 2) pp. 71-79
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Alek Radjenovic, Richard Paige, "Architecture Description Languages for High-Integrity Real-Time Systems," IEEE Software, vol. 23, no. 2, pp. 71-79, March/April, 2006.
 
 
BibTex
x
 
@article{ 10.1109/MS.2006.36,
author = {Alek Radjenovic and Richard Paige},
title = {Architecture Description Languages for High-Integrity Real-Time Systems},
journal ={IEEE Software},
volume = {23},
number = {2},
issn = {0740-7459},
year = {2006},
pages = {71-79},
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2006.36},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Architecture Description Languages for High-Integrity Real-Time Systems
IS - 2
SN - 0740-7459
SP71
EP79
EPD - 71-79
A1 - Alek Radjenovic,
A1 - Richard Paige,
PY - 2006
KW - architecture description languages
KW - safety-critical systems
KW - model development
KW - modeling methodologies
KW - software architecture
VL - 23
JA - IEEE Software
ER -
 
Alek Radjenovic, University of York
Richard Paige, University of York
Safety-critical systems, also known as high-integrity real-time systems (HIRTS), require architecture description languages that model the entire system, rather than specific parts or aspects of the system. ADLs pose unique challenges in their construction. Architecture Information Modeling is an ADL developed in collaboration with the safety industry. AIM provides language flexibility, abstraction layering, custom view creation, a design-by-view process, and safety and change control. A case study demonstrates the application of the AIM concepts in a top-down software design.

This article is part of a focus section on software architecture.

Index Terms:
architecture description languages, safety-critical systems, model development, modeling methodologies, software architecture
Citation:
Alek Radjenovic, Richard Paige, "Architecture Description Languages for High-Integrity Real-Time Systems," IEEE Software, vol. 23, no. 2, pp. 71-79, Mar./Apr. 2006, doi:10.1109/MS.2006.36
Usage of this product signifies your acceptance of the Terms of Use.