Issues in mapping HRT-HOOD to UML

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2003, Pages 221-228

  Mazzini, S ^a   D'Alessandro, M ^a   Di Natale, M ^b   Lipari, G ^b   Vardanega, T ^c  

^a Intecs HRT   (Italy)

^b SCUOLA SUPERIORE SANT ANNA   (Italy)

^c UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT BASED; HOOD TECHNOLOGY; META MODEL; OBJECT ORIENTED; REAL-TIME COMMUNITY; REAL-TIME DESIGN; UML(UNIFIED MODELING LANGUAGE);

UNIFIED MODELING LANGUAGE;

REAL TIME SYSTEMS;

EID: 33847156949     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMRTS.2003.1212747     Document Type: Conference Paper

References (20)

1. A. Burns. The Ravenscar Profile. Ada Letters, XIX(4):49-52, 1999. ACM Press.
2. A. Burns, B. Dobbing, and T. Vardanega. 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.
3. A. Burns and A. Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Real-Time Systems, 6:73-114, 1994. Kluwer Academic Publishers.
4. A. Burns and A. Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Elsevier Science, Amsterdam, NL, 1995. ISBN 0-444-82164-3.
5. E. Gamma, R. Helm, R. Johnson, and J. Vlissideds. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1999.
6. H. Gomaa. Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, 2000. ISBN 0201657937.
7. HOOD Technical Group. HOOD Reference Manual 3.1. Prentice Hall, Englewood Cliffs, NJ (USA), 1993.
8. HOOD Users' Group and J. Rosen. HOOD - An Industrial Approach for Software Design. HOOD Users' Group, 1997. ISBN 2-9600151-0-X.
9. ISO. Ada Reference Manual . International Standardisation Organisation, Geneva, CH, 1987. ISO/IEC 8652:1987.
10. Revision Task Force. OMG Unified Modeling Language Specification, Version 1.4. Technical report, Object Management Group (OMG), 2001. OMG document formal/01-09-67.
11. B. Selic, G. Gullekson, and P. Ward. Real-Time Object-Oriented Modeling. Wiley & Sons, 1994. ISBN 0471599-174.
12. B. Selic and J. Rumbaugh. Using UML for Modeling Complex Real-Time Systems. Technical report, Rational, http://www.rational.com/products/ whitepapers/umlrt.pdf, 2002.
13. T. Vardanega and G. Caspersen. Engineering Reuse for Onboard Embedded Real-Time Systems. Software - Practice and Experience, 32(3):233-264, 2002. (Pubitemid 34237314)
14. T. Vardanega and J. van Katwijk. A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. Software - Practice and Experience, 29(3):235-266, 1999.
15. P.D. Cornwell. Reusable Component Engineering for Hard Real-Time Systems. DPhil Thesis Department of Computer Science. University of York, 1998. http://www.cs.york.ac.uk/ftpdir/reports/YCST-98-04.ps.gz
16. A. Burns and A Lister. A Framework for Building Dependable Systems. Computer Journal, 2(23):173-181, 1990.
17. J.L. Medina, M. González Harbour, and J.M. Drake. MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems . Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, IEEE Computer Society Press, pp. 245-256, December 2001.
18. M. Saksena, A. Ptak, P. Freedman, P. Rodziewicz. Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models. em Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS 1998), Madrid, Spain, December 1998.
19. F. Jahanian and A. Mok. Safety Analysis of Timing Properties in Real-Time Systems. IEEE Transactions in Software Engineering, SE-12(9) 1986.
20. R. Di Giovanni and P.L. Iachini. HOOD and Z for the Development of Complex Software Systems. LNCS(428):262-289. Springer Verlag. 1990.