Offline Synthesis Engine in Practice: Usage Instructions

Size: px
Start display at page:

Download "Offline Synthesis Engine in Practice: Usage Instructions"

Transcription

1 Offline Synthesis Engine in Practice: Usage Instructions DIPARTIMENTO INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE Ing. Mario Caruso Ing. Claudio Di Ciccio Prof. Massimo Mecella - 29th May 2012

2 Installation of VMware Instructions for Linux Ubuntu 9.04 or later version 1. Install required packages build-essential and linux-headers sudo apt-get install build-essential linux-headers-$(uname -r) 2. Download the latest VMware player (e.g. VMware-Player x86_64.txt) from https://my.vmware.com/web/vmware/evalcenter? p=player 3. Change the file extension from.txt to.bundle e.g. VMware-Player x86_64.bundle 4. Run the installer gksudo bash./downloads/vmware-player x86_64.bundle 5. Start VMware Player and add the provided Virtual Machine P. 2 / 21

3 Installation of VMware Instructions for Microsoft Windows 1. Download the latest VMware player (e.g. VMware Player for Windows) from https://my.vmware.com/web/vmware/evalcenter?p=player 2. Run the installer 3. Start VMware Player and add the provided Virtual Machine P. 3 / 21

4 Startup of the Virtual Machine Startup instructions 1. Start the the Virtual Machine with OffSEn 2. The machine is installed with a Linux Ubuntu LTS 32bit OS 3. Use romance as password for the login of the RomanCE user and for the root user P. 4 / 21

5 OffSEn Server Startup Instructions 1. Open a terminal from Application->Accessories->Terminal 2. Startup Apache Tomcat: sudo /opt/apache-tomcat /bin/startup.sh use 'romance' as password for the 'root' user 3. Startup the OffSEn server: cd $SM4ALL_HOME./scripts/offsensvr 4. Open the browser Application->Internet->Firefox and browse the page P. 5 / 21

6 Web Interface Home Page P. 6 / 21

7 Web Interface Services P. 7 / 21

8 Web Interface Variables P. 8 / 21

9 Web Interface Targets P. 9 / 21

10 Web Interface Compositions P. 10 / 21

11 WakeUp Lite Example 1. Definition of the Community of Available Services; 2. Definition of the Databox; 3. Definition of the Target; 4. Synthesis. P. 11 / 21

12 WakeUp Lite Example Community of Available Services BedRoomAlarm BedRoomLight BedRoomBed P. 12 / 21

13 WakeUp Lite Example SAR and VAR files Service Instances are defined by SAR files; Service Archives are ZIP compressed packages that contain: services.sdd.xml with the definitions of the instances; SBL files with the definitions of Service models behaviour; Variable Instances are defined by VAR files; Variable Archives are ZIP compressed packages that contain: variables.vdd.xml with the definitions of the instances; VML files with the definitions of Variable models; P. 13 / 21

14 WakeUp Lite Example Target Service WakeUpLite P. 14 / 21

15 WakeUp Lite Example Target Service WakeUpLite definition <?xml version="1.0" encoding="utf 8"?> <service xmlns=" project.eu/composition/sbl" class="target"> <ts> <state name="start" type="initial"> <transition action="doringalarm"> <target state="alarmrung" /> </transition> </state> <state name="alarmrung" type="transient"> <transition action="doswitchonlight"> <target state="lightswitchedon" /> </transition> </state> <state name="lightswitchedon" type="transient"> <transition action="dobedup"> <target state="bedraisedup" /> </transition> </state> <state name="bedraisedup" type="final" /> </ts> </service> P. 15 / 21

16 WakeUp Lite Example Synthesis Start the Synthesis from the Target panel; Notes: the first composition of the system is charged by parser class loading time; The TLV input (SMV language) is stored in $SM4ALL_HOME/tmp/temporary.smv In each SMV file it appears a dummy service named no_op, used to fix automatically the problem of states without outgoing transitions. The TLV output is stored in $SM4ALL_HOME/tmp/temporary.out P. 16 / 21 OffSEn performs the composition in 782ms; TLV produces: 41 states 101 transitions

17 WakeUp Lite 2 Example Target Service WakeUpLite2 definition <?xml version="1.0" encoding="utf 8"?> <service xmlns=" project.eu/composition/sbl" class="target"> <ts> <state name="start" type="initial"> <transition action="doswitchonlight"> <target state="lightswitchedon" /> </transition> </state> <state name="lightswitchedon" type="transient"> <transition action="dobedup"> <target state="bedraisedup" /> </transition> </state> <state name="bedraisedup" type="final" /> </ts> </service> P. 17 / 21

18 WakeUp Lite 2 Example Synthesis Start the Synthesis from the Target panel; OffSEn performs the composition in 541ms; TLV produces: 25 states 85 transitions Notes: We removed one transition (doringalarm); OffSEn filters Available Services and does not take the BedRoomAlarm service for this run; TLV produced less states and transitions. P. 18 / 21

