Architecture Description Languages for High-Integrity Real-Time Systems

Authors:
Alek Radjenovic;Richard Paige
Affiliations:
University of York;University of York
Venue:
IEEE Software
Year:
2006

Citing 7
Cited 2

The Mascot method

Software Engineering Journal - Special issue on Mascot 3
Safeware: system safety and computers

Safeware: system safety and computers
Making Components Contract Aware

Computer
The 4+1 View Model of Architecture

IEEE Software
Acme: an architecture description interchange language

CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Modular Architectural Representation and Analysis of Fault Propagation and Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling to safety

EWSA'05 Proceedings of the 2nd European conference on Software Architecture

The view glue

Architecting dependable systems IV
The art and science of software architecture

ECSA'07 Proceedings of the First European conference on Software Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

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. ADLspose unique challenges in their construction. Architecture Information Modelingis 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.