Accomplish more for less with ASD:Suite

Verum’s fully integrated ASD development toolset

The product

A toolset for rapidly designing, formally verifying and automatically generating software for complex systems

• Eliminate defects from complex software designs

• Cut the cost of software development, testing and maintenance

• Reduce the cost of software development by 30%

• Formally verify software as complete and correct before a single line of code has been written

The key difference between the ASD:Suite and tools that claim to improve productivity is Verum’s Analytical Software Design (ASD). ASD allows the design of a software system to be formally verified as complete and correct, even before a single line of code has been written. The ASD:Suite excels in mission-critical applications, such as embedded software in medical equipment and machine control systems.

The benefits

We have developed the ASD:Suite is close association with an existing customer base of ASD Users. This real-world experience has proved that the ASD:Suite can:

• Reduce the cost of software development by 30%
• Reduce the cost-of-non-quality by eliminating defects

• Reduce time to market by significantly accelerating the product test cycle

Verum's ASD:Suite delivers these benefits because its design time mathematical verification ensures the:

1. Completeness of Software Requirements and Design

• Extraction of complete requirements from specifications
• Guarantee that a design implements all required behaviour

2. Software design strictly satisfies Software Requirements

• Required behaviour is present & implemented correctly
• Optional behaviour is implemented correctly

3. Correctness of the design’s dynamic behaviour

• Elimination of illegal behaviour
• Elimination of all race conditions, deadlocks, etc
• Conformance to safety cases & behavioural laws

The business case

The ASD:Suite delivers reductions in software development, testing and maintenance costs, and allows you to bring products to market earlier, accelerating revenues. In addition, software with fewer defects will reduce your product maintenance costs.

Verum has compared the cost of software development using ASD:Suite to conventional software development using real customer data, focusing solely on software development and testing.

In a six month period, a Verum customer produced 27,381 executable lines of code using the ASD:Suite. Based on best-case assumptions, the cost using conventional software development methods would have been over €840,000. Using metrics enabled by Verum’s Software as a Service (SaaS) business model, the total cost of developing this software with the ASD:Suite is estimated to be less than €545,000, a saving of 36%. Additional financial benefits will also accrue as software developed with the ASD:Suite is verifiably defect free, whilst software developed conventionally is not. Read the full business case paper