William E. McUmber, Betty H.C. Cheng  Home/Search
Context Related
| msu.edu/pub/serg/require...hase99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: msu.edu/~chengb/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Methods for developing and modeling embedded systems and rigorously verifying behavior before committing to code are increasingly important. A number of objectoriented techniques and notations have been introduced, but recently, it appears that the Unified Modeling Language (UML) could be a notation broad enough in scope to represent a variety of domains and gain widespread use. Currently, however, UML is only a notation, with no formal semantics attached to the individual diagrams. In order to ... (Update)
Context of citations to this paper: More
...we have developed rules for transformations of a metamodel. However, these rules are not included here due to space constraints [14]. 4.2. VHDL to UML Diagram Homomorphisms In this section we apply the ideas from the previous sections to the construction of rules for mapping...
...run into the state explosion problem if it is asked to exhaustively explore the behavior of a system. In our tool integration effort [29, 30], 7 we have developed strategies for combining these kinds of techniques in order to perform high level behavior validation,...
Cited by: More
Model Checking Software, 10th International SPIN.. - Requirements.. (Correct)
Multiple Dimensions of Integrating Development Technology - Cheng (Correct)
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL - McUmber, Cheng (1999) (Correct)
Active bibliography (related documents): More All
0.1: A Theory-Based Representation for Object-Oriented Domain Models - DeLoach, Hartrum (2000) (Correct)
0.1: Representing Object Models as Theories - Deloach, Bailor, Hartrum (1995) (Correct)
0.1: A Reflective Framework for Formal Interoperability - Sri (1998) (Correct)
Similar documents based on text: More All
0.1: Requirements Patterns for Embedded Systems - Sascha Konrad And (2002) (Correct)
0.1: Propositional, First-Order and Higher-Order Logics: Basic.. - Shapiro (Correct)
0.1: UML-Based System-Level - Specifications For Integrated (Correct)
Related documents from co-citation: More All
2: Systematic Software Development using VDM - Jones - 1986
2: Statecharts: A visual formalism for complex systems - Harel - 1987
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/mcumber99umlbased.html More
@inproceedings{ mcumber99umlbased,
author = "W. E. McUmber and B. H. C. Cheng",
title = "{UML}-Based Analysis of Embedded Systems Using a Mapping to {VHDL}",
booktitle = "Proc. of the Fourth {IEEE} International Symposium on High Assurance Systems Engineering",
publisher = "IEEE",
editor = "Raymond Paul and Catherine Meadows",
year = "1999",
url = "citeseer.ist.psu.edu/mcumber99umlbased.html" }
Citations (may not include all citations):1286 Object Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
1174 StateCharts: A Visual Formalism for Complex Systems - Harel - 1987
689 Systematic Software Development Using VDM - Jones - 1990
653 Object-Oriented Analysis and Design With Applications (context) - Booch - 1994
274 Prentice Hall International (context) - Spivey, Notation et al. - 1989
271 Real-Time Object Oriented Modeling (context) - Selic, Gullekson et al. - 1994
161 Specification and Design of Embedded Systems (context) - Gajski, Vahid et al. - 1996
36 Towards a formal operational semantics of UML statechart dia.. - Latella, Majzik et al. - 1999
36 UML Notation Guide (context) - Corporation, Clara - 1997
30 Real--Time UML (context) - Douglass - 1998
23 Object Constraint Language Specification (context) - Corporation, Expressway et al. - 1997
21 Coherent models for objectoriented analysis (context) - Hayes, Coleman - 1991
21 Strategies for incorporating formal specifications (context) - Fraser, Kumar et al. - 1994
9 Adding rigour to object-oriented analysis (context) - Moreira, Clark - 1996
8 Teaching formal extensions of informal-based object-oriented.. (context) - Hartrum, Bailor - 1994
6 A formal semantics of object models (context) - Bourdeau, Cheng - 1995
3 Uml-based analysis of embedded systems using a mapping to vh.. - McUmber, Cheng
1 Platinum Technology (context) - Software, Hewlett et al. - 1997
1 Introducing CASCADE control graphs in VHDL (context) - Le Faou, Mermet - 1992
Documents on the same site (http://www.cse.msu.edu/~chengb/pubs.html):
Enabling Automated Analysis Through the Formalization of.. - Betty Cheng And (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC