Architecture description languages for high-integrity real-time systems

IEEE Software

Volumn 23, Issue 2, 2006, Pages 71-79

  Radjenovic, Alek ^a   Paige, Richard ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING;

ABSTRACTION LAYERING; ARCHITECTURE DESCRIPTION LANGUAGE; CUSTOM VIEW CREATION; HIGH INTEGRITY REAL TIME SYSTEMS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 33645002950     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.2006.36     Document Type: Article

References (8)

1. N. Leveson, Safeware: System Safety and Computers, Addison-Wesley, 1995.
2. P.B. Kruchten, "The '4+1' View Model of Architecture," IEEE Software, vol. 12, no. 6, 1995, pp. 42-50.
3. IEEE Std. 1471-2000, Recommended Practice for Architectural Description of Software-Intensive Systems, IEEE Press, 2000.
4. H.R. Simpson, "The Mascot Method," Software Eng. J., vol. 1, no. 3, 1986, pp. 103-120.
5. AS-2C SAE, Architecture Analysis & Design Language (AADL), Soc. of Automotive Engineers, 2004.
6. M. Wallace, "Modular Architectural Representation and Analysis of Fault Propagation and Transformation," Proc. European Joint Conf. Theory and Practice of Software (ETAPS), Elsevier Electronic Notes in Theoretical Computer Science (ENTCS), vol. 141, no. 3, 2005, pp. 53-71.
7. A. Beugnard et al., "Making Components Contract Aware," Computer, vol. 32, no. 7, 1999, pp. 38-45.
8. D. Garlan, R.T. Monroe, and D. Wile, "Acme: An Architecture Description Interchange Language," Proc. Conf. Center for Advanced Studies on Collaborative Research (Cascon), IBM Press, 1997, pp. 169-183.