ASD:Suite
Verum’s fully integrated ASD development toolset
The ASD:Suite is a toolset for rapidly designing, formally verifying and automatically generating defect free code for complex software systems.
Employing a Model Driven Design (MDD) approach and ASD formal verification technology, Verum’s ASD:Suite enables software architects and designers to:
- Capture precise, complete and traceable specifications
- Create complete models of complex software components and systems
- Detect and correct behavioural defects during design
- Formally verify component and system designs before implementation
- Automatically generate correct source code for a wide range of operating systems
Benefits
Verum’s ASD:Suite provides major benefits to software developers by enabling them to model system behaviour correctly, verify the model and automatically generate defect free code.
Support for a structured process
Verum’s ASD methodology and the ASD:Suite support a specification process that encourages and helps software developers to think carefully about product requirements and ensure all execution scenarios are covered.
- All required behaviour is captured and built into the component or system design, dramatically cutting the time and cost of later rework
Verifiably complete and correct designs
Unlike other tools that claim to improve software development productivity, Verum’s ASD:Suite allows the design of a software component or system to be mathematically verified as complete and correct, even before a single line of code has been written.
- Developers no longer need to run extensive test cases to gain confidence in the final product, resulting in shorter development times and lower costs
Verifiably correct, defect free code
The ASD methodology generates code from verified ASD models that is guaranteed to be defect free.
- The quality of the software improves because code defects are eliminated, thereby improving product reliability and lowering product maintenance costs
Easy integration into existing software development team
The software development method supported by ASD and the ASD:Suite is highly compatible with and complementary to the Design for Six Sigma methodology.
Additionally, the ASD technology and the metrics generated by the ASD:Suite can be used in the application of the CMMI-SE framework to the improvement of software engineering processes.
ASD:Suite components
The ASD:Suite consists of a licensed desktop product, together with hosted products provided by Verum in the form of Software as a Service (SaaS). See the ASD:Suite Architecture for further details.
Desktop product |
Hosted product |
Function |
Provides graphical tools for building software interface and design models and for verifying that interfaces, designs and specifications are complete and correct |
||
|
Enables models to be mathematically verified as correct, and identifies any potential defects in interfaces or designs so that they can be removed before code is generated |
|
Automatically generates source code: currently supported target source codes are C, C++, C# and Java |
||
ASD:Portal |
User administration, licensing, billing, subscription management |
Get in touch
For more information or a product demonstration contact us.
 |
+31-40-2359090 |
 |
+31-40-2359099 |
 |
info@verum.com |
 |
Location |