19 WakeUp Lite 3 Example Target Service WakeUpLite3 definition <?xml version="1.0" encoding="utf 8"?> <service xmlns=" project.eu/composition/sbl" class="target"> <ts> <state name="start" type="initial"> <transition action="doswitchonlight"> <target state="lightswitchedon" /> </transition> </state> <state name="lightswitchedon" type="transient"> <transition action="dobedup"> <target state="bedraisedup" /> </transition> </state> <state name="bedraisedup" type="transient"> <transition action="docallnurse"> <target state="nurse" /> </transition> </state> <state name="nurse" type="final" /> </ts> </service> P. 19 / 21

20 WakeUp Lite 3 Example Synthesis Start the Synthesis from the Target panel; OffSEn does not perform the composition; The desired Target is UNREALIZABLE; Notes: We added the transition docallnurse; It does not exist a Service of the Community that performs this action; P. 20 / 21

21 OffSEn Server Shutdown Instructions 1. Press Ctrl+C in the terminal window where the OffSEn server is running; 2. Shutdown Apache Tomcat sudo /opt/apache-tomcat /bin/shutdown.sh use 'romance' as password for the 'root' user if requested P. 21 / 21

The Roman Model for Automated Synthesis in Practice: the SM4All Experience

The Roman Model for Automated Synthesis in Practice: the SM4All Experience The Roman Model for Automated Synthesis in Practice: the SM4All Experience An implementation of the game structure based automated syntesis of services applied to a real scenario Mario Caruso 1 Claudio

More information

1. Install a Virtual Machine... 2. 2. Download Ubuntu Ubuntu 14.04.1 LTS... 2. 3. Create a New Virtual Machine... 2

1. Install a Virtual Machine... 2. 2. Download Ubuntu Ubuntu 14.04.1 LTS... 2. 3. Create a New Virtual Machine... 2 Introduction APPLICATION NOTE The purpose of this document is to explain how to create a Virtual Machine on a Windows PC such that a Linux environment can be created in order to build a Linux kernel and

More information

Intro to Virtualization

Intro to Virtualization Intro to Virtualization Preprepared by Phil Grimes Coach / Mentor - Security Consultant Small changes & Additions by Dr. Enis Karaarslan, 2014 What is a Virtual Machine? Computer within a computer It's

More information

1. Install a Virtual Machine... 2. 2. Download Ubuntu Ubuntu 14.04.1 LTS... 2. 3. Create a New Virtual Machine... 2

1. Install a Virtual Machine... 2. 2. Download Ubuntu Ubuntu 14.04.1 LTS... 2. 3. Create a New Virtual Machine... 2 Introduction APPLICATION NOTE The purpose of this document is to explain how to create a Virtual Machine on a Windows PC such that a Linux environment can be created in order to build a Linux kernel and

More information

Online Backup Client User Manual

Online Backup Client User Manual Online Backup Client User Manual Software version 3.21 For Linux distributions January 2011 Version 2.0 Disclaimer This document is compiled with the greatest possible care. However, errors might have

More information

1. Product Information

