Sign In
Forgot Password?
Sign In | | Create Account

Verification and Validation of xtUML Models

Details

Overview

Model execution is a key attribute of the xtUML process. This session discusses the characteristics of a testable xtUML model and highlights common model testing/debugging techniques.

What You Will Learn

  • What are the executable elements of an xtUML model?
  • What are the steps to prepare a model for execution?
  • What information is available when execution is paused?
  • What are the elements of a standardized test infrastructure?

Who Should Attend

  • Systems Engineers
  • SW Engineers/SW Architects
  • HW/Electrical Design Engineers
  • Systems Designers
  • Projects Managers for Systems Projects  

About the Presenter

Presenter Image Campbell McCausland

Campbell McCausland is a Software Development Engineer, working on the BridgePoint xtUML product line at Mentor Graphics. A 15-year BridgePoint veteran, McCausland joined the BridgePoint team in 1996 from Napier University in Edinburgh where he was course leader for the Master of Science in Software Engineering. His interest in model-driven software development goes back to his work at UNISYS in the late 1980s when he was introduced to the early software design tool, Teamwork.

Campbell's first major contribution to the BridgePoint product was MC-Java, the model compiler that is now the cornerstone of BridgePoint's self-hosting capability. He initiated the BridgePoint port from C++ to its current Java implementation, simultaneously moving it under the Eclipse infrastructure. He later created the first self- hosted Verifier implementation and, shortly afterwards, added the Verifier-Java interface. Campbell graduated from the University of Bristol, UK.

Download slides

Related Resources

Multimedia

A Tour of xtUML

A tour of the xtUML methodology demonstrating analysis, design, verification, and code generation in...…View Technology Overview

How to Create Documentation using xtUML

This segment of the xtUML "How To" Series covers three methods that can be used to create...…View Product Demo

Customizing a Model Compiler

Model compilation as a path to implementation is a key characteristic of the xtUML process. Yet, it is also a common barrier to acceptance of the process. This presentation endeavors to expose the mystery...…View On-demand Web Seminar

Other Related Resources

Reduce Project Schedules and Increase Quality using Model Driven Development

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

Communicate, eXecute, and Translate - Oh My! - the Power of xtUML and Virtual Platforms

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

A Methodology to Manage Mechatronic Development in Medical Electronic Products

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

 
Online Chat