ASD:Suite© for rapid software design and defect-Free code 

Step 3. Generate Defect-Free Code Automatically

Verum’s ASD technology translates verified ASD Design Models into high-level source code that is guaranteed to be correct and defect-free.  The ASD:Suite code generator delivers this human-readable source code to your personal computer, commented and in a standardized layout. It generates a complete set of source files that are ready to compile, link, and execute without any additional manual work.

A variety of standard and advanced code generation features are available:

  • Generation of both singleton and non-singleton components
  • Full support for parameter passing
  • “Lazy” thread switching for run-time efficiency
  • Infrastructure for asynchronous notifications
  • Deferred Procedure Call (DPC) server threads generated automatically only as needed
  • Timers and timer-cancel guarantee
  • Optional debug and trace statements
  • Support for copyright statements, namespace specifications and code comments

ASD:Suite supports C, C++, C# and Java code generation.   Run-time platforms supported include VxWorks, RTLinux, Microsoft Windows XP/Windows 7 and Microsoft .NET.