BridgePoint Modeling Exercises in Building Executable Models Mentor Graphics Corporation
|
|
- Meredith Russell
- 5 years ago
- Views:
Transcription
1 BridgePoint Modeling Exercises in Building Executable Models Mentor Graphics Corporation Published April 2013 Copyright Mentor Graphics Corporation
2 1. Lab Background BehindTheTimes Inc. is planning a new range of sports watches incorporating GPS technology. The engineering group is researching availability of GPS technology - either integrated IP, or as a separate receiver. Past products have been late to market because of software delays; software testing has always had to wait for availability of prototype hardware. The product manager is eager to see the software designs prototyped and tested - which is a claim for the newly adopted model-driven development strategy. 1.2 What we want to accomplish The purpose of this exercise is to: Become familiar with the graphical user interface Create and edit basic model elements Learn how to launch Verifier and how to feed stimuli into the model 1.3 Task This instruction takes you through the construction of two UML components, one called 'Location' that will simulate the physical GPS and one called 'Tracking' which will encapsulate the core application. Set up the project 1. Make sure the xtuml Modeling perspective is active: Window > Open perspective > xtuml Modeling Enable Link with Editor 2. Create a project: Right click the Model Explorer view and select New > xtuml Project Name it Gps Watch Leave default values and press Finish Structure the model 3. Create two models: Right click the project in Model Explorer and select New > Package Enter 'Tracking' in the name field Repeat the step in here to create another model called Location We create these models to allow us to formalize them into components which can be interconnected via interfaces.
3 4. Add subsystems: Double click the Tracking model created in the step above to open the Domain Package Diagram Double click the Tracking Package from the Default Toolset under the Draw the package somewhere on the canvas and name it Tracking Repeat the steps in here to create a similar subsystem in the Location component, name it Location 5. Create two components: Double click the Tracking model created in the previous step to open the Package Diagram Activate the Component tool in the and add two components to the diagram Name them 'Tracking' and 'Location' 6. Create a package diagram to hold System: Open the System Model Package Diagram by double clicking the project in Model Explorer Select the Package from the Default Toolset, draw a new package on the diagram and name it System Double click System to open our new component diagram 6. Create two component references: Activate the Component Reference tool from the and add two component references to the diagram 7. Formalize the component references: <dbl click> Right click each component and select Assign Component... The models created in step 5 appears in the drop down list, select corresponding model and press Finish The reference names should now change to match the path of the assigned component in Model Explorer Defining data types 8. Create a data type package: Open the System Model Package Diagram again (double click the project in Model Explorer) Add a new Package to the canvas Name it 'LocationDataTypes' <dbl click>
4 9. Create a new structured data type Double click the package created in the previous step Select the New Structured Data Type tool from the and draw the new data type on the canvas Name it 'Location' 10. Add members to the structured data type Right click the data type and select New > Member Select the data type on the canvas (left click) In the Properties view, expand the field called Structure Member Highlight the value of Type and change the data type to 'real' 11. Repeat step 10 to create two additional members: 'latitude' of type real 'speed' of type real
5 Defining interfaces 12. Create an interface package: Open the System Model Package Diagram again (double click the project in Model Explorer) Right click the canvas and select New > Package Name the package 'LocationInterfaces' <dbl click> 13. Define an interface: Double click the package created in the previous step Select the New Interface tool from the and draw the new interface Name it 'LocationProvider' 14. Add a signal: Right click the interface and select New > Signal Select the interface on the canvas (left click) In the Properties view, expand the field called Interface Signal Change the message direction to 'From Provider' Name it 'locationupdate' 15. Add a parameter to the 'locationupdate' signal: In Model Explorer, expand: GpsWatch::LocationInterfaces::LocationProvider Right click the locationupdate signal and select New > Parameter (This can also be done from the Outline view) Right click the parameter and Set type... Select the Location data type and click OK Name the parameter 'location' 16. Repeat step 14 to create two additional signals: One named 'registerlistener' with direction 'To Provider' And another named 'unregisterlistener' with direction 'To Provider' None of these signals should carry data, i.e. no need to add parameters
6 Build the system model <dbl click> 17. Connect the components: Open the System Model Package Diagram again (double click the project in Model Explorer) Double click on the Location package Draw the provider end of the interface and attach it to the Location component, use the New Provided Interface Tool from the Right click the interface and select Formalize... Locate the interface package and the interface defined in and OK Return to the Model Explorer and Double click on the Tracking package Draw the requiring end of the interface and attach it to the Tracking component, use the New Required Interface Tool from the Right click the interface and select Formalize... Locate the interface package and the interface defined in and OK In Model Explorer, navigate to the ports of the recently created interface: o GpsWatch::Location::Location::Port1 o GpsWatch::Tracking::Tracking::Port1 Rename both of them to 'LOC' Return to the Model Explorer and Double click on the System package Connect the provided end to the required end (or vice versa)
7 Defining behavior 18. Provide a behavioral model for the Location component: Double click the Location component Double click the Location subsystem to open the class diagram Select the New Class tool and draw a new class Select it and set Name and Key Letters to 'GPS' over in the Properties view Right click the class to create a new attribute Use the Properties view to name it 'currentlocation' set type to Location Add another attribute called timer of type inst_ref<timer> 19. Define the life cycle of the GPS: Right click the GPS class and to create a new Class State Machine Locate the state machine in Model Explorer, right click and add new Event, rename the event to 'timeout' Double click the state machine to open its editor Select New State tool and draw two new states Rename state 1 to idle and state 2 to locating Select the New Transition tool and draw the following transitions: o From state idle to state locating o From state locating to state idle o From state locating back to itself Formalize transitions: o Right click transition idle -> location and Assign Signal registerlistener o Right click transition location -> idle and Assign Signal unregisterlistener o Right click transition location -> location and Assign Event timeout Open the State Event Matrix editor (a tab at the bottom of the state machine editor) In row idle, column GPS_A1:timeout select 'Event Ignored' from the drop down list
8 20. Enter state machine actions: Double click the registerlistener transition to open the transition action editor From Appendix B, copy OAL_1 into the editor and save Double click the locating state and enter OAL_2 Double click the idle state and enter OAL_3
9 21. Take the first step to model the Tracking component: In the Tracking subsystem, add a class called 'WorkoutTimer' Set Key Letters to 'WorkoutTimer' as well Add an Instance State Machine Add two states, 'stopped' and 'running' Draw two transition, one stopped > running and one running > stopped Create an event called startstoppressed and assign both transitions created in the previous step to it In the stopped state enter OAL_4 In the running state enter OAL_5 Add an operation to this class called startstoppressed Select the class to get access to the properties of the class In the Properties view, locate the operation and change its Instance Based Indicator to Class Based Still in the Properties view, open the Action Semantics Field and enter OAL_6 (This can also be done by double clicking the operation in Model Explorer)
10 22. Terminate the locationupdate signal: In Model Explorer, navigate to: GpsWatch::System::Tracking::LOC::LocationProvider::locationUpdate Double click the signal and enter OAL_7 Verify the model 23. Test your model in Verifier: Switch to the xtuml Debugging perspective (Window > Open Perspective > xtuml Debugging) From the menu, go to Run > Debug Configurations.. Right click Model Verifier Application to create a new executable Name it GpsWatch' Select your project to include all components in this executable Click Debug
11 Launching the debugger should automatically switch to the xtuml Debugging perspective. If not, switch to that perspective (Window > Open Perspective > xtuml Debugging). Set a breakpoint. In Model Explorer, open the GPS Class State Machine. Navigate to GPS Watch::System::Location::Location::GPS. Right-click on the Locating state and select Set Breakpoint. You can see the breakpoint added in the Breakpoint window. You can also edit breakpoint properties, or disable breakpoints from this window. By default we create a breakpoint on entering the state. In the Debug Perspective, we can see the Session Explorer which offers a dynamic view of the running system, with created instances and structure. We use this view, rather than Model Explorer, when interacting with a running program. In Session Explorer, expand GPS Watch > Tracking > Tracking > WorkoutTimer. Right click startstoppressed and select Execute. Note that the verifier runs to our breakpoint, and displays our current location in the OAL code. Bring up the variables window by clicking on the tab next to the Breakpoint window. Expand the structures of the variables to see current values.
12 The controls for the debugger are in the debug window. Controls exist for Run, Pause, Stop, Step into, Step over, etc. Step through the code and watch the variables change. You can toggle breakpoints from the OAL editor by double-clicking in the left margin. Set some breakpoints and use the Run and Step commands to become familiar with debugger operations. Find more information about model execution in the Help section: Help > Help Contents Then navigate to: BridgePoint UML Suite Help > Getting Started > Model Verification
13 2. Lab Background One of the main features of the GPS watch is the collection of coordinates that will track the user during his/her exercise. Before data can be collected there has to be a data model representing such track. There is a requirement to maintain the order in which coordinates are created to allow the track to be plotted on a map. 2.2 What we want to accomplish The purpose of this exercise is to: Learn how object-oriented analysis can precisely capture the data Understand classes, attributes, associations with conditionality and multiplicity 2.3 Task In the Tracking component, build a class diagram representing a track (use the existing subsystem in this component) Identify the classes that will represent the track Identify and add attributes that belong to the classes you decide to build Establish necessary associations between classes Carefully choose multiplicity and conditionality of your associations
14 3. Lab Background Currently we have only captured the data modeling but data is not processed and stored as it arrives. 3.2 What we want to accomplish The purpose of this exercise is to learn: Learn the object action language, OAL Create operations Work with breakpoints, stepping and variables in Verifier 3.3 Task Each time new location data arrives, make sure the class model representing the track is instantiated accordingly Verify that the model behaves as it should using Verifier
15 4. Lab Background After some industrial espionage at a local sports store there is a decision to add lap counting: hitting a button marks the end time of a lap - but the timer keeps running. With some persuasion, engineering agreed to add the button for this. At our requirements review, someone pointed out that this was a one-shot watch; there is no way to reset the timer value, or to discard an old track and start fresh. Once refreshed, a succeeding press of the start/stop button will begin gathering data for a new track. Reset should only occur if the workout timer is not running. For this reason it was concluded that the lap button should also be used to reset the watch, making it the lap/reset button. 4.2 What we want to accomplish After this exercise you will know how to work with: Lifecycles States Transitions Events Spotlight 4.3 Task Update the state machine in the WorkoutTimer class to cater for signals generated by the lap/reset button Extend your class model to include the notion of a lap
16 5. Lab Background A sports watch is not worth its name if it doesn t keep track of time. 5.2 What we want to accomplish The purpose of this exercise is to learn: Start and cancel timers 5.3 Task When recording, make sure time is measured, use a 1 sec. timer for this purpose.
17 6. Exercise Background An optional heart rate monitor will provide updated beats-per-minute values which we would like to add to the track data. These updates are transmitted only when the measured heart rate changes - i.e. not at any predictable intervals. 6.2 What we want to accomplish The purpose of this exercise is to: Build component and interface packages Understand how interfaces can be defined independently of components Required and Provided interfaces; how components are 'wired' together 6.3 Task Add a new component that will act as hart rate monitor. Connect the new component to the Tracking component over an interface containing register/unregister signals as well as a signal for the actual heart rate update. The heart rate signal should carry an integer with a beats-per-minute value. Update the tracking component to register and unregister for this service and take appropriate action when heart rate data is delivered.
18 7. Exercise Background The display of the watch is not big enough to show all metrics that the runner is typically interested in. For this reason the engineering team has decided to add yet another button called mode. Pressing the mode button will switch between the available modes: Distance Speed Pace Heart rate Lap count 7.2 Background The purpose of this exercise is to: Understand different means of signal termination Benefit from derived attributes Work with cardinalities Understand class based state machines 7.3 Task Build a class based state model that models the current mode. The current mode will determine the type of value being passed to the UI. Calculate these values when necessary and pass the correct one to the UI using the setdata signal. Consider the option of making pace a derived value of speed.
19 8. Exercise Background BehindTheTimes have consulted with a fitness expert who believes in regular exercise regimes. He suggests defining workout 'plans' which can be run on a regular basis. There is no requirement, as yet, to interactively edit these workout plan specifications; they are created on a PC (we do not have to be concerned about how) and can be downloaded to the device. A user interaction does allow a downloaded workout to be designated as the selected plan; in this case, pressing the set target button causes the watch not only to record a track, but to notify the runner as the activity steps are completed. A workout plan can have any number of exercise steps. Each step may specify either duration or distance; the runner will be notified as the step completes. If neither duration nor distance is specified, the step ends when the lap button is pressed. Each step may additionally specify either a goal running pace or a goal heart rate; if specified, the runner will be alerted if he deviates significantly from the goal. (Let us assume some fixed percentage above or below the goal) The sequence of steps in a workout may contain repetitions - i.e. after completing any given step, the workout may repeat from any designated previous step, up to some specified number of repetitions. Such repeated sequences can be nested. 8.2 What we want to accomplish The purpose of this exercise is to: Learn to think about capturing specifications in passive classes Discover a use for generalization/specialization Partitioning into subsystems 8.3 Task Create a new subsytem to hold workout specifications that meet the stated requirements. Consider how such a specification might be used to notify or alert a runner during an actual workout session.
20 Appendix A OAL // #################### OAL_1 #################### // the GPS is a singleton, create if it doesn t exist select any gps from instances of GPS; if (empty gps) create object instance gps of GPS; end if; // reset currentlocation gps.currentlocation.longitude = 0.0; gps.currentlocation.latitude = 0.0; gps.currentlocation.speed = 0.0; LOG::LogInfo(message: "Location listener registered."); create event instance timeout of GPS_A1:timeout() to GPS class; gps.timer = TIM::timer_start_recurring(event_inst: timeout, microseconds: ); // #################### OAL_2 #################### // prepare signal data with some dummy values that change over time select any gps from instances of GPS; gps.currentlocation.longitude = gps.currentlocation.longitude + 2.0; gps.currentlocation.latitude = gps.currentlocation.latitude + 3.0; gps.currentlocation.speed = (gps.currentlocation.latitude - gps.currentlocation.longitude) / 5.0; // pass the new location to client component send LocationProvider::locationUpdate(location: gps.currentlocation); // #################### OAL_3 #################### select any gps from instances of GPS; res = TIM::timer_cancel(timer_inst_ref: gps.timer); LOG::LogInfo(message: "Location listener unregistered."); // #################### OAL_4 #################### send LOC::registerListener(); // #################### OAL_5 #################### send LOC::unregisterListener();
21 // #################### OAL_6 #################### // create an instance of the workout timer if it does not exist select any workouttimer from instances of WorkoutTimer; if (empty workouttimer) create object instance workouttimer of WorkoutTimer; end if; // simulate someone pressing the start/stop button of the GPS watch generate WorkoutTimer1:startStopPressed() to workouttimer; // #################### OAL_7 #################### // print the new location to the console LOG::LogInfo(message: "location updated: "); LOG::LogReal(message: "longitude", r: param.location.longitude); LOG::LogReal(message: "latitude", r: param.location.latitude ); LOG::LogReal(message: "speed", r: param.location.speed );
A Tutorial for ECE 175
Debugging in Microsoft Visual Studio 2010 A Tutorial for ECE 175 1. Introduction Debugging refers to the process of discovering defects (bugs) in software and correcting them. This process is invoked when
More informationHall Pass Watch TM User Manual 1.0. /hallpasswatches
Hall Pass Watch TM User Manual 1.0 /hallpasswatches Index / Contents 3 4 5 5 6 8 9 10 11 14 16 17 18 19 21 Features B1 [Mode/Edit] B2 [Back] B3[Up] B4[Down] B5[OK] Functions Boot up Reboot/Reset Setting
More informationParallel Debugging. ª Objective. ª Contents. ª Learn the basics of debugging parallel programs
ª Objective ª Learn the basics of debugging parallel programs ª Contents ª Launching a debug session ª The Parallel Debug Perspective ª Controlling sets of processes ª Controlling individual processes
More informationWrist GPS Training Device GH-625XT Quick Start Guide
Wrist GPS Training Device GH-625XT Quick Start Guide Version 3.0 Power / Light Up Page Down Esc/Lap Enter This version is usage for Firmware Version 2.02 or above http://www.gs-sport.com What is GPS? GPS
More informationLab 0 Introduction to the MSP430F5529 Launchpad-based Lab Board and Code Composer Studio
ECE2049 Embedded Computing in Engineering Design Lab 0 Introduction to the MSP430F5529 Launchpad-based Lab Board and Code Composer Studio In this lab, you will be introduced to the Code Composer Studio
More informationSimulator. Chapter 4 Tutorial: The SDL
4 Tutorial: The SDL Simulator The SDL Simulator is the tool that you use for testing the behavior of your SDL systems. In this tutorial, you will practice hands-on on the DemonGame system. To be properly
More informationModel Driven Development with xtuml and BridgePoint
Model Driven Development with xtuml and BridgePoint xtuml Executable and Translatable UML Unified Modeling Language Industry standard notation Family of languages Executable UML Defines a method, including:
More informationTelerik Corp. Test Studio Standalone & Visual Studio Plug-In Quick-Start Guide
Test Studio Standalone & Visual Studio Plug-In Quick-Start Guide Contents Create your First Test... 3 Standalone Web Test... 3 Standalone WPF Test... 6 Standalone Silverlight Test... 8 Visual Studio Plug-In
More informationComplete Thermal-Grid User Guide
Complete Thermal-Grid User Guide For use by Building/Homeowners, Portfolio Managers & Technicians Table of Contents 1. Login... 2 1.1 PROFILE... 2 1.2 Manage Team (add or modify users (team members) access)...
More information1 Preface About this Manual Intended Audience Revision History Document Conventions Version...
Table of Contents 1 Preface... 3 1.1 About this Manual... 3 1.2 Intended Audience... 3 1.3 Revision History... 3 1.4 Document Conventions... 3 1.5 Version... 4 2 Introduction... 5 2.1 Overview... 5 2.2
More informationAn Introductory Guide to SpecTRM
An Introductory Guide to SpecTRM SpecTRM (pronounced spectrum and standing for Specification Tools and Requirements Methodology) is a toolset to support the specification and development of safe systems
More informationRekayasa Perangkat Lunak 2 (IN043): Pertemuan 6. Moving on to Design
Rekayasa Perangkat Lunak 2 (IN043): Pertemuan 6 Moving on to Design Analysis versus Design The purpose of analysis is to figure out what the business needs are. To achieve this, the analysis activities
More informationCSE 591: Advanced Hardware Design and Verification (2012 Spring) LAB #0
Lab 0: Tutorial on Xilinx Project Navigator & ALDEC s Active-HDL Simulator CSE 591: Advanced Hardware Design and Verification Assigned: 01/05/2011 Due: 01/19/2011 Table of Contents 1 Overview... 2 1.1
More informationCS211 Lecture: Modeling Dynamic Behaviors of Systems; Interaction Diagrams and Statecharts Diagrams in UML
CS211 Lecture: Modeling Dynamic Behaviors of Systems; Interaction Diagrams and Statecharts Diagrams in UML Objectives: 1. To introduce the notion of dynamic analysis 2. To show how to create and read Sequence
More information1 Introduction to MARS
1 Introduction to MARS 1.1 Objectives After completing this lab, you will: Get familiar with the MARS simulator Learn how to assemble, run, and debug a MIPS program 1.2 The MARS Simulator MARS, the MIPS
More informationFigure 1. Simplicity Studio
SIMPLICITY STUDIO USER S GUIDE 1. Introduction Simplicity Studio greatly reduces development time and complexity with Silicon Labs EFM32 and 8051 MCU products by providing a high-powered IDE, tools for
More informationDebugging in Small Basic is the process of analysing a program to detect and fix errors or improve functionality in some way.
How to Debug Introduction Debugging in Small Basic is the process of analysing a program to detect and fix errors or improve functionality in some way. In order to debug a program it must first compile
More informationNIOS CPU Based Embedded Computer System on Programmable Chip
1 Objectives NIOS CPU Based Embedded Computer System on Programmable Chip EE8205: Embedded Computer Systems This lab has been constructed to introduce the development of dedicated embedded system based
More informationThe PEPA Eclipse Plug-in
The PEPA Eclipse Plug-in A modelling, analysis and verification platform for PEPA Adam Duguid, Stephen Gilmore, Michael Smith and Mirco Tribastone Wednesday 01 December 2010 Abstract: This user manual
More informationVERSION JANUARY 19, 2015 TEST STUDIO QUICK-START GUIDE STANDALONE & VISUAL STUDIO PLUG-IN TELERIK A PROGRESS COMPANY
VERSION 2015.1 JANUARY 19, 2015 TEST STUDIO QUICK-START GUIDE STANDALONE & VISUAL STUDIO PLUG-IN TELERIK A PROGRESS COMPANY TEST STUDIO QUICK-START GUIDE CONTENTS Create your First Test.2 Standalone Web
More informationHow to Access Live Video
CHAPTER 5 This chapter discusses how live video works with in the Video Portal. Figure 5-1 shows the Live Video Lists. From the initial Featured Playlist tab, you can glance at the lineup of spotlighted
More informationCode Check TM Software Requirements Specification
Code Check TM Software Requirements Specification Author: Richard McKenna Debugging Enterprises TM Based on IEEE Std 830 TM -1998 (R2009) document format Copyright 2017 Debugging Enterprises No part of
More informationTriCounty Telecom IPTV User s Guide
TriCounty Telecom IPTV User s Guide Disclaimer: It is the service operator s responsibility to verify the instructions are accurate for their deployed STBs and remote controls. Some features are not relevant
More informationBenefits of object-orientationorientation
ITEC 136 Business Programming Concepts Week 14, Part 01 Overview 1 Week 14 Overview Week 13 review What is an object? (three parts) State (properties) Identity (location in memory) Behavior (methods) 2
More informationCS211 Lecture: Modeling Dynamic Behaviors of Systems; Interaction Diagrams in UML
CS211 Lecture: Modeling Dynamic Behaviors of Systems; Interaction Diagrams in UML Objectives: 1. To introduce the notion of dynamic analysis 2. To show how to create and read Sequence Diagrams 3. To show
More informationUsing the KD30 Debugger
ELEC3730 Embedded Systems Tutorial 3 Using the KD30 Debugger 1 Introduction Overview The KD30 debugger is a powerful software tool that can greatly reduce the time it takes to develop complex programs
More informationHP ALM Overview. Exercise Outline. Administration and Customization Lab Guide
HP ALM 11.00 Administration and Customization Lab Guide Overview This Lab Guide contains the exercises for Administration and Customization of HP ALM 11 Essentials training. The labs are designed to enhance
More informationNews in RSA-RTE 10.1 updated for sprint Mattias Mohlin, April 2017
News in RSA-RTE 10.1 updated for sprint 2017.16 Mattias Mohlin, April 2017 Overview Now based on Eclipse Neon.3 (4.6.3) Many general improvements since Eclipse Mars Contains everything from RSARTE 10 and
More informationNews in RSA-RTE 10.1 updated for sprint Mattias Mohlin, March 2017
News in RSA-RTE 10.1 updated for sprint 2017.13 Mattias Mohlin, March 2017 Overview Now based on Eclipse Neon.3 (4.6.3) Many general improvements since Eclipse Mars Contains everything from RSARTE 10 and
More informationLab 9: Identify Alerts That Require a Change of State
Lab 9: Identify Alerts That Require a Change of State In this lab you will work with your consolidated error data stream to work out which alerts require a change of state, and which change of state is
More informationEMCO Ping Monitor Free 6. Copyright EMCO. All rights reserved.
Copyright 2001-2017 EMCO. All rights reserved. Company web site: emcosoftware.com Support e-mail: support@emcosoftware.com Table of Contents Chapter... 1: Introduction 3 Chapter... 2: Program Interface
More informationIntroduction to the ThreadX Debugger Plugin for the IAR Embedded Workbench C-SPYDebugger
C-SPY plugin Introduction to the ThreadX Debugger Plugin for the IAR Embedded Workbench C-SPYDebugger This document describes the IAR C-SPY Debugger plugin for the ThreadX RTOS. The ThreadX RTOS awareness
More informationSQL Server. Management Studio. Chapter 3. In This Chapter. Management Studio. c Introduction to SQL Server
Chapter 3 SQL Server Management Studio In This Chapter c Introduction to SQL Server Management Studio c Using SQL Server Management Studio with the Database Engine c Authoring Activities Using SQL Server
More informationActiveBPEL Fundamentals
Unit 22: Simulation ActiveBPEL Fundamentals This is Unit #22 of the BPEL Fundamentals course. In past Units we ve looked at ActiveBPEL Designer, Workspaces and Projects, created the Process itself and
More informationIntroduction to Computation and Problem Solving
Class 3: The Eclipse IDE Introduction to Computation and Problem Solving Prof. Steven R. Lerman and Dr. V. Judson Harward What is an IDE? An integrated development environment (IDE) is an environment in
More informationUser Guide for Explorer Users
User Guide for Explorer Users Version 2015.1 Hubble Suite (Edition 2) Document Information....................................................... 1 Notices.........................................................................
More informationLab 6: Create a Simple Case Source
Lab 6: Create a Simple Case Source In this lab you will create a Case Source. In the Case Source you will: Set a prefix for all of the cases and alerts generated by your process. This prefix will be displayed
More informationPace Clock. For the System 6 Sports Timer Software User Guide. F873 rev
Pace Clock For the System 6 Sports Timer Software User Guide F873 rev 20171114 Customer Service Department www.coloradotime.com Email: customerservice@coloradotime.com Phone: +1 970-667-1000 Toll Free
More informationTABLE OF CONTENTS. TECHNICAL SUPPORT APPENDIX Appendix A Formulas And Cell Links Appendix B Version 1.1 Formula Revisions...
SPARC S INSTRUCTIONS For Version 1.1 UNITED STATES DEPARTMENT OF AGRICULTURE Forest Service By Todd Rivas December 29, 1999 TABLE OF CONTENTS WHAT IS SPARC S?... 1 Definition And History... 1 Features...
More informationTesting Documentation
Testing Documentation Create-A-Page Group 9: John Campbell, Matthew Currier, Dan Martin 5/1/2009 This document defines the methods for testing Create-A-Page, as well as the results of those tests and the
More informationLab 5: Delete What You Won t Need from the Publish Process
Lab 5: Delete What You Won t Need from the Publish Process You have now created the groundwork that you need to build a process that will deal with remediation at source. In the following labs, you will
More informationKeyboard : All special keys : Enter, Del, Shift, Backspace,Tab Contributors Dhanya.P Std II. Reviewers Approval Date Ref No:
Title Keyboard : All special keys : Enter, Del, Shift, Backspace,Tab Contributors Dhanya.P Std II Submission Date Reviewers Approval Date Ref No: Brief Description Goal Pre requisites Learning Outcome
More informationSeeG3 Users Manual V2.00 Micro-g Solutions Inc. Erie, Colorado, USA
SeeG3 Users Manual V2.00 Micro-g Solutions Inc. Erie, Colorado, USA September, 2003 Table of Contents Table of Contents 0 Table of Contents 1 Introduction 2 System Requirements 2 Installing SeeG3 3 SeeG3
More informationDownloading TurningPoint Software
Clickers Basic Windows Training Session Today s Session 1. Clickers Overview 2. Exercises (Hands On) Downloading TurningPoint Software TurningPoint software is available for free to all University of Iowa
More informationNews in RSA-RTE 10.1 updated for sprint Mattias Mohlin, March 2017
News in RSA-RTE 10.1 updated for sprint 2017.10 Mattias Mohlin, March 2017 Overview Now based on Eclipse Neon-1 (4.6.1) Many general improvements since Eclipse Mars Note: Neon-2 (4.6.2) is not yet supported!
More informationSourcing - How to Create a Negotiation
Martin Baker Secure Source-To-Pay Sourcing - How to Create a Negotiation December 07 Contents To Create a Project... To Create a Negotiation... 5 Attachments... 7 Private File Archive... 7 Creating Lines,
More informationJCreator. Starting JCreator
1 of 12 9/29/2005 2:31 PM JCreator JCreator is a commercial Java environment available from http://www.jcreator.com. Inexpensive academic licenses and a free "limited edition" are available. JCreator runs
More information2 TUTORIAL. Overview. VisualDSP Getting Started Guide 2-1 for SHARC DSPs
2 TUTORIAL This chapter contains the following topics. Overview on page 2-1 Exercise One: Building and Running a C Program on page 2-3 Exercise Two: Calling an Assembly Routine and Creating an LDF on page
More informationSPIRIT FIT APP USER S GUIDE VER: 2.1
SPIRIT FIT APP USER S GUIDE 800.258.8511 www.spiritfitness.com VER: 2.1 USER S GUIDE The SPIRITFIT APP is designed to monitor and record your workout data through an integrated Bluetooth 4.0 module that
More informationIT Essentials v6.0 Windows 10 Software Labs
IT Essentials v6.0 Windows 10 Software Labs 5.2.1.7 Install Windows 10... 1 5.2.1.10 Check for Updates in Windows 10... 10 5.2.4.7 Create a Partition in Windows 10... 16 6.1.1.5 Task Manager in Windows
More informationWindows Embedded Compact Test Kit User Guide
Windows Embedded Compact Test Kit User Guide Writers: Randy Ocheltree, John Hughes Published: October 2011 Applies To: Windows Embedded Compact 7 Abstract The Windows Embedded Compact Test Kit (CTK) is
More informationInternational Journal of Current Research and Modern Education (IJCRME) ISSN (Online): ( Volume I, Issue II, 2016
A CASE STUDY OF IMPLEMENTING A GDB INTERFACE BETWEEN AN ARM BASED IC SIMULATOR AND GNU DEBUGGER H. S. Sachin Kumar* & Trisila Devi Nagavi** Department of Computer Science & Engineering, Sri Jaya Chamarajendra
More information2 Getting Started. Getting Started (v1.8.6) 3/5/2007
2 Getting Started Java will be used in the examples in this section; however, the information applies to all supported languages for which you have installed a compiler (e.g., Ada, C, C++, Java) unless
More informationADMINISTRATOR PORTAL GUIDE
ADMINISTRATOR PORTAL GUIDE 1504 Providence Highway, Suite 19, Norwood, MA 02062 Toll Free: 866-303-8600 www.votacall.com Table of Contents 1) Introduction... 3 a) Guide Explanation... 3 b) Access to site...
More informationBMC Control-M Test Drive Guide. Version 1.0
BMC Control-M Test Drive Guide Version 1.0 Table of Contents 3 INTRODUCING BMC CONTROL-M 5 STARTING THE CONTROL-M TEST DRIVE 6 MY FIRST JOBS 12 FUNCTIONS HIGHLIGHTED IN THE TEST DRIVE INTRODUCING BMC CONTROL-M
More informationECE QNX Real-time Lab
Department of Electrical & Computer Engineering Concordia University ECE QNX Real-time Lab User Guide Dan Li 9/12/2011 User Guide of ECE Real-time QNX Lab Contents 1. About Real-time QNX Lab... 2 Contacts...
More informationRhapsody in C Tutorial
Tutorial for TestConductor for Rhapsody in C Rhapsody in C Tutorial for IBM Rational Rhapsody TestConductor Add On License Agreement No part of this publication may be reproduced, transmitted, stored in
More informationwith TestComplete 12 Desktop, Web, and Mobile Testing Tutorials
with TestComplete 12 Desktop, Web, and Mobile Testing Tutorials 2 About the Tutorial With TestComplete, you can test applications of three major types: desktop, web and mobile: Desktop applications - these
More informationBridgePoint Roadmap Possibilities
BridgePoint Roadmap Possibilities September 2017 BridgePoint Roadmap - Background Need for excellent xtuml tools forever Balancing Needs of existing projects Community growth Technology convergence Vision
More informationTutorial #1: Using Latent GOLD choice to Estimate Discrete Choice Models
Tutorial #1: Using Latent GOLD choice to Estimate Discrete Choice Models In this tutorial, we analyze data from a simple choice-based conjoint (CBC) experiment designed to estimate market shares (choice
More informationPROMISE ARRAY MANAGEMENT ( PAM) FOR FastTrak S150 TX2plus, S150 TX4 and TX4000. User Manual. Version 1.3
PROMISE ARRAY MANAGEMENT ( PAM) FOR FastTrak S150 TX2plus, S150 TX4 and TX4000 User Manual Version 1.3 Promise Array Management Copyright 2003 Promise Technology, Inc. All Rights Reserved. Copyright by
More informationIBM WebSphere Lombardi Edition 7.2 Business Process Management Workshop
IBM IBM WebSphere Lombardi Edition 7.2 Business Process Management Workshop Lab Exercises Contents LAB 1 BUILD-FROM-SCRATCH LAB - PART 1... 4 1.1 START LOMBARDI AUTHORING ENVIRONMENT... 4 1.1.1 START THE
More informationTESTING WITH DIFFERENT PROFILES
TESTING WITH DIFFERENT PROFILES Another simple, practical guide for getting started with Provar www.provartesting.com info@provartesting.com Introduction 3 Testing with Different Profiles 3 Introduction
More informationWorking with Mailbox Manager
Working with Mailbox Manager A user guide for Mailbox Manager supporting the Message Storage Server component of the Avaya S3400 Message Server Mailbox Manager Version 5.0 February 2003 Copyright 2003
More informationTeamViewer User Guide for Microsoft Dynamics CRM. Document Information Version: 0.5 Version Release Date : 20 th Feb 2018
TeamViewer User Guide for Microsoft Dynamics CRM Document Information Version: 0.5 Version Release Date : 20 th Feb 2018 1 P a g e Table of Contents TeamViewer User Guide for Microsoft Dynamics CRM 1 Audience
More informationLab 1: Space Invaders. The Introduction
Lab 1: Space Invaders The Introduction Welcome to Lab! Feel free to get started until we start talking! The lab document is located on course website: https://users.wpi.edu/~sjarvis/ece2049_smj/ Be sure
More informationChapter Copy Buckets
Chapter 17 -- Copy Buckets Buckets are virtual containers to use in batch processing item or bibliographic records. They can be used to perform various cataloging/holdings maintenance tasks in batch. There
More information4D v12 Single User Upgrade Installation Manual
4D v12 Single User Upgrade Installation Manual Mela Solutions Ltd Chapter 1 Introduction to MedICUs Documentation for 4D v12 Server Upgrade Installation Manual Published by Mela Solutions Ltd (http://www.mela.co.uk).
More informationCME E-quotes Wireless Application for Android Welcome
CME E-quotes Wireless Application for Android Welcome This guide will familiarize you with the application, a powerful trading tool developed for your Android. Table of Contents What is this application?
More informationIntroduction. Key features and lab exercises to familiarize new users to the Visual environment
Introduction Key features and lab exercises to familiarize new users to the Visual environment January 1999 CONTENTS KEY FEATURES... 3 Statement Completion Options 3 Auto List Members 3 Auto Type Info
More informationSenior Executive. Training Guide
Senior Executive Training Guide Table of Contents 1 Introduction... 5 1.1 Who is this Guide for?... 5 1.2 Pre-Requisites... 5 1.3 Suggested Exercises... 5 1.4 System Requirements... 5 2 Getting Started...
More informationitrail Convoy (Global) User s Manual
itrail Convoy (Global) User s Manual 1 What s Inside 1. Wiring Harness 2. Antenna 3. itrail Convoy Base Device 4. Serial Number (Located on the box and device) 1 2 2 3 4 3 itrail Convoy Wiring Diagram
More informationTutorial for TestConductor for RiJ. RiJ Tutorial. for. IBM Rational Rhapsody TestConductor Add On
Tutorial for TestConductor for RiJ RiJ Tutorial for IBM Rational Rhapsody TestConductor Add On License Agreement No part of this publication may be reproduced, transmitted, stored in a retrieval system,
More informationMercury LoadRunner Quick Start
Mercury LoadRunner Quick Start Welcome to the Mercury LoadRunner Quick Start. The Quick Start provides a short, step-by-step overview and introduction to using Mercury LoadRunner. LoadRunner load tests
More informationCreating Reports using Report Designer Part 1. Training Guide
Creating Reports using Report Designer Part 1 Training Guide 2 Dayforce HCM Creating Reports using Report Designer Part 1 Contributors We would like to thank the following individual who contributed to
More informationArtOfTest Inc. Automation Design Canvas 2.0 Beta Quick-Start Guide
Automation Design Canvas 2.0 Beta Quick-Start Guide Contents Creating and Running Your First Test... 3 Adding Quick Verification Steps... 10 Creating Advanced Test Verifications... 13 Creating a Data Driven
More informationILTA HAND 6A. Implementing and Using. Windows Server In the Legal Environment
ILTA 2013 - HAND 6A Implementing and Using Windows Server 2012 In the Legal Environment Table of Contents Purpose of This Lab... 3 Lab Environment... 3 Presenter... 3 Exercise 1 Getting Familiar with Windows
More informationHOUR 4 Understanding Events
HOUR 4 Understanding Events It s fairly easy to produce an attractive interface for an application using Visual Basic.NET s integrated design tools. You can create beautiful forms that have buttons to
More informationStep through Your DATA Step: Introducing the DATA Step Debugger in SAS Enterprise Guide
SAS447-2017 Step through Your DATA Step: Introducing the DATA Step Debugger in SAS Enterprise Guide ABSTRACT Joe Flynn, SAS Institute Inc. Have you ever run SAS code with a DATA step and the results are
More informationBlackBerry Developer Summit. A02: Rapid Development Leveraging BEMS Services and the AppKinetics Framework
BlackBerry Developer Summit A02: Rapid Development Leveraging BEMS Services and the AppKinetics Framework Page 2 of 21 Table of Contents 1. Workbook Scope... 4 2. Compatibility... 4 3. Source code download
More informationinteraction path analysis
interaction path analysis building blocks for a rational design process anil bawa cavia last.fm osmotics series 01/08/08 Interaction path analysis is one of a series of components we re trying to bring
More informationThe UPPAAL Model Checker. Julián Proenza Systems, Robotics and Vision Group. UIB. SPAIN
The UPPAAL Model Checker Julián Proenza Systems, Robotics and Vision Group. UIB. SPAIN The aim of this presentation Introduce the basic concepts of model checking from a practical perspective Describe
More informationCS520 Setting Up the Programming Environment for Windows Suresh Kalathur. For Windows users, download the Java8 SDK as shown below.
CS520 Setting Up the Programming Environment for Windows Suresh Kalathur 1. Java8 SDK Java8 SDK (Windows Users) For Windows users, download the Java8 SDK as shown below. The Java Development Kit (JDK)
More informationLab - Manage Virtual Memory in Windows 7 and Vista
Lab - Manage Virtual Memory in Windows 7 and Vista Introduction In this lab, you will customize virtual memory settings. Recommended Equipment A computer with Windows 7 or Vista installed The hard drive
More informationPROVAR QUICKSTART GUIDE
PROVAR QUICKSTART GUIDE A simple, practical guide for getting started with Provar www.provartesting.com info@provartesting.com Introduction 4 How to use this guide 4 SECTION 1: Setup 5 What is Provar?
More informationProPresenter-Scoreboard. A Renewed Vision Product
ProPresenter-Scoreboard A Renewed Vision Product Copyright 2005-2016 Renewed Vision, Inc. All rights reserved. ProPresenter-Scoreboard is owned by Renewed Vision, Inc. 6505 Shiloh Road Suite 200 Alpharetta,
More informationTutorial: Maintaining an ILE COBOL application: Introducing a new level of server tool integration for iseries application development
Page 1 of 165 Tutorial: Maintaining an ILE COBOL application: Introducing a new level of server tool integration for iseries application development About the tutorial This tutorial through a series of
More informationWe start by providing you with an overview of the key feature of the IBM BPM Process Portal.
Lab 1 Process Portal 1.1 Overview This lab exercise will make you familiar with the key capabilities of the ready-to-use Process Portal included with IBM Business Process Manager (BPM). You will experience
More informationRightNow eservice Center 5.5 New Administrator s Survival Guide
RightNow eservice Center 5.5 New Administrator s Survival Guide Table of Contents You may click on each line below to go to that section of this document. OVERVIEW...3 HELPFUL RESOURCES...4 GAINING FAMILIARITY
More informationThe Basics of Visual Studio Code
/ VS Code 0.9.1 is available. Check out the new features /updates and update /docs/howtoupdate it now. TOPICS The Basics Tweet 16 Like 16 Edit in GitHub https://github.com/microsoft/vscode docs/blob/master/docs/editor/codebasics.md
More informationGetting Started User s Guide
Getting Started User s Guide Savision iq V2.3 Contents 1. Introduction... 4 1.1 About this Guide... 4 1.2 Understanding Savision iq... 4 2. First Run Experience... 4 2.1 Adding the License Key... 5 2.2
More informationNews in RSA-RTE 10.1 updated for sprint Mattias Mohlin, July 2017
News in RSA-RTE 10.1 updated for sprint 2017.28 Mattias Mohlin, July 2017 Overview Now based on Eclipse Neon.3 (4.6.3) Many general improvements since Eclipse Mars Contains everything from RSARTE 10 and
More informationModule Overview. Instructor Notes (PPT Text)
Module 06 - Debugging and Troubleshooting SSIS Packages Page 1 Module Overview 12:55 AM Instructor Notes (PPT Text) As you develop more complex SQL Server Integration Services (SSIS) packages, it is important
More information1 Build Your First App. The way to get started is to quit talking and begin doing. Walt Disney
1 Build Your First App The way to get started is to quit talking and begin doing. Walt Disney Copyright 2015 AppCoda Limited All rights reserved. Please do not distribute or share without permission. No
More informationThe Dude usage notes v0.2
Table of Contents The Dude usage notes v0.2 What is the Dude...1 Getting Started...1 Graphical Interface...2 Network Maps...3 Device Monitoring...4 Configuration...4 Global Settings...4 Tools...5 Files...5
More informationDweet Library VSA User s Guide
Dweet Library VSA User s Guide Table of Contents 1. Introduction 2. Dweet VSA Description 3. Technical Requirements 4. User Prerequisites 5. Usage Instructions 6. Demo Dashboard 7. Source Code Details
More informationOutlook Integration Guide
PracticeMaster Outlook Integration Guide Copyright 2012-2015 Software Technology, Inc. 1621 Cushman Drive Lincoln, NE 68512 (402) 423-1440 Tabs3.com Tabs3, PracticeMaster, and the "pinwheel" symbol ( )
More informationSupport Guide for viewon 4
Support Guide for viewon 4 Abstract: Project : Changes and key features of viewon 4 Reference: EQA-0063-023-TPL Revision: 01 Status: PRE-RELEASED Last modification: 09/16/15 Author: Hakan Bilgin ewon sa
More informationMULTIPROG QUICK START GUIDE
MULTIPROG QUICK START GUIDE Manual issue date: April 2002 Windows is a trademark of Microsoft Corporation. Copyright 2002 by KW-Software GmbH All rights reserved. KW-Software GmbH Lagesche Straße 32 32657
More informationECGR 4101/5101, Fall 2011: Lab 4 A pseudo physics simulator with remote communication.
Learning Objectives: ECGR 4101/5101, Fall 2011: Lab 4 A pseudo physics simulator with remote communication. This lab will test your ability to apply the knowledge you have obtained from the last three
More information