From DestecsWiki

Contents 1 Introduction 2 Installing 3 Running Projects 4 Build your own project 5 Further reading

Introduction

To get help you get started with DESTECS this section will give you step by step instructions how to configure the software, get a basic WaterTank example running and create your own Simple project.

• Readers who are unfamiliar with Eclipse or the DESTECS tool are advised to read the overview first, before starting this getting started section.
• If you encounter terms specific for the DESTECS tool that you are unfamiliar with, check the Glossary for their meaning.
• An good introduction into 20-sim can be found in the 20-sim Getting Started manual.
• A good introduction into VDM can be found here.

Installing

• Install the DESTECS tool.
  
• Install 20-sim and get a license.
• Install the WaterTank model.

Running Projects

• How to open Destecs and run projects.

Build your own project

• How to build and run your own project.

Further reading

If you want to know more on the DESTECS tool, read the help topics.