xtUML and the Notion of Time
On-demand Web Seminar
Complex xtUML models often contain many features that can be assembled from a set of simpler modes and behaviors. For these models, the xtUML process recommends that each mode or behavior be implemented using a short analysis, design, and test cycle. The products of these micro-cycles are then incrementally merged to form the more complex model. An important benefit of this approach is the marked improvement in model quality due to the repeated validation that is performed as new functionality is added. Yet for this approach to be productive, a test environment that is easily extended and supports sequence reuse is essential. This topic explores testbench structures that support these goals and demonstrate their value.
New UML users typically come from a design background where the implementation language emphasizes sequential processing, strict concurrency, and synchronous communication. Consequently, these new users produce models that are prepared at low levels of abstraction and often contain elements that are platform specific. As abstraction is raised, the greatest difference is in the treatment of time, where precise clocks and global synchronicity are replaced by the fuzzy ideas of order and pair-wise synchronicity. This presentation explores these ideas in the xtUML context and discusses how to construct models that avoid common pitfalls which lead to race conditions and intermittent instability.
What You Will Learn
- What does time mean in a platform-independent model?
- How does xtUML represent time?
- What are some common pitfalls?
- What are the recommended techniques for avoiding race conditions?
- What capabilities are available in BridgePoint Verifier that will help identify timing-related issues?
Who Should Attend
- Systems Engineers
- SW Engineers/SW Architects
- HW/Electrical Design Engineers
- Systems Designers
- Projects Managers for Systems Projects
About the Presenter
Dean McArthur is a Technical Marketing Engineer, working on the BridgePoint xtUML product line at Mentor Graphics. As such, he assists consumer electronics, automotive, and medical equipment companies use advanced systems engineering and design practices during the development of their latest products.
McArthur began his career in the telecom industry. Since then, he has been a product designer, an entrepreneur, and an academic researcher, producing two patents. An author of several technical publications, Dean received a BS in Electrical Engineering from the University of Waterloo. He also holds an MS in Engineering from McMaster University.
A tour of the xtUML methodology demonstrating analysis, design, verification, and code generation in...…View Technology Overview
This segment of the xtUML "How To" Series covers three methods that can be used to create...…View Product Demo
Other Related Resources
White Paper: This paper shows how Model Driven Development can address common challenges in the system design, verification & testing of complex systems and systems of systems. Model Driven Development and virtual...…View White Paper
White Paper: This paper describes a model-driven development approach that leverages modeling efforts to validate functionality and transform high level models into forms that are useful at the next development step....…View White Paper
White Paper: This paper discusses model-driven development (MDD) as the enabler of virtual system integration. MDD dramatically reduces the risks of complex mechatronic system development, increases productivity within...…View White Paper