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

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

Modernizing System Development: Requirements-based, Model-driven Design, Implementation & Test

White Paper: This paper explores a more modern approach to system development built on a Model Driven Development (MDD) approach. MDD directly addresses the three key challenges of systems design: 1) sequential development...…View White Paper

BridgePoint with xtUML

Training Course: The BridgePoint xtUML course will help you create, debug, and translate platform independent models of your existing systems using executable UML diagrams, Object Action Language, and BridgePoint Model...…View Training course

System Modeling

Solutions

News and Press

BridgePoint from Mentor Graphics Provides Agilent GC Instrumentation Division an Efficient Methodology for Embedded Software Development

SAE 2013 WORLD CONGRESS EXPOSITION, DETROIT, Mich., April 17, 2013—Mentor Graphics Corporation and Agilent Technologies Inc. (NASDAQ: A), the world’s premier measurement company,... View News Article

Tutorials

SystemVision Tutorials

System Modeling and Integration Tutorials. These multimedia presentations provide information pertaining to model driven development methodologies. More

UML Tutorials

This series of brief (3-5 minutes) multimedia presentations explain various aspects of the BridgePoint tool and xtUML essentials in general. More