UML-based analysis of embedded systems using a mapping to VHDL

Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999

Volumn , Issue , 1999, Pages 56-63

  McUmber, William E ^a   Cheng, Betty H C ^a  

^a Michigan State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; MODELING LANGUAGES; SEMANTICS; SPECIFICATIONS; SYSTEMS ENGINEERING; UNIFIED MODELING LANGUAGE;

BEHAVIOR SIMULATION; FORMAL SEMANTICS; OBJECT ORIENTED TECHNIQUE; STATE DIAGRAM; UML MODEL;

EMBEDDED SYSTEMS;

EID: 84979176667     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.1999.809475     Document Type: Conference Paper

References (21)

1. BetterState. http://www.isi.com/Products/BetterState/oview.html, 1997.
2. G. Booch. Object-Oriented Analysis and Design With Applications. Addison-Wesley, 1994.
3. R. H. Bourdeau and B. H. C. Cheng. A formal semantics of object models. IEEE Trans. on Software Engineering, 21(10):799-821, October 1995.
4. B. P. Douglass. Real-Time UML. Addison-Wesley, 1998.
5. M. D. Fraser, K. Kumar, V. K. Vaishnavi. Strategies for incorporating formal specifications. Communications of the ACM, (10):74-86, October 1994.
6. D. Gajski, F. Vahid, S. Narayan, J. Gong. Specification and Design of Embedded Systems. Prentice Hall, 1996.
7. D. Harel. StateCharts: A Visual Formalism for Complex Systems. Sci. Comput. Programming, 8, 1987.
8. T. C. Hartrum and P. D. Bailor. Teaching formal extensions of informal-based object-oriented analysis methodologies. In Proc. of Computer Science Education, pages 389-409, 1994.
9. F. Hayes and D. Coleman. Coherent models for objectoriented analysis. In Proceedings of OOPSLA '91, pages 171-183, 1991.
10. IEEE. IEEE Standard VHDL Language Reference Manual, June 1994. ANSI/IEEE Std 1076-1993.
11. C. B. Jones. Systematic Software Development Using VDM. Prentice Hall International Series in Computer Science. Prentice Hall International (UK) Ltd., second edition, 1990.
12. D. Latella, I. Majzik, M. Massink. Towards a formal operational semantics of UML statechart diagrams. In Proc. FMOODS'99, IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, Florence, Italy, February 15-18, 1999. Kluwer, 1999.
13. C. Le Faou and J. Mermet. Introducing CASCADE control graphs in VHDL. In J. Mermet, editor, VHDL for Simulation, Synthesis and Formal Proofs of Hardware, pages 245-256. Kluwer Academic Publishers, 1992.
14. W. E. McUmber and B. H. Cheng. Uml-based analysis of embedded systems using a mapping to vhdl. Technical Report MSU-CPS-99-11, Department of Computer Science, Michigan State University, East Lansing, Michigan, February 99.
15. A. M. D. Moreira and R. G. Clark. Adding rigour to object-oriented analysis. Software Engineering Journal, 11(5):270-280, 1996.
16. Rational Software Corporation, 2800 San Tomas Expressway, Santa Clara, CA 95051-0951. Object Constraint Language Specification, 1.1 edition, September 1997.
17. Rational Software Corporation, Santa Clara, CA 95051-0951. UML Notation Guide, 1.0 edition, January 1997.
18. Rational Software, Microsoft, Hewlett Packard, Oracle, Sterling Software, MCI Systemhouse, Unisys, ICON Computing, IntelliCorp, i-Logix, IBM, ObjecTime, Platinum Technology, PTech Taskon, Reich Technologies, Softem. UML Semantics, ad/97-08-04 edition, Sept. 1997. available on http://www.rational.com.
19. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Loresensen. Object Oriented Modeling and Design. Prentice Hall, 1991.
20. B. Selic, G. Gullekson, P. T. Ward. Real-Time Object Oriented Modeling. John Wiley & Sons, 1994.
21. J. Spivey. The Z Notation A Reference Manual. Prentice Hall International (UK) Ltd., 1989.