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

Other Related Resources

 
Online Chat