Verum: ASD training

Code Generator

Verum’s ASD:CodeGenerator is a hosted application that translates verified ASD models into a high level language source code for compilation into an executable program

Software architects and designers use the functionality of the ASD:CodeGenerator to translate verified ASD models into code that is guaranteed to be defect free. The hosted application delivers a complete set of source files that are ready to compile, link and execute, and without any additional manual work.

Application

The ASD:CodeGenerator is used with ASD models that have been built using the ASD:ModelBuilder desktop application and subsequently verified by the ASD:ModelChecker hosted application.

Functionality

Verum’s ASD:CodeGenerator produces source code in the target language selected by the user, and fully supports both concurrent and synchronous designs.

The application has a large number of advanced code generation features, including:

  • Generation of both singleton and non-singleton components
  • Components are fully self-constructing – there is no need for “hand wiring”
  • Full support for parameter passing
  • “Lazy” thread switching for run-time efficiency
  • Infrastructure for asynchronous notifications
  • Direct Program Control (DPC) server threads generated automatically only as needed
  • Timers and time-cancel guarantee
  • Optionally includes debugging and trace statements
  • Insertion of user-provided texts, such as copyright statements and namespace specifications
Enlarge

The code generator delivers human readable source code in the specified target language on the user’s personal computer, commented and to a standardized layout. Run-time platforms supported include VxWorks, RTLinux, Microsoft Windows NT/XP/Vista and Microsoft .NET.

Realization

Verum provides the ASD:CodeGenerator application as a hosted Software as a Service (SaaS). The table below provides further details about the code generated in each target language.

C code

The C code generator is aimed at generating code for resource constrained environments. It can be used to design software for microcontrollers, or for device drivers running in kernel mode in higher level systems. The generated code is fully ANSI C and MISRA-C compliant, and can be easily integrated into an existing code base.

C++ code

The C++ code generator is aimed at generating application level software. It can be used to generate code for consumer electronics, machine control, or command and control systems for mission-critical applications. The generated code is ANSI compliant and fully portable to a variety of operating systems. It comes with a standard Operating System Abstraction Layer (OSAL) based on Boost C++ source, which can be easily replaced by any required OSAL.

C# code

The C# code generator is aimed at generating software for a variety of industrial applications. The generated code complies with Microsoft Visual Studio 2008 C# 3.0 language specification and the Microsoft .NET Framework 2.0 or higher.

Java code

The Java code generator produces highly efficient code for use in mobile applications, telecommunications and command and control systems. The generated code is based on Java Platform, Standard Edition.

Get in touch

For more information or a product demonstration contact us.

+31-40-2359090
+31-40-2359099
info@verum.com
Location