The ASD:Suite Architecture
Verum’s desktop application and hosted services deliver a flexible and cost-effective solution for software architects and designers
Software architects and designers can use the ASD:Suite to develop specifications and models using the ASD:ModelBuilder. Through the same application they can then verify that the model is correct and generate code, using the hosted ASD:ModelChecker and ASD:CodeGenerator applications.
The model builder resides on the user’s personal computer. Other components run on a dedicated server and are provided by Verum in the form of Software as a Service (SaaS), charged for on a pay per use basis. Hence customers pay only for what they actually use and are not faced with high up front licence costs. The hosted service also provides managers with powerful metrics to assist them in managing projects and costs.
Architecture
The ASD:ModelBuilder is a licensed Microsoft Windows application that resides on the software developer’s PC. It assists and guides the developer in the construction of complete ASD models that capture all required behaviour.
Software developers send their ASD models to the ASD:ModelChecker over a secure VPN link in encrypted format. The results are returned over the secure link for display on the user’s PC.
Once a model has been verified, the ASD:CodeGenerator can be used to translate the model into code that is guaranteed to be defect free. Software developers submit their verified ASD models to the ASD:CodeGenerator over the secure link in encrypted format. Human readable source code is then delivered to the user’s PC.
The ASD:Portal provides user administration, licensing, billing and subscription management services.
All ASD models are stored on the user’s PC in XML files, allowing developers to employ their own storage and version control mechanisms. For security, no models are stored on the hosted system. During model checking and code generation the models are parsed and processed and then removed. For billing purposes Verum collects metadata such as model size, number of required model checks etc.
Get in touch
For more information or a product demonstration contact us.
 |
+31-40-2359090 |
 |
+31-40-2359099 |
 |
info@verum.com |
 |
Location |
