Introduction to UML and the modeling of embedded systems

Embedded Systems: Handbook

Volumn , Issue , 2005, Pages 9-1-9-33

  Haugen, Øystein ^a   Møller Pedersen, Birger ^a   Weigert, Thomas ^b  

^a UNIVERSITY OF OSLO   (Norway)

^b MOTOROLA INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84888822479     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1201/9781420038163     Document Type: Chapter

References (23)

1. International Telecommunications Union. Specification and Description Language (SDL). Recommendation Z.100, 2002.
2. J. Ellsberger, D. Hogrefe, and A. Sarma. SDL. Prentice-Hall, New York, 1997.
3. A. Olsen, O. Færgemand, B. Møller-Pedersen, R. Reed, and J.R.W. Smith. Systems Engineering Using SDL-92. North-Holland, Amsterdam, 1994.
4. J. Grabowski and E. Rudolph. Putting Extended Sequence Charts to Practice. In Proceedings of the 4th SDL Forum. North-Holland, Amsterdam, 1989.
5. D. Hatley and I. Pirbhai. Strategies for Real-Time System Specification. Dorset House, New York, 1987.
6. D. Harel. Statecharts: A Visual Approach to Complex Systems. Technical Report CS84-05, Weizmann Institute of Science, 1984.
7. P.T. Ward and S. Mellor. Structured Development for Real-Time Systems. Yourdon, Englewood Cliffs, 1985.
8. B. Selic, G. Gullekson, and P.T. Ward. Real-Time Object Oriented Modeling. John Wiley & Sons, New York, 1994.
9. J. Rumbaugh, I. Jacobson, and G. Booch. Unified Modeling Language Reference Manual. Addison Wesley, Reading, MA, 1999.
10. Object Management Group. UML 2.0 Language Specification. ptc/03-08-02, 2003.
11. Ø. Haugen, B. Møller-Pedersen, and T. Weigert. Structural Modeling with UML 2.0. In UML for Real, L. Lavagno, G. Martin, and B. Selic, Eds. Kluwer Academic Publishers, Boston, MA, 2003.
12. T. Weigert and R. Reed. Specifying Telecommunications Systems with UML. In UML for Real:Design of Embedded Real-Time Systems, L. Lavagno, G. Martin, and B. Selic, Eds. Kluwer Academic Publishers, Dordrecht, 2003.
13. R.J.A. Buhr and R.S. Casselman. Use Case Maps for Object-Oriented Systems. Prentice-Hall, New York, 1996.
14. International Telecommunications Union. SDL Combined with ASN.1 Modules (SDL/ASN.1). Recommendation Z.105, 2001.
15. Ø. Haugen and K. Stølen. STAIRS - Steps to Analyze Interactions with Refinement Semantics. In UML., Vol. 2863 of Lecture Notes in Computer Science. Springer, 2003.
16. R. Bræk and Ø. Haugen. Engineering Real Time Systems. Prentice-Hall, New York, 1994.
17. International Telecommunications Union. SDL Combined with UML. Recommendation Z.109, ITU-T, Geneva, 1999.
18. P. Baker, P. Bristow, C. Jervis, D. King, and B. Mitchell. Automatic Generation of Conformance Tests From Message Sequence Charts. In Proceedings of the 3rd SAMWorkshop., Vol. 2599 of Lecture Notes in Computer Science. Springer, 2003, pp. 170-198.
19. L. Helouet. Some Pathological Message Sequence Charts, and How to Detect Them. In Proceedings of the 10th SDL Forum., Vol. 2078 of Lecture Notes in Computer Science. Springer, 2001, pp. 348-364.
20. G. Holzmann. Formal Methods for Early Fault Detection. In Proceedings of the Formal Techniques for Real-Time and Fault Tolerant Systems., Vol. 1135 of Lecture Notes in Computer Science. Springer, 1995, pp. 40-54.
21. R. Alur, G. Holzmann, and D. Peled. An Analyzer for Message Sequence Charts. Software -Concepts and Tools, 17: 70-77, 1996.
22. G. Holzmann. Early Fault Detection Tools. Software-Concepts and Tools, 17: 63-69, 1996.
23. International Telecommunications Union. Message Sequence Charts (MSC). Recommendation Z.120, ITU-T, Geneva, 1999.