The ASD:Suite software design platform

User Manual

ASD:Suite Release 3 v8.2.0

The ASD:Suite is a software design (CAD) platform based upon Verum's patented Analytical Software Design (ASD) technology. ASD makes it possible to create systems from mathematically verified components.

The ASD:Suite is used to define and (automatically) verify models, and to (automatically) generate fully executable source code from these models. The models specify both structure and behaviour of services, and of components that implement and use these services. For more details see the ASD Concepts section.

See "How to set up the ASD:Suite" for guidelines about installing and setting up the ASD:Suite.

Note: Starting with the ASD:Suite Release 3 v7.2.0 you have the possibility to install the ASD:Compare, a feature that allows you to find and eliminate differences between two versions of an ASD model or between two related or unrelated ASD models.

The following list contains the parts of the ASD:Suite installed in the folder specified during installation:

• The Windows client - the "ASD ModelBuilder.exe" file
• The command prompt client - the ASD:Commandline Client - the "asdc.exe" file
  Note: For details see "Access ASD:Suite features using the ASD:Commandline Client".
• The ASD:Compare (if selected) - a desktop application: "CompareGui.exe" and a command-line application: "Compare.exe"
  Note: For details see "The ASD:Compare User Guide"

In addition to the above, the following is also available:

• The ASD:Suite Release Notes (see archive for latest and older versions).
• The ASD:Runtime Guide (see archive for latest and older versions).
• The ASD:Suite Visual Verification Guide (see archive for latest and older versions).
• The ASD:Suite Keyboard Shortcuts (see archive for latest and older versions).
• The ASD:Suite User Manual (see archive for latest and older versions).

A set of interface models and design models together with the related source code describing a simple Alarm system can be downloaded from here. This is a fully executable system that can be built using Visual Studio (for C++ and C#) and Eclipse (for Java). The following list contains the names of the design models, together with a brief explanation:

• AlarmSystem.dm - a model with the simple error, to help in demonstrating the use of visual verification for error tracing.
• AlarmSystem_corrected.dm - the fully verified, i.e. correct and complete, Alarm system
• AlarmSystem_original.dm - a copy of the "AlarmSystem.dm". This can be used in case you have changed the "AlarmSystem.dm" model and want to revert to the original example that includes the error.

To uninstall the ASD:Suite Release <release_number> v<version_number> use the "Start->All Programs->ASD Suite Release <release_number> V<version_number>->Uninstall" item.

Copyright (c) 2008 - 2012 Verum Software Technologies B.V.

ASD is licensed under EU Patent 1749264 and Hong Kong Patent HK1104100

All rights are reserved. No part of this publication may be reproduced in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior written permission of the copyright owner.