1. Product Information ORIXCLOUD BACKUP CLIENT USER MANUAL LINUX 1. Product Information Product: Orixcloud Backup Client for Linux Version: 4.1.7 1.1 System Requirements Linux (RedHat, SuSE, Debian and Debian based systems such

More information

Online Backup Client User Manual Linux

Online Backup Client User Manual Linux Online Backup Client User Manual Linux 1. Product Information Product: Online Backup Client for Linux Version: 4.1.7 1.1 System Requirements Operating System Linux (RedHat, SuSE, Debian and Debian based

More information

RecoveryVault Express Client User Manual

RecoveryVault Express Client User Manual For Linux distributions Software version 4.1.7 Version 2.0 Disclaimer This document is compiled with the greatest possible care. However, errors might have been introduced caused by human mistakes or by

More information

Installation & Upgrade Guide

Installation & Upgrade Guide Installation & Upgrade Guide Document Release: September 2012 SnapLogic, Inc. 71 East Third Avenue San Mateo, California 94401 U.S.A. www.snaplogic.com Copyright Information 2011-2012 SnapLogic, Inc. All

More information

Online Backup Linux Client User Manual

Online Backup Linux Client User Manual Online Backup Linux Client User Manual Software version 4.0.x For Linux distributions August 2011 Version 1.0 Disclaimer This document is compiled with the greatest possible care. However, errors might

More information

Online Backup Client User Manual

Online Backup Client User Manual For Linux distributions Software version 4.1.7 Version 2.0 Disclaimer This document is compiled with the greatest possible care. However, errors might have been introduced caused by human mistakes or by

More information

Online Backup Client User Manual Mac OS

Online Backup Client User Manual Mac OS Online Backup Client User Manual Mac OS 1. Product Information Product: Online Backup Client for Mac OS X Version: 4.1.7 1.1 System Requirements Operating System Mac OS X Leopard (10.5.0 and higher) (PPC

More information

Online Backup Client User Manual Mac OS

Online Backup Client User Manual Mac OS Online Backup Client User Manual Mac OS 1. Product Information Product: Online Backup Client for Mac OS X Version: 4.1.7 1.1 System Requirements Operating System Mac OS X Leopard (10.5.0 and higher) (PPC

More information

Online Backup Client User Manual

Online Backup Client User Manual For Mac OS X Software version 4.1.7 Version 2.2 Disclaimer This document is compiled with the greatest possible care. However, errors might have been introduced caused by human mistakes or by other means.

More information

Using VirtualBox ACHOTL1 Virtual Machines

Using VirtualBox ACHOTL1 Virtual Machines Using VirtualBox ACHOTL1 Virtual Machines The steps in the Apache Cassandra Hands-On Training Level One courseware book were written using VMware as the virtualization technology. Therefore, it is recommended

More information

Personal Virtual Server (PVS) Quick Start Guide

Personal Virtual Server (PVS) Quick Start Guide Personal Virtual Server (PVS) Quick Start Guide Copyright 2015 Pegasystems Inc., Cambridge, MA All rights reserved. This document describes products and services of Pegasystems Inc. It may contain trade

More information

ECT362 Installing Linux Virtual Machine in KL322

ECT362 Installing Linux Virtual Machine in KL322 ECT362 Installing Linux Virtual Machine in KL322 The steps below outline how to install Linux under Windows as a virtual machine. This install uses the Ubuntu 10.04 distribution of Linux along with the

More information

ARIS Education Package Process Design & Analysis Installation Guide. Version 7.2. Installation Guide

ARIS Education Package Process Design & Analysis Installation Guide. Version 7.2. Installation Guide ARIS Education Package Process Design & Analysis Installation Guide Version 7.2 Installation Guide March 2012 This publication is protected by international copyright law. All rights reserved. No part

More information

INUVIKA OVD INSTALLING INUVIKA OVD ON UBUNTU 14.04 (TRUSTY TAHR)

INUVIKA OVD INSTALLING INUVIKA OVD ON UBUNTU 14.04 (TRUSTY TAHR) INUVIKA OVD INSTALLING INUVIKA OVD ON UBUNTU 14.04 (TRUSTY TAHR) Mathieu SCHIRES Version: 0.9.1 Published December 24, 2014 http://www.inuvika.com Contents 1 Prerequisites: Ubuntu 14.04 (Trusty Tahr) 3

More information

Ulteo Open Virtual Desktop Installation

Ulteo Open Virtual Desktop Installation Ulteo Open Virtual Desktop Installation Copyright 2008 Ulteo SAS - CONTENTS CONTENTS Contents 1 Prerequisites 2 1.1 Installation of MySQL....................................... 2 2 Session Manager (sm.ulteo.com)

More information

Installation documentation for Ulteo Open Virtual Desktop

Installation documentation for Ulteo Open Virtual Desktop Installation documentation for Ulteo Open Virtual Desktop Copyright 2008 Ulteo SAS - 1 PREREQUISITES CONTENTS Contents 1 Prerequisites 1 1.1 Installation of MySQL.......................................

More information

ULTEO OPEN VIRTUAL DESKTOP UBUNTU 12.04 (PRECISE PANGOLIN) SUPPORT

ULTEO OPEN VIRTUAL DESKTOP UBUNTU 12.04 (PRECISE PANGOLIN) SUPPORT ULTEO OPEN VIRTUAL DESKTOP V4.0.2 UBUNTU 12.04 (PRECISE PANGOLIN) SUPPORT Contents 1 Prerequisites: Ubuntu 12.04 (Precise Pangolin) 3 1.1 System Requirements.............................. 3 1.2 sudo.........................................

More information

INASP: Effective Network Management Workshops

INASP: Effective Network Management Workshops INASP: Effective Network Management Workshops Linux Familiarization and Commands (Exercises) Based on the materials developed by NSRC for AfNOG 2013, and reused with thanks. Adapted for the INASP Network

More information

VERSION 9.02 INSTALLATION GUIDE. www.pacifictimesheet.com

VERSION 9.02 INSTALLATION GUIDE. www.pacifictimesheet.com VERSION 9.02 INSTALLATION GUIDE www.pacifictimesheet.com PACIFIC TIMESHEET INSTALLATION GUIDE INTRODUCTION... 4 BUNDLED SOFTWARE... 4 LICENSE KEY... 4 SYSTEM REQUIREMENTS... 5 INSTALLING PACIFIC TIMESHEET

More information

INSTALLATION GUIDE El Jefe 2.1 Document version: June 2014

INSTALLATION GUIDE El Jefe 2.1 Document version: June 2014 INSTALLATION GUIDE El Jefe 2.1 Document version: June 2014 Contents 1 Goal of this Document...3 2 Introduction...3 3 Installation...4 3.1 El Jefe 2.1 Installation on Ubuntu 13.04 LTS...4 3.2 El Jefe 2.1

More information

Solr Bridge Search Installation Guide

Solr Bridge Search Installation Guide Solr Bridge Search Installation Guide Table of contents 1. Solr Installation 1.1 Tomcat6 (Web server) installation. 1.2 Apache Solr 3.3.0 installation. 1.3 Install SolrBirge package (preconfigured solr

More information

Comodo MyDLP Software Version 2.0. Installation Guide Guide Version 2.0.010215. Comodo Security Solutions 1255 Broad Street Clifton, NJ 07013

Comodo MyDLP Software Version 2.0. Installation Guide Guide Version 2.0.010215. Comodo Security Solutions 1255 Broad Street Clifton, NJ 07013 Comodo MyDLP Software Version 2.0 Installation Guide Guide Version 2.0.010215 Comodo Security Solutions 1255 Broad Street Clifton, NJ 07013 Table of Contents 1.About MyDLP... 3 1.1.MyDLP Features... 3

More information

Installation, Configuration and Administration Guide

Installation, Configuration and Administration Guide Installation, Configuration and Administration Guide ehd10.0.1 everything HelpDesk Installation, Configuration and Administration Guide GroupLink Corporation 2013 GroupLink Corporation. All rights reserved

More information

Quick Setup Guide. 2 System requirements and licensing. 2011 Kerio Technologies s.r.o. All rights reserved.

Quick Setup Guide. 2 System requirements and licensing. 2011 Kerio Technologies s.r.o. All rights reserved. Kerio Control VMware Virtual Appliance Quick Setup Guide 2011 Kerio Technologies s.r.o. All rights reserved. This document provides detailed description on installation and basic configuration of the Kerio

More information

How to Install Multicraft on a VPS or Dedicated Server (Ubuntu 13.04 64 bit)

How to Install Multicraft on a VPS or Dedicated Server (Ubuntu 13.04 64 bit) How to Install Multicraft on a VPS or Dedicated Server (Ubuntu 13.04 64 bit) Introduction Prerequisites This tutorial will show you step-by-step on how to install Multicraft 1.8.2 on a new VPS or dedicated

More information

Verax Service Desk Installation Guide for UNIX and Windows

Verax Service Desk Installation Guide for UNIX and Windows Verax Service Desk Installation Guide for UNIX and Windows March 2015 Version 1.8.7 and higher Verax Service Desk Installation Guide 2 Contact Information: E-mail: sales@veraxsystems.com Internet: http://www.veraxsystems.com/

More information

Download Virtualization Software Download a Linux-based OS Creating a Virtual Machine using VirtualBox: VM name

Download Virtualization Software Download a Linux-based OS Creating a Virtual Machine using VirtualBox: VM name Download Virtualization Software You will first need to download and install a virtualization product. This will allow you to create a virtual machine which you can install a Linux distribution on. I recommend

More information

TRUD Service Download Guide

TRUD Service Download Guide TRUD Service Download Guide TRUD Service Download Guide Contents 1 Overview... 2 2 FTP Directory Structure Overview... 3 2.1 Release Files... 5 3 Download Methods... 6 3.1 A Dedicated FTP Client (Recommended

More information

Acronis Backup & Recovery 11.5 Server for Linux. Update 2. Installation Guide

Acronis Backup & Recovery 11.5 Server for Linux. Update 2. Installation Guide Acronis Backup & Recovery 11.5 Server for Linux Update 2 Installation Guide Copyright Statement Copyright Acronis International GmbH, 2002-2013. All rights reserved. Acronis and Acronis Secure Zone are

More information

CDH installation & Application Test Report

CDH installation & Application Test Report CDH installation & Application Test Report He Shouchun (SCUID: 00001008350, Email: she@scu.edu) Chapter 1. Prepare the virtual machine... 2 1.1 Download virtual machine software... 2 1.2 Plan the guest

More information

Computer Science and Engineering Linux Cisco VPN Client Installation and Setup Guide

Computer Science and Engineering Linux Cisco VPN Client Installation and Setup Guide Computer Science and Engineering Linux Cisco VPN Client Installation and Setup Guide Contents Installation: Ubuntu Linux 7.10 Gusty Gibbon:... 2 Installation: Redhat Enterprise 5 and Fedora 8 Linux:...

More information

The 2013 Experimental Warning Program (EWP) Virtual Weather Event Simulator (WES) Windows & Linux Installation Documentation

The 2013 Experimental Warning Program (EWP) Virtual Weather Event Simulator (WES) Windows & Linux Installation Documentation The 2013 Experimental Warning Program (EWP) Virtual Weather Event Simulator (WES) Windows & Linux Installation Documentation National Severe Storms Laboratory (NSSL) Norman, OK Contents I WINDOWS CONFIGURATION

More information

DraganFly Guardian: API Instillation Instructions

DraganFly Guardian: API Instillation Instructions Setting Up Ubuntu to Run Draganflyer Guardian API Page 1 of 16 \ DraganFly Guardian: API Instillation Instructions Spring 2015 Casey Corrado Setting Up Ubuntu to Run Draganflyer Guardian API Page 2 of

More information

Virtual Appliance for VMware Server. Getting Started Guide. Revision 2.0.2. Warning and Disclaimer

Virtual Appliance for VMware Server. Getting Started Guide. Revision 2.0.2. Warning and Disclaimer Virtual Appliance for VMware Server Getting Started Guide Revision 2.0.2 Warning and Disclaimer This document is designed to provide information about the configuration and installation of the CensorNet

More information

Enter Here --->> New Instant Directory Profits Software - ebook

Enter Here --->> New Instant Directory Profits Software - ebook Enter Here --->> New Instant Directory Profits Software - ebook Windows active directory change password policy best way to get cheapest directory submitter software for one getting free web interface

More information

PowerPanel Business Edition Installation Guide

PowerPanel Business Edition Installation Guide PowerPanel Business Edition Installation Guide For Automatic Transfer Switch Rev. 5 2015/12/2 Table of Contents Introduction... 3 Hardware Installation... 3 Install PowerPanel Business Edition Software...

More information

Secure Agent Quick Start for Windows

Secure Agent Quick Start for Windows Secure Agent Quick Start for Windows 1993-2015 Informatica Corporation. No part of this document may be reproduced or transmitted in any form, by any means (electronic, photocopying, recording or otherwise)

More information

Bitrix Site Manager. VMBitrix Virtual Machine. Quick Start And Usage Guide

Bitrix Site Manager. VMBitrix Virtual Machine. Quick Start And Usage Guide Bitrix Site Manager VMBitrix Virtual Machine. Quick Start And Usage Guide Contents Introduction... 3 Chapter 1. Starting The VMBitrix Virtual Machine... 4 Minimum Requirements For VMWare Player / VMBitrix...

More information

JAMF Software Server Installation Guide for Linux. Version 8.6

JAMF Software Server Installation Guide for Linux. Version 8.6 JAMF Software Server Installation Guide for Linux Version 8.6 JAMF Software, LLC 2012 JAMF Software, LLC. All rights reserved. JAMF Software has made all efforts to ensure that this guide is accurate.

More information

Installing and Configuring Microsoft Dynamics Outlook Plugin to Use with ipipeline MS CRM

Installing and Configuring Microsoft Dynamics Outlook Plugin to Use with ipipeline MS CRM Installing and Configuring Microsoft Dynamics Outlook Plugin to Use with ipipeline MS CRM Downloading 1. Download zip file for your version of Outlook (32-bit or 64-bit) and save to computer. (This is

More information

13.1 Backup virtual machines running on VMware ESXi / ESX Server

13.1 Backup virtual machines running on VMware ESXi / ESX Server 13 Backup / Restore VMware Virtual Machines Tomahawk Pro This chapter describes how to backup and restore virtual machines running on VMware ESX, ESXi Server or VMware Server 2.0. 13.1 Backup virtual machines

More information

CORISECIO. Quick Installation Guide Open XML Gateway

CORISECIO. Quick Installation Guide Open XML Gateway Quick Installation Guide Open XML Gateway Content 1 FIRST STEPS... 3 2 INSTALLATION... 3 3 ADMINCONSOLE... 4 3.1 Initial Login... 4 3.1.1 Derby Configuration... 5 3.1.2 Password Change... 6 3.2 Logout...

More information

Testing your Linux Virtual Box

Testing your Linux Virtual Box Testing your Linux Virtual Box This document will guide you through downloading and installing the software you need for this offering. Make sure you get a fully working system early in the week so you

More information

Signiant Agent installation

Signiant Agent installation Signiant Agent installation Release 11.3.0 March 2015 ABSTRACT Guidelines to install the Signiant Agent software for the WCPApp. The following instructions are adapted from the Signiant original documentation

More information

QuickStart Guide for Managing Computers. Version 9.2

QuickStart Guide for Managing Computers. Version 9.2 QuickStart Guide for Managing Computers Version 9.2 JAMF Software, LLC 2013 JAMF Software, LLC. All rights reserved. JAMF Software has made all efforts to ensure that this guide is accurate. JAMF Software

More information

1 Download & Installation... 4. 1 Usernames and... Passwords

1 Download & Installation... 4. 1 Usernames and... Passwords Contents I Table of Contents Part I Document Overview 2 Part II Document Details 3 Part III EventSentry Setup 4 1 Download & Installation... 4 Part IV Configuration 4 1 Usernames and... Passwords 5 2 Network...

More information

QuickStart Guide for Managing Mobile Devices. Version 9.2

QuickStart Guide for Managing Mobile Devices. Version 9.2 QuickStart Guide for Managing Mobile Devices Version 9.2 JAMF Software, LLC 2013 JAMF Software, LLC. All rights reserved. JAMF Software has made all efforts to ensure that this guide is accurate. JAMF

More information

Kollaborate Server Installation Guide!! 1. Kollaborate Server! Installation Guide!

Kollaborate Server Installation Guide!! 1. Kollaborate Server! Installation Guide! Kollaborate Server Installation Guide 1 Kollaborate Server Installation Guide Kollaborate Server is a local implementation of the Kollaborate cloud workflow system that allows you to run the service in-house

More information

The Tor VM Project. Installing the Build Environment & Building Tor VM. Copyright 2008 - The Tor Project, Inc. Authors: Martin Peck and Kyle Williams

The Tor VM Project. Installing the Build Environment & Building Tor VM. Copyright 2008 - The Tor Project, Inc. Authors: Martin Peck and Kyle Williams The Tor VM Project Installing the Build Environment & Building Tor VM Authors: Martin Peck and Kyle Williams Table of Contents 1. Introduction and disclaimer 2. Creating the virtualization build environment

More information

Zend Server 4.0 Beta 2 Release Announcement What s new in Zend Server 4.0 Beta 2 Updates and Improvements Resolved Issues Installation Issues

Zend Server 4.0 Beta 2 Release Announcement What s new in Zend Server 4.0 Beta 2 Updates and Improvements Resolved Issues Installation Issues Zend Server 4.0 Beta 2 Release Announcement Thank you for your participation in the Zend Server 4.0 beta program. Your involvement will help us ensure we best address your needs and deliver even higher

More information

Install Guide Linux Ubuntu 10.04 LTS (Lucid Lynx) Desktop

Install Guide Linux Ubuntu 10.04 LTS (Lucid Lynx) Desktop Global Open Versity IT System Integration Hands-on Labs Training Manual Install Guide Linux Ubuntu 10.04 LTS (Lucid Lynx) Desktop Kefa Rabah Global Open Versity, Vancouver Canada krabah@globalopenversity.org

More information

User Manual. User Manual Version 4.0.0.0

User Manual. User Manual Version 4.0.0.0 User Manual User Manual Version 4.0.0.0 I Endpoint Protector Virtual Appliance User Manual Table of Contents 1. Endpoint Protector Virtual Appliance Formats1 1.1. Available Formats of the Virtual Appliance...

More information

User Manual - Help Utility Download MMPCT. (Mission Mode Project Commercial Taxes) User Manual Help-Utility

User Manual - Help Utility Download MMPCT. (Mission Mode Project Commercial Taxes) User Manual Help-Utility Excise and Taxation, Haryana Plot I-3, Sector 5, Panchkula, Haryana MMPCT (Mission Mode Project Commercial Taxes) User Manual Help-Utility Wipro Limited HETD For any queries call at the helpdesk numbers:

More information

Quick Start Guide for Installing OLicense-Server for use with SimDiff/SimMerge

Quick Start Guide for Installing OLicense-Server for use with SimDiff/SimMerge Quick Start Guide for Installing OLicense-Server for use with SimDiff/SimMerge Contents Installing OLicense-Server... 1 Configuring OLicense-Server... 2 Setting the Port Number... 2 Running OLicense-Server

More information

SmoothWall Virtual Appliance

SmoothWall Virtual Appliance SmoothWall Virtual Appliance Quick Start Guide Quick Deployment Guide Quick Start Guide Winfrasoft SmoothWall Appliance Quick Start Guide Published: May 2013 Applies to: Winfrasoft Gateway Appliance Web

More information

Linux Boot Camp. Our Lady of the Lake University Computer Information Systems & Security Department Kevin Barton Artair Burnett

Linux Boot Camp. Our Lady of the Lake University Computer Information Systems & Security Department Kevin Barton Artair Burnett Linux Boot Camp Our Lady of the Lake University Computer Information Systems & Security Department Kevin Barton Artair Burnett Schedule for the Week Schedule for the Week Mon Welcome from Enrollment Management

More information

Table of Contents Introduction and System Requirements 9 Installing VMware Server 35

Table of Contents Introduction and System Requirements 9 Installing VMware Server 35 Table of Contents Introduction and System Requirements 9 VMware Server: Product Overview 10 Features in VMware Server 11 Support for 64-bit Guest Operating Systems 11 Two-Way Virtual SMP (Experimental

More information

DocuShare Installation Guide

DocuShare Installation Guide DocuShare Installation Guide Publication date: February 2011 This document supports DocuShare Release 6.6.1 Prepared by: Xerox Corporation DocuShare Business Unit 3400 Hillview Avenue Palo Alto, California

More information

Building a Penetration Testing Virtual Computer Laboratory

Building a Penetration Testing Virtual Computer Laboratory Building a Penetration Testing Virtual Computer Laboratory User Guide 1 A. Table of Contents Collaborative Virtual Computer Laboratory A. Table of Contents... 2 B. Introduction... 3 C. Configure Host Network

More information

Wolfr am Lightweight Grid M TM anager USER GUIDE

Wolfr am Lightweight Grid M TM anager USER GUIDE Wolfram Lightweight Grid TM Manager USER GUIDE For use with Wolfram Mathematica 7.0 and later. For the latest updates and corrections to this manual: visit reference.wolfram.com For information on additional

More information

Quick Start Guide for Parallels Virtuozzo

Quick Start Guide for Parallels Virtuozzo PROPALMS VDI Version 2.1 Quick Start Guide for Parallels Virtuozzo Rev. 1.1 Published: JULY-2011 1999-2011 Propalms Ltd. All rights reserved. The information contained in this document represents the current

More information

In order to upload a VM you need to have a VM image in one of the following formats:

In order to upload a VM you need to have a VM image in one of the following formats: What is VM Upload? 1. VM Upload allows you to import your own VM and add it to your environment running on CloudShare. This provides a convenient way to upload VMs and appliances which were already built.

More information

SETTING UP A LAMP SERVER REMOTELY

SETTING UP A LAMP SERVER REMOTELY SETTING UP A LAMP SERVER REMOTELY It s been said a million times over Linux is awesome on servers! With over 60 per cent of the Web s servers gunning away on the mighty penguin, the robust, resilient,

More information

HOW TO BUILD A VMWARE APPLIANCE: A CASE STUDY

HOW TO BUILD A VMWARE APPLIANCE: A CASE STUDY HOW TO BUILD A VMWARE APPLIANCE: A CASE STUDY INTRODUCTION Virtual machines are becoming more prevalent. A virtual machine is just a container that describes various resources such as memory, disk space,

More information

Land Information New Zealand (LINZ) SALT Database. Migration from original hardware to virtualised hardware: Process Documentation

Land Information New Zealand (LINZ) SALT Database. Migration from original hardware to virtualised hardware: Process Documentation Land Information New Zealand (LINZ) SALT Database Migration from original hardware to virtualised hardware: Process Documentation Contents Migration from original hardware to virtualised hardware: Process

More information

SSO Plugin. J System Solutions. Upgrading SSO Plugin 3x to 4x - BMC AR System & Mid Tier. http://www.javasystemsolutions.com

SSO Plugin. J System Solutions. Upgrading SSO Plugin 3x to 4x - BMC AR System & Mid Tier. http://www.javasystemsolutions.com SSO Plugin Upgrading SSO Plugin 3x to 4x - BMC AR System & Mid Tier J System Solutions JSS SSO Plugin Upgrading 3x to 4x Introduction... 3 [Prerequisite] Generate a new license... 4 [Prerequisite] Download

More information

Driver Upgrade Instructions

Driver Upgrade Instructions Driver Upgrade Instructions Table of Content Installing updated drivers in Microsoft Windows 2 Uninstall Procedure 2 Uninstall Procedure for Windows 7 3 Install Procedure 4 Installing updated drivers in

More information

Prerequisites Guide. Version 4.0, Rev. 1

Prerequisites Guide. Version 4.0, Rev. 1 Version 4.0, Rev. 1 Contents Software and Hardware Prerequisites Guide... 2 anterradatacenter Version selection... 2 Required Software Components... 2 Sage 300 Construction and Real Estate ODBC... 2 Pervasive

More information

To configure a Virtual SIP Server

To configure a Virtual SIP Server Configuring a virtual SIP Serveм v. 1.1.2 1 To configure a Virtual SIP Server To configure a Virtual SIP Server in your local network do the following: Install VMware Player 1. Download the VMware Player

More information

Windows Installation Guide

Windows Installation Guide Informatics for Integrating Biology and the Bedside i2b2 Desktop Install: Full VM Server Windows Installation Guide Document Version: 1.6.1 i2b2 Software Version: 1.6 Table of Contents About this Guide...

More information

VMTurbo Operations Manager 4.5 Installing and Updating Operations Manager

VMTurbo Operations Manager 4.5 Installing and Updating Operations Manager VMTurbo Operations Manager 4.5 Installing and Updating Operations Manager VMTurbo, Inc. One Burlington Woods Drive Burlington, MA 01803 USA Phone: (781) 373---3540 www.vmturbo.com Table of Contents Introduction

More information

Partek Flow Installation Guide

Partek Flow Installation Guide Partek Flow Installation Guide Partek Flow is a web based application for genomic data analysis and visualization, which can be installed on a desktop computer, compute cluster or cloud. Users can access

More information

vnas Series All-in-one NAS with virtualization platform 2014.01.03

vnas Series All-in-one NAS with virtualization platform 2014.01.03 vnas Series All-in-one NAS with virtualization platform 2014.01.03 2 Imaging NAS Virtualization Station VMware ESX 3 Install Virtualization Station on a specialized Turbo NAS VM vnas Use vnas series to

More information

VCL Access. VCL provides access to Linux and Windows 7 Virtual Machines. Users will only see those images that they are authorized to access.

VCL Access. VCL provides access to Linux and Windows 7 Virtual Machines. Users will only see those images that they are authorized to access. What is VCL? VCL (Virtual Computer Lab) is a service running on servers in IIT s datacenter that enables users to schedule and connect to virtual desktops running specific academic software applications

More information

RemoteTM Web Server User Guide. Copyright 2008-2014 Maxprograms

RemoteTM Web Server User Guide. Copyright 2008-2014 Maxprograms RemoteTM Web Server User Guide Copyright 2008-2014 Maxprograms Contents 3 Contents Introduction...5 Requirements...5 Installation...7 Email Server Configuration...7 Users Management...8 Create User...8

More information

Instruction Guide Mentor/Coach Free Play Practice Event November 2015

Instruction Guide Mentor/Coach Free Play Practice Event November 2015 Instruction Guide Mentor/Coach Free Play Practice Event November 2015 1 San Diego Mayor s Cup Mentor/Coach Practice Round Guide Table of Contents Introduction 3 Tips for Success 3 Round Times 3 Linux Virtual

More information

University of Amsterdam VPN Linux User Guide (Version 1.2)

University of Amsterdam VPN Linux User Guide (Version 1.2) Informatiseringscentrum ICTS University of Amsterdam VPN Linux User Guide (Version 1.2) Date 8 December 2014 Contents Introduction... 3 Installation steps... 3 Page 2 University of Amsterdam TS Datel VPN

More information

SIMIAN systems. Setting up a Sitellite development environment on Mac OS X. Sitellite Content Management System

SIMIAN systems. Setting up a Sitellite development environment on Mac OS X. Sitellite Content Management System Setting up a Sitellite development environment on Mac OS X Sitellite Content Management System Introduction Mac OS X is a great platform for web application development, and now with tools like VMWare

More information

Massey University Follow Me Printer Setup for Linux systems

Massey University Follow Me Printer Setup for Linux systems Massey University Follow Me Printer Setup for Linux systems RedHat and Debian based systems Requirements You must have an active Massey network account, i.e. you should already be able to log onto the

More information

Secure File Transfer Protocol Updated Procedures. June 20, 2011

Secure File Transfer Protocol Updated Procedures. June 20, 2011 Secure File Transfer Protocol Updated Procedures June 20, 2011 Table Of Contents Section Subject 1 Overview 2 Installation and Environment Considerations 3 Preparing the Files for Transfer 4 Connecting

More information

Quick Start Guide for VMware and Windows 7

Quick Start Guide for VMware and Windows 7 PROPALMS VDI Version 2.1 Quick Start Guide for VMware and Windows 7 Rev. 1.1 Published: JULY-2011 1999-2011 Propalms Ltd. All rights reserved. The information contained in this document represents the

More information

SMS Database System Quick Start. [Version 1.0.3]

SMS Database System Quick Start. [Version 1.0.3] SMS Database System Quick Start [Version 1.0.3] Warning ICP DAS Inc., LTD. assumes no liability for damages consequent to the use of this product. ICP DAS Inc., LTD. reserves the right to change this manual

More information

Virtual machine W4M- Galaxy: Installation guide

Virtual machine W4M- Galaxy: Installation guide Virtual machine W4M- Galaxy: Installation guide Christophe Duperier August, 6 th 2014 v03 This document describes the installation procedure and the functionalities provided by the W4M- Galaxy virtual

More information

RemotePC Lite User Manual. Table of Contents

RemotePC Lite User Manual. Table of Contents RemotePC Lite User Manual Table of Contents Introduction... 3 System Requirements... 3 Features... 4 Installing the RemotePC Lite application... 5 Login to RemotePC Lite... 7 Working with RemotePC Lite...

More information

DocuShare Installation Guide

DocuShare Installation Guide DocuShare Installation Guide Publication date: May 2009 This document supports DocuShare Release 6.5/DocuShare CPX Release 6.5 Prepared by: Xerox Corporation DocuShare Business Unit 3400 Hillview Avenue

More information

Acronis Backup Service Version 4

Acronis Backup Service Version 4 Acronis Backup Service Version 4 ADMINISTRATOR'S GUIDE Revision: 6/25/2015 Table of contents 1 Administrator's Guide...3 1.1 About this document... 3 1.2 About the backup service... 3 1.2.1 Accounts and

More information

Computer networks - Administration 1DV202 Lab 2 Monitoring a small network

Computer networks - Administration 1DV202 Lab 2 Monitoring a small network Computer networks - Administration 1DV202 Lab 2 Monitoring a small network Marcus Wilhelmsson marcus.wilhelmsson@lnu.se April 23, 2013 Instructions Organisation and implementation The lab consists of a

More information

Department of Veterans Affairs VistA Integration Adapter Release 1.0.5.0 Enhancement Manual

Department of Veterans Affairs VistA Integration Adapter Release 1.0.5.0 Enhancement Manual Department of Veterans Affairs VistA Integration Adapter Release 1.0.5.0 Enhancement Manual Version 1.1 September 2014 Revision History Date Version Description Author 09/28/2014 1.0 Updates associated

More information

Getting Started Guide

Getting Started Guide Browser Appliance Getting Started Guide The Browser Appliance is a free virtual machine (available from the VMware Technology Network at www.vmware.com/vmtn/vm) that allows you to browse the Internet securely

More information

Simba XMLA Provider for Oracle OLAP 2.0. Linux Administration Guide. Simba Technologies Inc. April 23, 2013

Simba XMLA Provider for Oracle OLAP 2.0. Linux Administration Guide. Simba Technologies Inc. April 23, 2013 Simba XMLA Provider for Oracle OLAP 2.0 April 23, 2013 Simba Technologies Inc. Copyright 2013 Simba Technologies Inc. All Rights Reserved. Information in this document is subject to change without notice.

More information

Apache Hadoop 2.0 Installation and Single Node Cluster Configuration on Ubuntu A guide to install and setup Single-Node Apache Hadoop 2.

Apache Hadoop 2.0 Installation and Single Node Cluster Configuration on Ubuntu A guide to install and setup Single-Node Apache Hadoop 2. EDUREKA Apache Hadoop 2.0 Installation and Single Node Cluster Configuration on Ubuntu A guide to install and setup Single-Node Apache Hadoop 2.0 Cluster edureka! 11/12/2013 A guide to Install and Configure

More information