Verum

Verum provides software engineering tools that helps software engineers explore and formally verify designs for embedded software systems.

Robert Howe and Guy Broadfoot founded Verum in 2004 because they were convinced that there was a better way to develop embedded software. The result is the ASD:Suite, Verumâ€s unique, general purpose, software development CAD platform. The ASD:Suite applies proven mathematical techniques that enable software engineers to build better, more complex software while delivering a net 30%-50% reduction in software development costs and a corresponding decrease in time to market. Based on Verumâ€s patented Analytical Software Design (ASD) technology, the ASD:Suite marks a milestone in the evolution of embedded software design and development. In addition, it is easy to use and accessible to any software developer through the Cloud. Positioning The ASD:Suite is a Product Lifecycle Management (PLM) solution that offers efficiency improvements during the requirements, architecture, design, and coding stages of a productâ€s lifecycle. It enables rapid and iterative product development, speeding the process of turning customer requirements into the right product. Additionally, the ASD:Suite makes product testing easier and eliminates much of the rework inherent in conventional approaches to software development. The ASD:Suite can integrate with existing software development environments and it is compatible with Six Sigma methodology and complementary to the CMMI-SE framework. The ASD:Suite The ASD:Suite gives customers the power to design and build quality software systems in less time and with greater precision than conventional software development tools. With the ASD:Suite, designers can easily and fully automatically verify their designs at any point in the development process to ensure that all functional software requirements are being satisfied. Unlike conventional techniques that cannot replicate all test cases, the ASD:Suite mathematically verifies all possible execution scenarios and ensures the generation of defect-free code first time, every time. With the ASD:Suite software architects and designers can: - Realize complex system requirements with justified confidence - Flawlessly design highly concurrent, communicating systems - Spend more time on design, less time fixing defects - Improve scalability and reuse with component-based technology - Automatically generate defect free code Business managers benefit from: - Reduced software engineering costs (30%-50%) - Faster development cycles, tighter coupling to customer requirements - Shorter time to market - Lower maintenance costs - Increased ability to reuse software components In the Cloud The ASD:Suite is implemented as a Cloud Computing/SaaS application. ASD technology uses a comprehensive, brute force approach to software design verification and is therefore hosted on powerful servers, shared by all Verum customers. This approach has many benefits for Verum and its customers in terms of scalability, cost reduction and management information.