Services

Verum provides consultancy services in the introduction and application of Analytical Software Design (ASD)

Our consultants are highly skilled professionals working with customers to help software development teams make a smooth transition to using ASD.

• Successful introduction of ASD technology into your R&D environment
• Acceleration of your team’s ASD learning curve
• Assisting you to gain the maximum benefit from ASD by applying it appropriately and correctly to embedded software developments

Learn more about Verum’s ASD consultancy

Verum consultants are committed to proven software design principles that deliver a rapid increase in the control and predictability of your projects:

• Business critical software must be implemented from specifications and designs that are verifiably correct before implementation starts
• Software Architects and Designers must restrict themselves to architectures and designs that can be verified using currently available tools and techniques

To rapidly increase the productivity of your embedded software teams, with the minimum impact on your ongoing developments, Verum offers three levels of consultancy:

• Given a software design that can be verified using currently available tools and techniques, an ASD consultant will help you to model your designs and verify their correctness. This can be followed by the automatic generation of code and/or test cases
• To deliver verifiable designs, a Senior ASD Consultant can help you to create software architectures and designs that can be verified with your ASD:Suite tools
• Principal ASD Consultants will help you in advanced modelling challenges. They have in-depth knowledge of the underlying techniques and how to apply these in practice

Learn more about Verum’s additional services

We provide additional services that are delivered either by our own consultancy staff, or through selected and certified Verum partners:

• Consultancy to define a test setup and strategy for hand-written and third party software components
• Integration of ASD:Suite tools into a customer’s build and configuration management environment
• Outsourcing, where Verum or an ASD Partner takes the responsibility for the complete specification, design, verification and implementation of ASD components

In this section

• Overview
• ASD:Suite
  • Model Builder
  • Model Checker
  • Code Generator
  • Model Viewer
  • Using the ASD:Suite
  • The ASD:Suite Architecture
• ASD Training
  • Starting ASD
  • Mastering ASD
• Services