HRT-UML: Taking HRT-HOOD onto UML-Reference-Cited by-同舟云学术

HRT-UML: Taking HRT-HOOD onto UML

Published:2003 Issue: Volume: Page:405-416
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Mazzini Silvia,D’Alessandro Massimo,Di Natale Marco,Domenici Andrea,Lipari Giuseppe,Vardanega Tullio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44947-7_31

Reference12 articles.

1. Ada Rapporteur Group: AI-249: Ravenscar profile for high-integrity systems. Technical report, ISO/IEC JTC1/SC22/WG9 (2002) http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00249.TXT

2. Ada Rapporteur Group: AI-305: New pragma and additional restriction identifiers for realtime systems. Technical report, ISO/IEC JTC1/SC22/WG9 (2002) http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00305.TXT

3. Lect Notes Comput Sci;A. Alonso,2002

4. Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the ada ravenscar profile in high integrity systems. Technical Report YCS-2003-348, University of York (2003) http://www.cs.york.ac.uk/ftpdir/reports/YCS-2003-348.pdf

5. Burns, A., Wellings, A.: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Elsevier Science, Amsterdam, NL ISBN 0-444-82164-3 (1995)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Extending FeatuRSEB with Concepts from Systems Engineering;Formal Foundations of Reuse and Domain Engineering;2009

2. A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications;Lecture Notes in Computer Science;2006

3. A New Strategy for the HRT-HOOD to Ada Mapping;Reliable Software Technology – Ada-Europe 2005;2005