Verification and Validation of xtUML Models
On-demand Web Seminar
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
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.
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