ASD runtime semantics with code integration examples

ASD runtime semantics with code integration examples

User Guide

ASD:Runtime 8.2.0



This is a description of the ASD:Runtime, a software package distributed as part of the ASD:Suite. The ASD:Runtime enables source code generated with the ASD:Suite to be executed on a specific execution platform. Additionally, the ASD:Runtime package implements the semantics required to ensure the compatibility between the generated code and the verified ASD models from which the code was generated.

In the "ASD Execution semantics" section you can find a description of how ASD components work at runtime, and in "Download and install" you can find guidelines to download the ASD:Runtime.

In "Code integration guidelines" you can find descriptions about the content and role of the items in the ASD:Runtime , together with guidelines for integrating the ASD generated code into your system.



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.